summaryrefslogtreecommitdiff
path: root/src/GF/Grammar/Compute.hs
diff options
context:
space:
mode:
authoraarne <unknown>2003-11-10 15:16:28 +0000
committeraarne <unknown>2003-11-10 15:16:28 +0000
commita931676d902033fdef17e7e086c40f5c753e9844 (patch)
tree1a66aa622a378c2b36d718387d8662e25150c3b9 /src/GF/Grammar/Compute.hs
parent7a44450b34f80b156b8d663d3310e33aa7519910 (diff)
flags
Diffstat (limited to 'src/GF/Grammar/Compute.hs')
-rw-r--r--src/GF/Grammar/Compute.hs7
1 files changed, 5 insertions, 2 deletions
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