1.1 --- a/templates/native/io.c Sat Jan 07 16:23:25 2017 +0100
1.2 +++ b/templates/native/io.c Sun Jan 08 00:27:02 2017 +0100
1.3 @@ -44,6 +44,19 @@
1.4 return __builtins___none_None;
1.5 }
1.6
1.7 +__attr __fn_native_io_fflush(__attr __args[])
1.8 +{
1.9 + __attr * const fp = &__args[1];
1.10 + /* fp interpreted as FILE reference */
1.11 + FILE *f = (FILE *) fp->datavalue;
1.12 +
1.13 + errno = 0;
1.14 + if (fflush(f))
1.15 + __raise_io_error(__new_int(errno));
1.16 +
1.17 + return __builtins___none_None;
1.18 +}
1.19 +
1.20 __attr __fn_native_io_fopen(__attr __args[])
1.21 {
1.22 __attr * const filename = &__args[1];