diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-06 20:31:52 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-06 20:31:52 +0000 |
| commit | b97d6abb8190cdcb595b9bf48051cc4a98f01156 (patch) | |
| tree | 744fc14acf55e09812f6e15bab831cd28c1e7187 /src/PGF/Binary.hs | |
| parent | c99b64404dd6b776d80b36ae3e1b8ef4e80949f7 (diff) | |
hopefully complete and correct typechecker in PGF
Diffstat (limited to 'src/PGF/Binary.hs')
| -rw-r--r-- | src/PGF/Binary.hs | 24 |
1 files changed, 14 insertions, 10 deletions
diff --git a/src/PGF/Binary.hs b/src/PGF/Binary.hs index bd896817f..87d61d1bc 100644 --- a/src/PGF/Binary.hs +++ b/src/PGF/Binary.hs @@ -104,20 +104,24 @@ instance Binary Term where instance Binary Expr where
put (EAbs x exp) = putWord8 0 >> put (x,exp)
put (EApp e1 e2) = putWord8 1 >> put (e1,e2)
- put (EVar x) = putWord8 2 >> put x
- put (ELit (LStr s)) = putWord8 3 >> put s
- put (ELit (LFlt d)) = putWord8 4 >> put d
- put (ELit (LInt i)) = putWord8 5 >> put i
- put (EMeta i) = putWord8 6 >> put i
+ put (ELit (LStr s)) = putWord8 2 >> put s
+ put (ELit (LFlt d)) = putWord8 3 >> put d
+ put (ELit (LInt i)) = putWord8 4 >> put i
+ put (EMeta i) = putWord8 5 >> put i
+ put (EFun f) = putWord8 6 >> put f
+ put (EVar i) = putWord8 7 >> put i
+ put (ETyped e ty) = putWord8 8 >> put (e,ty)
get = do tag <- getWord8
case tag of
0 -> liftM2 EAbs get get
1 -> liftM2 EApp get get
- 2 -> liftM EVar get
- 3 -> liftM (ELit . LStr) get
- 4 -> liftM (ELit . LFlt) get
- 5 -> liftM (ELit . LInt) get
- 6 -> liftM EMeta get
+ 2 -> liftM (ELit . LStr) get
+ 3 -> liftM (ELit . LFlt) get
+ 4 -> liftM (ELit . LInt) get
+ 5 -> liftM EMeta get
+ 6 -> liftM EFun get
+ 7 -> liftM EVar get
+ 8 -> liftM2 ETyped get get
_ -> decodingError
instance Binary Patt where
|