Fix IBC encoding of new IR arithmetic types
commit7b7addbb4366f3ed223946630d6d18e507365bbf
authorBenjamin Saunders <besaunde@sfu.ca>
dateFri 21 Jun 2013, 15:38 (13 years ago)
parentc949bdb
src/Idris/IBC.hs+1−1
@@ -390,7 +390,7 @@ instance Binary Const where
390390 StrType -> putWord8 13
391391 PtrType -> putWord8 14
392392 Forgot -> putWord8 15
393− (AType (ATInt (ITFixed ity))) -> put (16 + fromEnum ity) -- 16-19 inclusive
393+ (AType (ATInt (ITFixed ity))) -> putWord8 (fromIntegral (16 + fromEnum ity)) -- 16-19 inclusive
394394 (AType (ATInt (ITVec ity count))) -> do
395395 putWord8 20
396396 putWord8 (fromIntegral . fromEnum $ ity)