git.iko.soy/Idris-dev
on master help sign in
Increment IBC (due to clash with earlier commit)
16f7da4Edwin Brady
src/Idris/IBC.hs+1−1
compare with master
unifiedsplit
@@ -30,7 +30,7 @@ import Codec.Compression.Zlib (compress)
30import Util.Zlib (decompressEither)
30import Util.Zlib (decompressEither)
31
31
32ibcVersion :: Word8
32ibcVersion :: Word8
33−ibcVersion = 66
33+ibcVersion = 67
34
34
35data IBCFile = IBCFile { ver :: Word8,
35data IBCFile = IBCFile { ver :: Word8,
36 sourcefile :: FilePath,
36 sourcefile :: FilePath,