git.iko.soy/Idris-dev
on master help sign in
Handle extra field of PClass in IBC.hs
2fa561cPaul Koerbitz
src/Idris/IBC.hs+5−3
compare with master
unifiedsplit
@@ -30,7 +30,7 @@ import Codec.Compression.Zlib (compress)
30import Util.Zlib (decompressEither)
30import Util.Zlib (decompressEither)
31
31
32ibcVersion :: Word8
32ibcVersion :: Word8
33−ibcVersion = 68
33+ibcVersion = 69
34
34
35data IBCFile = IBCFile { ver :: Word8,
35data IBCFile = IBCFile { ver :: Word8,
36 sourcefile :: FilePath,
36 sourcefile :: FilePath,
@@ -1436,7 +1436,7 @@ instance (Binary t) => Binary (PDecl' t) where
1436 put x7
1436 put x7
1437 put x8
1437 put x8
1438 put x9
1438 put x9
1439− PClass x1 x2 x3 x4 x5 x6 x7
1439+ PClass x1 x2 x3 x4 x5 x6 x7 x8
1440 -> do putWord8 7
1440 -> do putWord8 7
1441 put x1
1441 put x1
1442 put x2
1442 put x2
@@ -1445,6 +1445,7 @@ instance (Binary t) => Binary (PDecl' t) where
1445 put x5
1445 put x5
1446 put x6
1446 put x6
1447 put x7
1447 put x7
1448+ put x8
1448 PInstance x1 x2 x3 x4 x5 x6 x7 x8 -> do putWord8 8
1449 PInstance x1 x2 x3 x4 x5 x6 x7 x8 -> do putWord8 8
1449 put x1
1450 put x1
1450 put x2
1451 put x2
@@ -1523,7 +1524,8 @@ instance (Binary t) => Binary (PDecl' t) where
1523 x5 <- get
1524 x5 <- get
1524 x6 <- get
1525 x6 <- get
1525 x7 <- get
1526 x7 <- get
1527+ x8 <- get
1526− return (PClass x1 x2 x3 x4 x5 x6 x7)
1528+ return (PClass x1 x2 x3 x4 x5 x6 x7 x8)
1527 8 -> do x1 <- get
1529 8 -> do x1 <- get
1528 x2 <- get
1530 x2 <- get
1529 x3 <- get
1531 x3 <- get