git.iko.soy/Idris-dev
on master help sign in
Get the names of the Bit types right!
d13d6b3Edwin Brady
src/IRTS/CodegenC.hs+4−4
compare with master
unifiedsplit
@@ -730,10 +730,10 @@ ctype t = error "Can't happen: Not a valid interface type " ++ show t
730carith (FCon i)
730carith (FCon i)
731 | i == sUN "C_IntChar" = "char"
731 | i == sUN "C_IntChar" = "char"
732 | i == sUN "C_IntNative" = "int"
732 | i == sUN "C_IntNative" = "int"
733− | i == sUN "C_Bits8" = "uint8_t"
733+ | i == sUN "C_IntBits8" = "uint8_t"
734− | i == sUN "C_Bits16" = "uint16_t"
734+ | i == sUN "C_IntBits16" = "uint16_t"
735− | i == sUN "C_Bits32" = "uint32_t"
735+ | i == sUN "C_IntBits32" = "uint32_t"
736− | i == sUN "C_Bits64" = "uint64_t"
736+ | i == sUN "C_IntBits64" = "uint64_t"
737carith t = error $ "Can't happen: Not an exportable arithmetic type " ++ show t
737carith t = error $ "Can't happen: Not an exportable arithmetic type " ++ show t
738
738
739cdesc (FStr s) = s
739cdesc (FStr s) = s