1 2 3 4 5 6 7 8 9 10 11
#include <stdio.h> #include "HsFFI.h" #include "fptrfail01.h" void f( HsInt *i ) { printf( "f%d\n", (int)*i ); fflush( stdout ); }