git.iko.soy/Idris-dev
on master help sign in
Increment IBC version
680dcf7Edwin Brady
src/Idris/IBC.hs+1−1
compare with master
unifiedsplit
@@ -24,7 +24,7 @@ import Debug.Trace
24import Paths_idris
24import Paths_idris
25
25
26ibcVersion :: Word8
26ibcVersion :: Word8
27−ibcVersion = 32
27+ibcVersion = 33
28
28
29data IBCFile = IBCFile { ver :: Word8,
29data IBCFile = IBCFile { ver :: Word8,
30 sourcefile :: FilePath,
30 sourcefile :: FilePath,