raise better error message when decode PGF file

1 files changed, 6 insertions, 0 deletions

diff --git a/src/PGF/Binary.hs b/src/PGF/Binary.hs
index 9bbf33d68..acbff2309 100644
--- a/src/PGF/Binary.hs
+++ b/src/PGF/Binary.hs
@@ -97,6 +97,7 @@ instance Binary Term where
              8 -> liftM  V  get

              9  -> liftM  (K . KS) get

              10 -> liftM2 (\d vs -> K (KP d vs)) get get

+             _  -> decodingError

 

 instance Binary Expr where

   put (EAbs x exp)    = putWord8 0 >> put (x,exp)

@@ -117,6 +118,7 @@ instance Binary Expr where
              5 -> liftM  (ELit . LInt) get

              6 -> liftM  EMeta get

              7 -> liftM  EEq get

+             _ -> decodingError

              

 instance Binary Equation where

   put (Equ ps e) = put (ps,e)

@@ -145,6 +147,7 @@ instance Binary FSymbol where
              1 -> liftM2 FSymLit get get

              2 -> liftM  (FSymTok . KS) get

              3 -> liftM2 (\d vs -> FSymTok (KP d vs)) get get

+             _ -> decodingError

 

 instance Binary Production where

   put (FApply ruleid args) = putWord8 0 >> put (ruleid,args)

@@ -153,6 +156,7 @@ instance Binary Production where
            case tag of

              0 -> liftM2 FApply  get get

              1 -> liftM  FCoerce get

+             _ -> decodingError

 

 instance Binary ParserInfo where

   put p = put (functions p, sequences p, productions p, totalCats p, startCats p)

@@ -163,3 +167,5 @@ instance Binary ParserInfo where
            startCats   <- get

            return (ParserInfo{functions=functions,sequences=sequences,productions=productions

                              ,totalCats=totalCats,startCats=startCats})

+

+decodingError = fail "This PGF file was compiled with different version of GF"