From 2805a8ee2cb0f431301b09443709b78699acd671 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Mon, 9 May 2005 08:45:23 +0000
Subject: fix in CheckGrammar case exprs

---
 src/GF/Compile/CheckGrammar.hs | 13 +++++++++----
 src/GF/Grammar/Compute.hs      |  7 ++++---
 2 files changed, 13 insertions(+), 7 deletions(-)

(limited to 'src')

diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs
index 59c0aec0b..05227f284 100644
--- a/src/GF/Compile/CheckGrammar.hs
+++ b/src/GF/Compile/CheckGrammar.hs
@@ -5,9 +5,9 @@
 -- Stability   : (stable)
 -- Portability : (portable)
 --
--- > CVS $Date: 2005/04/28 16:42:48 $ 
+-- > CVS $Date: 2005/05/09 09:45:23 $ 
 -- > CVS $Author: aarne $
--- > CVS $Revision: 1.25 $
+-- > CVS $Revision: 1.26 $
 --
 -- AR 4\/12\/1999 -- 1\/4\/2000 -- 8\/9\/2001 -- 15\/5\/2002 -- 27\/11\/2002 -- 18\/6\/2003
 --
@@ -565,7 +565,7 @@ checkLType env trm typ0 = do
 ---      checkIfComplexVariantType trm typ
       return (FV (map fst ttys), typ) --- typ' ?
 
-    S tab arg -> do
+    S tab arg -> checks [ do
       (tab',ty) <- infer tab
       ty'       <- comp ty
       case ty' of
@@ -574,7 +574,12 @@ checkLType env trm typ0 = do
           checkEq typ t trm
           return (S tab' arg', t)
         _ -> prtFail "table type expected for applied table instead of" ty'
-
+     , do
+      (arg',ty) <- infer arg
+      ty'       <- comp ty
+      (tab',_)  <- check tab (Table ty' typ)
+      return (S tab' arg', typ)
+      ]
     Let (x,(mty,def)) body -> case mty of
       Just ty -> do
         (def',ty') <- check def ty
diff --git a/src/GF/Grammar/Compute.hs b/src/GF/Grammar/Compute.hs
index 01ce3637d..3cc3c7dff 100644
--- a/src/GF/Grammar/Compute.hs
+++ b/src/GF/Grammar/Compute.hs
@@ -5,9 +5,9 @@
 -- Stability   : (stable)
 -- Portability : (portable)
 --
--- > CVS $Date: 2005/04/21 16:22:19 $ 
--- > CVS $Author: bringert $
--- > CVS $Revision: 1.15 $
+-- > CVS $Date: 2005/05/09 09:45:23 $ 
+-- > CVS $Author: aarne $
+-- > CVS $Revision: 1.16 $
 --
 -- Computation of source terms. Used in compilation and in @cc@ command.
 -----------------------------------------------------------------------------
@@ -168,6 +168,7 @@ computeTerm gr = comp where
          (Empty,_)         -> return y
          (K a, K b)        -> return $ K (a ++ b)
          (K a, Alts (d,vs)) -> do
+----         (_, Alts (d,vs)) -> do
             let glx = Glue x
             comp g $ Alts (glx d, [(glx v,c) | (v,c) <- vs])
          (Alts _, K a) -> checks [do
-- 
cgit v1.2.3