cd2be78 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Add PQuoteName to IBC

cd2be78David Raymond Christiansen12 years ago

src/Idris/IBC.hs+5−1

@@ -37,7 +37,7 @@ import Codec.Compression.Zlib (compress)

37import Util.Zlib (decompressEither)

39ibcVersion :: Word8

40−ibcVersion = 104

40+ibcVersion = 105

42data IBCFile = IBCFile { ver :: Word8,

43 sourcefile :: FilePath,

@@ -1688,6 +1688,8 @@ instance Binary PTerm where

1688 put x2

1689 PUnquote x1 -> do putWord8 43

1690 put x1

1691+ PQuoteName x1 -> do putWord8 44

1692+ put x1

1691

1693

1692

1694

1693 get

1695 get

@@ -1821,6 +1823,8 @@ instance Binary PTerm where

1821 return (PQuasiquote x1 x2)

1823 return (PQuasiquote x1 x2)

1822 43 -> do x1 <- get

1824 43 -> do x1 <- get

1823 return (PUnquote x1)

1825 return (PUnquote x1)

1826+ 44 -> do x1 <- get

1827+ return (PQuoteName x1)

1824 _ -> error "Corrupted binary data for PTerm"

1828 _ -> error "Corrupted binary data for PTerm"

1825

1829

1826instance (Binary t) => Binary (PTactic' t) where

1830instance (Binary t) => Binary (PTactic' t) where