GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-24 03:52:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

quick fixes in PGF.TypeCheck suggested by Krasimir; to be revisited

Browse Source
This commit is contained in:
aarne
2011-09-14 11:29:35 +00:00
parent 255960adf7
commit 9f0bf57d79
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/runtime/haskell/PGF/TypeCheck.hs
View File

@@ -548,6 +548,8 @@ eqValue fail suspend k v1 v2 = do
return (VConst f vs) return (VConst f vs)
occurCheck i0 k xs (VClosure env e) = do env <- mapM (occurCheck i0 k xs) env occurCheck i0 k xs (VClosure env e) = do env <- mapM (occurCheck i0 k xs) env
return (VClosure env e) return (VClosure env e)
occurCheck i0 k xs (VImplArg e) = do e <- occurCheck i0 k xs e
return (VImplArg e)
----------------------------------------------------------- -----------------------------------------------------------
@@ -587,7 +589,7 @@ generateForMetas prove e = do
generateForForest :: (Scope -> TType -> TcM FId Expr) -> Expr -> TcM FId Expr generateForForest :: (Scope -> TType -> TcM FId Expr) -> Expr -> TcM FId Expr
generateForForest prove e = do generateForForest prove e = do
fillinVariables -- fillinVariables
refineExpr e refineExpr e
where where
fillinVariables = do fillinVariables = do