From 6a79b6fe2d3b55f1ea32aab961ecb10da4dc302d Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Mon, 9 May 2005 14:44:59 +0000
Subject: empty in pre

---
 src/GF/Grammar/Compute.hs | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

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

diff --git a/src/GF/Grammar/Compute.hs b/src/GF/Grammar/Compute.hs
index 3cc3c7dff..0401c2417 100644
--- a/src/GF/Grammar/Compute.hs
+++ b/src/GF/Grammar/Compute.hs
@@ -5,9 +5,9 @@
 -- Stability   : (stable)
 -- Portability : (portable)
 --
--- > CVS $Date: 2005/05/09 09:45:23 $ 
+-- > CVS $Date: 2005/05/09 15:44:59 $ 
 -- > CVS $Author: aarne $
--- > CVS $Revision: 1.16 $
+-- > CVS $Revision: 1.17 $
 --
 -- Computation of source terms. Used in compilation and in @cc@ command.
 -----------------------------------------------------------------------------
@@ -167,14 +167,17 @@ computeTerm gr = comp where
          (_,Empty)         -> return x
          (Empty,_)         -> return y
          (K a, K b)        -> return $ K (a ++ b)
-         (K a, Alts (d,vs)) -> do
-----         (_, Alts (d,vs)) -> do
+         (_, Alts (d,vs)) -> do
+----         (K a, Alts (d,vs)) -> do
             let glx = Glue x
             comp g $ Alts (glx d, [(glx v,c) | (v,c) <- vs])
-         (Alts _, K a) -> checks [do
+         (Alts _, ka) -> checks [do
+            y' <- strsFromTerm ka
+----         (Alts _, K a) -> checks [do
             x' <- strsFromTerm x -- this may fail when compiling opers
             return $ variants [
-              foldr1 C (map K (str2strings (glueStr v (str a)))) | v <- x']
+              foldr1 C (map K (str2strings (glueStr v u))) | v <- x', u <- y']
+----              foldr1 C (map K (str2strings (glueStr v (str a)))) | v <- x']
            ,return $ Glue x y
            ]
          (FV ks,_)         -> do
-- 
cgit v1.2.3