the construct lin C t now replaces lock fields (in source code; still tempor used internally); lock fields removed from english resource as an example

This commit is contained in:
aarne
2009-06-20 13:50:34 +00:00
parent 48c7555975
commit beb8cad7d8
10 changed files with 318 additions and 314 deletions

View File

@@ -148,6 +148,8 @@ instance Binary Term where
put (FV x) = putWord8 35 >> put x
put (Alts x) = putWord8 36 >> put x
put (Strs x) = putWord8 37 >> put x
put (ELin x y) = putWord8 38 >> put (x,y)
get = do tag <- getWord8
case tag of
0 -> get >>= \x -> return (Vr x)
@@ -186,6 +188,7 @@ instance Binary Term where
35 -> get >>= \x -> return (FV x)
36 -> get >>= \x -> return (Alts x)
37 -> get >>= \x -> return (Strs x)
38 -> get >>= \(x,y) -> return (ELin x y)
_ -> decodingError
instance Binary Patt where