@@ -40,10 +40,10 @@ import Codec.Compression.Zlib (compress)
40import Codec.Archive.Zip
40import Codec.Archive.Zip
41import Util.Zlib (decompressEither)
41import Util.Zlib (decompressEither)
43−ibcVersion :: Word8
43+ibcVersion :: Word16
44−ibcVersion = 105
44+ibcVersion = 106
46−data IBCFile = IBCFile { ver :: Word8,
46+data IBCFile = IBCFile { ver :: Word16,
47 sourcefile :: FilePath,
47 sourcefile :: FilePath,
48 symbols :: ![Name],
48 symbols :: ![Name],
49 ibc_imports :: ![(Bool, FilePath)],
49 ibc_imports :: ![(Bool, FilePath)],