strip some redundant constructors from GF.Grammar.Grammar

1 files changed, 0 insertions, 8 deletions

diff --git a/src/GF/Grammar/Binary.hs b/src/GF/Grammar/Binary.hs
index e22e1dc87..6f5d8b817 100644
--- a/src/GF/Grammar/Binary.hs
+++ b/src/GF/Grammar/Binary.hs
@@ -140,12 +140,9 @@ instance Binary Term where
   put (ExtR x y)    = putWord8 20 >> put (x,y)

   put (Table x y)   = putWord8 21 >> put (x,y)

   put (T x y)       = putWord8 22 >> put (x,y)

-  put (TSh x y)     = putWord8 23 >> put (x,y)

   put (V x y)       = putWord8 24 >> put (x,y)

   put (S x y)       = putWord8 25 >> put (x,y)

-  put (Val x y z)   = putWord8 26 >> put (x,y,z)

   put (Let x y)     = putWord8 27 >> put (x,y)

-  put (Alias x y z) = putWord8 28 >> put (x,y,z)

   put (Q  x y)      = putWord8 29 >> put (x,y)

   put (QC x y)      = putWord8 30 >> put (x,y)

   put (C x y)       = putWord8 31 >> put (x,y)

@@ -180,12 +177,9 @@ instance Binary Term where
              20 -> get >>= \(x,y)   -> return (ExtR x y)

              21 -> get >>= \(x,y)   -> return (Table x y)

              22 -> get >>= \(x,y)   -> return (T x y)

-             23 -> get >>= \(x,y)   -> return (TSh x y)

              24 -> get >>= \(x,y)   -> return (V x y)

              25 -> get >>= \(x,y)   -> return (S x y)

-             26 -> get >>= \(x,y,z) -> return (Val x y z)

              27 -> get >>= \(x,y)   -> return (Let x y)

-             28 -> get >>= \(x,y,z) -> return (Alias x y z)

              29 -> get >>= \(x,y)   -> return (Q  x y)

              30 -> get >>= \(x,y)   -> return (QC x y)

              31 -> get >>= \(x,y)   -> return (C x y)

@@ -208,7 +202,6 @@ instance Binary Patt where
   put (PInt    x)  = putWord8  6 >> put x

   put (PFloat  x)  = putWord8  7 >> put x

   put (PT x y)     = putWord8  8 >> put (x,y)

-  put (PVal x y z) = putWord8  9 >> put (x,y,z)

   put (PAs  x y)   = putWord8 10 >> put (x,y)

   put (PNeg x)     = putWord8 11 >> put x

   put (PAlt x y)   = putWord8 12 >> put (x,y)

@@ -229,7 +222,6 @@ instance Binary Patt where
              6  -> get >>= \x       -> return (PInt    x)

              7  -> get >>= \x       -> return (PFloat  x)

              8  -> get >>= \(x,y)   -> return (PT x y)

-             9  -> get >>= \(x,y,z) -> return (PVal x y z)

              10 -> get >>= \(x,y)   -> return (PAs  x y)

              11 -> get >>= \x       -> return (PNeg x)

              12 -> get >>= \(x,y)   -> return (PAlt x y)