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

git.iko.soy/Idris-dev

on master help sign in

Fix a missing prototype

58a36efBenjamin Saunders14 years ago

rts/idris_bitstring.h+1

compare with master

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

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

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

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

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

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

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

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

13

14

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

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

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

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