runtime/basis/Stdio.c

   1 #include "platform.h"
   2
   3 void Stdio_printStderr (String8_t s) {
   4   uintmax_t size = GC_getArrayLength ((pointer)s);
   5   fwrite ((const void*)s, (size_t)size, 1, stderr);
   6 }
   7
   8 void Stdio_printStdout (String8_t s) {
   9   uintmax_t size = GC_getArrayLength ((pointer)s);
  10   fwrite ((const void*)s, (size_t)size, 1, stdout);
  11 }
  12
  13 void Stdio_print (String8_t s) {
  14   Stdio_printStderr (s);
  15 }