Support typed arrays of Bool

See #5
bamboo · Oct 16, 2016 · a50bd8f · a50bd8f
1 parent 66e4c4f
commit a50bd8f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/rts/CIL/FFI/Array.idr b/rts/CIL/FFI/Array.idr
@@ -13,6 +13,7 @@ total
 interp : CILTy -> Type
 interp (CILTyVal "" "int") = Int
 interp (CILTyVal "" "char") = Char
+interp (CILTyVal "" "bool") = Bool
 interp (CILTyRef "" "string") = String
 interp ty = CIL ty