diff options
| author | aarne <unknown> | 2003-11-10 15:16:28 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-10 15:16:28 +0000 |
| commit | a931676d902033fdef17e7e086c40f5c753e9844 (patch) | |
| tree | 1a66aa622a378c2b36d718387d8662e25150c3b9 /src/GF/Grammar/Compute.hs | |
| parent | 7a44450b34f80b156b8d663d3310e33aa7519910 (diff) | |
flags
Diffstat (limited to 'src/GF/Grammar/Compute.hs')
| -rw-r--r-- | src/GF/Grammar/Compute.hs | 7 |
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 |
