git.iko.soy/Idris-dev
on master help sign in
Include bitstring prototypes in C codegen
46bf6a4Benjamin Saunders
src/IRTS/CodegenC.hs+1−1
compare with master
unifiedsplit
@@ -62,7 +62,7 @@ codegenC defs out exec incs objs libs dbg
62headers xs =
62headers xs =
63 concatMap
63 concatMap
64 (\h -> "#include <" ++ h ++ ">\n")
64 (\h -> "#include <" ++ h ++ ">\n")
65− (xs ++ ["idris_rts.h", "idris_stdfgn.h", "gmp.h", "assert.h"])
65+ (xs ++ ["idris_rts.h", "idris_bitstring.h", "idris_stdfgn.h", "gmp.h", "assert.h"])
66
66
67debug TRACE = "#define IDRIS_TRACE\n\n"
67debug TRACE = "#define IDRIS_TRACE\n\n"
68debug _ = ""
68debug _ = ""