@@ -30,7 +30,7 @@ import Codec.Compression.Zlib (compress)
3030import Util.Zlib (decompressEither)
3131
3232ibcVersion :: Word8
33−ibcVersion = 68
33+ibcVersion = 69
3434
3535data IBCFile = IBCFile { ver :: Word8,
3636 sourcefile :: FilePath,
@@ -1436,7 +1436,7 @@ instance (Binary t) => Binary (PDecl' t) where
14361436 put x7
14371437 put x8
14381438 put x9
1439− PClass x1 x2 x3 x4 x5 x6 x7
1439+ PClass x1 x2 x3 x4 x5 x6 x7 x8
14401440 -> do putWord8 7
14411441 put x1
14421442 put x2
@@ -1445,6 +1445,7 @@ instance (Binary t) => Binary (PDecl' t) where
14451445 put x5
14461446 put x6
14471447 put x7
1448+ put x8
14481449 PInstance x1 x2 x3 x4 x5 x6 x7 x8 -> do putWord8 8
14491450 put x1
14501451 put x2
@@ -1523,7 +1524,8 @@ instance (Binary t) => Binary (PDecl' t) where
15231524 x5 <- get
15241525 x6 <- get
15251526 x7 <- get
1526− return (PClass x1 x2 x3 x4 x5 x6 x7)
1527+ x8 <- get
1528+ return (PClass x1 x2 x3 x4 x5 x6 x7 x8)
15271529 8 -> do x1 <- get
15281530 x2 <- get
15291531 x3 <- get