@@ -40,10 +40,10 @@ import Codec.Compression.Zlib (compress)
4040import Codec.Archive.Zip
4141import Util.Zlib (decompressEither)
4242
43−ibcVersion :: Word8
44−ibcVersion = 105
43+ibcVersion :: Word16
44+ibcVersion = 106
4545
46−data IBCFile = IBCFile { ver :: Word8,
46+data IBCFile = IBCFile { ver :: Word16,
4747 sourcefile :: FilePath,
4848 symbols :: ![Name],
4949 ibc_imports :: ![(Bool, FilePath)],