git.iko.soy/Idris-dev
on master help sign in
bump formatVersion
e4345f6joe9
src/IRTS/Portable.hs+1−1
compare with master
unifiedsplit
@@ -30,7 +30,7 @@ data CodegenFile = CGFile {
30
30
31-- Update the version when the format changes
31-- Update the version when the format changes
32formatVersion :: Int
32formatVersion :: Int
33−formatVersion = 2
33+formatVersion = 3
34
34
35writePortable :: Handle -> CodegenInfo -> IO ()
35writePortable :: Handle -> CodegenInfo -> IO ()
36writePortable file ci = do
36writePortable file ci = do