diff options
| author | aarne <unknown> | 2005-11-06 21:00:36 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-11-06 21:00:36 +0000 |
| commit | c113c20862508c8150b5373a2aafc27fafc79e93 (patch) | |
| tree | a48cd4f9b615e1754f75b08fa0fa3c48655a8ca0 /src/GF/Compile | |
| parent | 9ee93b4dce358eee812aa1034f2647947c013bf1 (diff) | |
multimodal resource
Diffstat (limited to 'src/GF/Compile')
| -rw-r--r-- | src/GF/Compile/CheckGrammar.hs | 5 |
1 files changed, 3 insertions, 2 deletions
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 [ |