[hcoop/debian/mlton.git] / runtime / basis / Stdio.c

#include "platform.h"

void Stdio_printStderr (String8_t s) {
  uintmax_t size = GC_getArrayLength ((pointer)s);
  fwrite ((const void*)s, (size_t)size, 1, stderr);
}

void Stdio_printStdout (String8_t s) {
  uintmax_t size = GC_getArrayLength ((pointer)s);
  fwrite ((const void*)s, (size_t)size, 1, stdout);
}

void Stdio_print (String8_t s) {
  Stdio_printStderr (s);
}
Commit	Line	Data
7f918cf1 CE	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	}