msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

fix typo in CheckGrammar

Browse Source
This commit is contained in:
krasimir
2009-09-14 12:34:46 +00:00
parent c61fbb4206
commit 3e489086ed
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -974,7 +974,7 @@ checkIfEqLType env t u trm = do
not (any (\ (k,b) -> alpha g a b && l == k) ts)] not (any (\ (k,b) -> alpha g a b && l == k) ts)]
(locks,others) = partition isLockLabel ls (locks,others) = partition isLockLabel ls
in case others of in case others of
_:_ -> Bad $ render (text "missing record fields:" <+> fsep (punctuate comma (map ppLabel others)) _:_ -> Bad $ render (text "missing record fields:" <+> fsep (punctuate comma (map ppLabel others)))
_ -> return locks _ -> return locks
-- contravariance -- contravariance
(Prod x a b, Prod y c d) -> do (Prod x a b, Prod y c d) -> do