58a36ef · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Fix a missing prototype

commit58a36ef195ba82e1f963277d7b3ed65cd0af1b0e authorBenjamin Saunders <besaunde@sfu.ca> dateSun 13 Jan 2013, 16:06 (14 years ago) parent46bf6a4

1 file changed+1

unifiedsplit

rts/idris_bitstring.h+1

@@ -10,6 +10,7 @@ VAL idris_b8(VM *vm, VAL a);

1010VAL idris_b16(VM *vm, VAL a);

1111VAL idris_b32(VM *vm, VAL a);

1212VAL idris_b64(VM *vm, VAL a);

13+VAL idris_castB32Int(VM *vm, VAL a);

1314

1415VAL idris_b8Plus(VM *vm, VAL a, VAL b);

1516VAL idris_b8Minus(VM *vm, VAL a, VAL b);