git.iko.soy/Idris-dev
on master help sign in
Merge pull request #661 from markuspf/bits-const-fix
1c19fccEdwin Brady
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);