blob: d013b996844f649a53001ae5a3777862ed7f6049 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#include "HsFFI.h"
#include "T4464H_stub.h"
#include <stdio.h>
void HsStart(void);
void HsEnd(void);
int main(void) {
HsStart();
printf("f 12 = %i\n", f(12));
HsEnd();
return 0;
}
|