GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 11:42:49 -06:00
Code Issues Packages Projects Releases Wiki Activity

raise better error message when decode PGF file

Browse Source
This commit is contained in:
krasimir
2009-04-02 13:25:20 +00:00
parent ef49588ed1
commit fda12955fb
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/PGF/Binary.hs
View File

@@ -97,6 +97,7 @@ instance Binary Term where
8 -> liftM V get 8 -> liftM V get
9 -> liftM (K . KS) get 9 -> liftM (K . KS) get
10 -> liftM2 (\d vs -> K (KP d vs)) get get 10 -> liftM2 (\d vs -> K (KP d vs)) get get
_ -> decodingError
instance Binary Expr where instance Binary Expr where
put (EAbs x exp) = putWord8 0 >> put (x,exp) put (EAbs x exp) = putWord8 0 >> put (x,exp)
@@ -117,6 +118,7 @@ instance Binary Expr where
5 -> liftM (ELit . LInt) get 5 -> liftM (ELit . LInt) get
6 -> liftM EMeta get 6 -> liftM EMeta get
7 -> liftM EEq get 7 -> liftM EEq get
_ -> decodingError
instance Binary Equation where instance Binary Equation where
put (Equ ps e) = put (ps,e) put (Equ ps e) = put (ps,e)
@@ -145,6 +147,7 @@ instance Binary FSymbol where
1 -> liftM2 FSymLit get get 1 -> liftM2 FSymLit get get
2 -> liftM (FSymTok . KS) get 2 -> liftM (FSymTok . KS) get
3 -> liftM2 (\d vs -> FSymTok (KP d vs)) get get 3 -> liftM2 (\d vs -> FSymTok (KP d vs)) get get
_ -> decodingError
instance Binary Production where instance Binary Production where
put (FApply ruleid args) = putWord8 0 >> put (ruleid,args) put (FApply ruleid args) = putWord8 0 >> put (ruleid,args)
@@ -153,6 +156,7 @@ instance Binary Production where
case tag of case tag of
0 -> liftM2 FApply get get 0 -> liftM2 FApply get get
1 -> liftM FCoerce get 1 -> liftM FCoerce get
_ -> decodingError
instance Binary ParserInfo where instance Binary ParserInfo where
put p = put (functions p, sequences p, productions p, totalCats p, startCats p) put p = put (functions p, sequences p, productions p, totalCats p, startCats p)
@@ -163,3 +167,5 @@ instance Binary ParserInfo where
startCats <- get startCats <- get
return (ParserInfo{functions=functions,sequences=sequences,productions=productions return (ParserInfo{functions=functions,sequences=sequences,productions=productions
,totalCats=totalCats,startCats=startCats}) ,totalCats=totalCats,startCats=startCats})
decodingError = fail "This PGF file was compiled with different version of GF"