git.iko.soy/Idris-dev
on master help sign in
Bump IBC version after removing `%elim` items
507a731Ahmad Salim Al-Sibahi
src/Idris/IBC.hs+1−1
compare with master
unifiedsplit
@@ -40,7 +40,7 @@ import System.Directory
40import System.FilePath
40import System.FilePath
41
41
42ibcVersion :: Word16
42ibcVersion :: Word16
43−ibcVersion = 164
43+ibcVersion = 165
44
44
45-- | When IBC is being loaded - we'll load different things (and omit
45-- | When IBC is being loaded - we'll load different things (and omit
46-- different structures/definitions) depending on which phase we're in.
46-- different structures/definitions) depending on which phase we're in.