diff options
| author | peb <unknown> | 2005-02-03 14:13:35 +0000 |
|---|---|---|
| committer | peb <unknown> | 2005-02-03 14:13:35 +0000 |
| commit | 4a5a48157fc85f7bb4deaf446140b1178a666f24 (patch) | |
| tree | 077a81d46fa364559e6b6c1531057aff9b9517fa /src/GF/Compile | |
| parent | a7b25a9ca45c7ab7e4c64823698541122a0c865d (diff) | |
"Committed_by_peb"
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 |