@@ -37,7 +37,7 @@ import Codec.Compression.Zlib (compress)
3737import Util.Zlib (decompressEither)
3838
3939ibcVersion :: Word8
40−ibcVersion = 104
40+ibcVersion = 105
4141
4242data IBCFile = IBCFile { ver :: Word8,
4343 sourcefile :: FilePath,
@@ -1688,6 +1688,8 @@ instance Binary PTerm where
16881688 put x2
16891689 PUnquote x1 -> do putWord8 43
16901690 put x1
1691+ PQuoteName x1 -> do putWord8 44
1692+ put x1
16911693
16921694
16931695 get
@@ -1821,6 +1823,8 @@ instance Binary PTerm where
18211823 return (PQuasiquote x1 x2)
18221824 43 -> do x1 <- get
18231825 return (PUnquote x1)
1826+ 44 -> do x1 <- get
1827+ return (PQuoteName x1)
18241828 _ -> error "Corrupted binary data for PTerm"
18251829
18261830instance (Binary t) => Binary (PTactic' t) where