git.iko.soy/Idris-dev
on 735fbd2 help sign in
Idris-dev/test/tutorial007/nativetypes.c
13 lines 222 B history raw
1#include <stdio.h>
3int sizeof_size_t() {
4 int sz = sizeof(size_t);
6 FILE *f = fopen("sizefromc.txt", "w");
7 if (f == NULL) {
8 printf("Failed to open file from C");
9 }
10 fprintf(f, "%d bytes", sz);
12 return sz;