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

restored the possibility to compile .cf files to gf

Browse Source
This commit is contained in:
aarne
2008-10-15 15:08:38 +00:00
parent bb6623f6e7
commit 65bafe2a3b
5 changed files with 165 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/PGF/TypeCheck.hs
View File

@@ -36,7 +36,7 @@ inferExpr :: PGF -> Expr -> Err Expr
inferExpr pgf e = case infer pgf emptyTCEnv e of
Ok (e,_,cs) -> let (ms,cs2) = splitConstraints cs in case cs2 of
[] -> Ok (metaSubst ms e)
_ -> Bad ("Error: " ++ prConstraints cs2)
_ -> Bad ("Error in tree " ++ showExpr e ++ " :\n " ++ prConstraints cs2)
Bad s -> Bad s
infer :: PGF -> TCEnv -> Expr -> Err (Expr, Value, [(Value,Value)])