git.iko.soy/Idris-dev
on master help sign in
Make sure mpz_t is defined
556d9fbMarkus Pfeiffer
rts/idris_gmp.h+2
compare with master
unifiedsplit
@@ -1,6 +1,8 @@
1#ifndef _IDRISGMP_H
1#ifndef _IDRISGMP_H
2#define _IDRISGMP_H
2#define _IDRISGMP_H
3
3
4+#include <gmp.h>
5+
4VAL MKBIGI(int val);
6VAL MKBIGI(int val);
5VAL MKBIGC(VM* vm, char* bigint);
7VAL MKBIGC(VM* vm, char* bigint);
6VAL MKBIGM(VM* vm, void* bigint);
8VAL MKBIGM(VM* vm, void* bigint);