Include bitstring prototypes in C codegen
commit46bf6a47a5b2abcd785c17d7c8a672814a59be94
authorBenjamin Saunders <besaunde@sfu.ca>
dateSun 13 Jan 2013, 16:04 (14 years ago)
parenteff298e
src/IRTS/CodegenC.hs+1−1
@@ -62,7 +62,7 @@ codegenC defs out exec incs objs libs dbg
6262headers xs =
6363 concatMap
6464 (\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"])
6666
6767debug TRACE = "#define IDRIS_TRACE\n\n"
6868debug _ = ""