From a931676d902033fdef17e7e086c40f5c753e9844 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Mon, 10 Nov 2003 15:16:28 +0000
Subject: flags

---
 src/GF/Grammar/Compute.hs | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

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

diff --git a/src/GF/Grammar/Compute.hs b/src/GF/Grammar/Compute.hs
index 3dd90012d..5bcc5dd1e 100644
--- a/src/GF/Grammar/Compute.hs
+++ b/src/GF/Grammar/Compute.hs
@@ -113,6 +113,9 @@ computeTerm gr = comp where
 
 	 _    -> returnC $ S t' v'
 
+     -- normalize away empty tokens
+     K "" -> return Empty
+
      -- glue if you can
      Glue x0 y0 -> do
        x <- comp g x0
@@ -123,8 +126,8 @@ computeTerm gr = comp where
 
          (S (T i cs) e, s) -> prawitz g i (flip Glue s) cs e
          (s, S (T i cs) e) -> prawitz g i (Glue s) cs e
-         (_,K "")          -> return x
-         (K "",_)          -> return y
+         (_,Empty)         -> return x
+         (Empty,_)         -> return y
          (K a, K b)        -> return $ K (a ++ b)
          (K a, Alts (d,vs)) -> do
             let glx = Glue x
-- 
cgit v1.2.3