From c113c20862508c8150b5373a2aafc27fafc79e93 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Sun, 6 Nov 2005 21:00:36 +0000
Subject: multimodal resource

---
 src/GF/Compile/CheckGrammar.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/GF/Compile')

diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs
index fb42bd17e..a1b042f00 100644
--- a/src/GF/Compile/CheckGrammar.hs
+++ b/src/GF/Compile/CheckGrammar.hs
@@ -5,9 +5,9 @@
 -- Stability   : (stable)
 -- Portability : (portable)
 --
--- > CVS $Date: 2005/10/02 20:50:19 $ 
+-- > CVS $Date: 2005/11/06 22:00:37 $ 
 -- > CVS $Author: aarne $
--- > CVS $Revision: 1.29 $
+-- > CVS $Revision: 1.30 $
 --
 -- AR 4\/12\/1999 -- 1\/4\/2000 -- 8\/9\/2001 -- 15\/5\/2002 -- 27\/11\/2002 -- 18\/6\/2003
 --
@@ -564,6 +564,7 @@ checkLType env trm typ0 = do
          trm' <- comp trm
          case trm' of
            RecType _ -> termWith trm $ return typeType
+           ExtR (Vr _) (RecType _) -> termWith trm $ return typeType -- ext t = t ** ...
            _ -> prtFail "invalid record type extension" trm
        RecType rr -> do
          (r',ty,s') <- checks [
-- 
cgit v1.2.3