From 4a5a48157fc85f7bb4deaf446140b1178a666f24 Mon Sep 17 00:00:00 2001 From: peb Date: Thu, 3 Feb 2005 14:13:35 +0000 Subject: "Committed_by_peb" --- src/GF/Compile/CheckGrammar.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/GF/Compile') diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index a14b614b8..8d0d2de98 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -669,7 +669,7 @@ checkEqLType env t u trm = do (RecType rs, RecType ts) -> -- and [alpha g a b && l == k --- too strong req -- | ((l,a),(k,b)) <- zip rs ts] - -- || -- if fails, try subtyping: + -- . || -- if fails, try subtyping: all (\ (l,a) -> any (\ (k,b) -> alpha g a b && l == k) ts) rs -- cgit v1.2.3