From 6753fdae72dc6be7cdac5f2ec09fc42d8f0b4b2e Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Sun, 25 Oct 2009 18:01:04 +0000
Subject: strip some redundant constructors from GF.Grammar.Grammar

---
 src/GF/Grammar/Binary.hs | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'src/GF/Grammar/Binary.hs')

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)
-- 
cgit v1.2.3