From a6dc94435648dfeeb10a691a1fd6d3ad2f6dd154 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 6 Dec 2005 12:39:36 +0000 Subject: opers in cnc --- src/GF/Compile/CheckGrammar.hs | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'src/GF/Compile/CheckGrammar.hs') diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index fc77bb6fa..08b14e3fb 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -218,7 +218,7 @@ checkCncInfo gr m (a,abs) (c,info) = do checkPrintname gr mpr return (c,CncCat (Yes typ') mdef' mpr) - _ -> return (c,info) + _ -> checkResInfo gr (c,info) where env = gr @@ -740,6 +740,12 @@ checkEqLType env t u trm = do all (\ (l,a) -> any (\ (k,b) -> alpha g a b && l == k) ts) rs + (ExtR r s, ExtR r' s') -> alpha g r r' && alpha g s s' + + (ExtR r s, t) -> alpha g r t || alpha g s t + + + -- the following say that Ints n is a subset of Int and of Ints m (App (Q (IC "Predef") (IC "Ints")) (EInt n), App (Q (IC "Predef") (IC "Ints")) (EInt m)) -> m >= n -- cgit v1.2.3