git.iko.soy/Idris-dev
on master help sign in
Resolve implicit definition warnings relating to bitstrings
0045b68Benjamin Saunders
rts/idris_gc.c+1
compare with master
unifiedsplit
@@ -1,5 +1,6 @@
1#include "idris_rts.h"
1#include "idris_rts.h"
2#include "idris_gc.h"
2#include "idris_gc.h"
3+#include "idris_bitstring.h"
3#include <assert.h>
4#include <assert.h>
4
5
5VAL copy(VM* vm, VAL x) {
6VAL copy(VM* vm, VAL x) {
rts/idris_rts.c+1
@@ -8,6 +8,7 @@
8
8
9#include "idris_rts.h"
9#include "idris_rts.h"
10#include "idris_gc.h"
10#include "idris_gc.h"
11+#include "idris_bitstring.h"
11
12
12VM* init_vm(int stack_size, size_t heap_size,
13VM* init_vm(int stack_size, size_t heap_size,
13 int max_threads, // not implemented yet
14 int max_threads, // not implemented yet