diff options
Diffstat (limited to 'src/GF/Compile')
| -rw-r--r-- | src/GF/Compile/CheckGrammar.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |