GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-10 11:42:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

"Committed_by_peb"

Browse Source
This commit is contained in:
peb
2005-02-03 14:13:35 +00:00
parent a7b25a9ca4
commit 4a5a48157f
10 changed files with 132 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/GF/Compile/CheckGrammar.hs
View File

@@ -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