git.iko.soy/Idris-dev
on master help sign in
Fix IBC encoding of new IR arithmetic types
7b7addbBenjamin Saunders
src/Idris/IBC.hs+1−1
compare with master
unifiedsplit
@@ -390,7 +390,7 @@ instance Binary Const where
390 StrType -> putWord8 13
390 StrType -> putWord8 13
391 PtrType -> putWord8 14
391 PtrType -> putWord8 14
392 Forgot -> putWord8 15
392 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
394 (AType (ATInt (ITVec ity count))) -> do
394 (AType (ATInt (ITVec ity count))) -> do
395 putWord8 20
395 putWord8 20
396 putWord8 (fromIntegral . fromEnum $ ity)
396 putWord8 (fromIntegral . fromEnum $ ity)