missing binary serialization for PImplArg in the .gfo files

This commit is contained in:
kr.angelov
2013-10-30 12:48:58 +00:00
parent 2e9992a9b3
commit 122c40bb3b

View File

@@ -244,6 +244,7 @@ instance Binary Patt where
put (PMacro x) = putWord8 17 >> put x
put (PM x) = putWord8 18 >> put x
put (PTilde x) = putWord8 19 >> put x
put (PImplArg x) = putWord8 20 >> put x
get = do tag <- getWord8
case tag of
0 -> get >>= \(x,y) -> return (PC x y)
@@ -265,6 +266,7 @@ instance Binary Patt where
17 -> get >>= \x -> return (PMacro x)
18 -> get >>= \x -> return (PM x)
19 -> get >>= \x -> return (PTilde x)
20 -> get >>= \x -> return (PImplArg x)
_ -> decodingError
instance Binary TInfo where