diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-10-15 15:08:38 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-10-15 15:08:38 +0000 |
| commit | 856c31a64b3e4e46645ace364101fb5cf148b41e (patch) | |
| tree | d5399ef3a363b5ceedc7aa3b2bed304f3d7c07ad /src/PGF | |
| parent | adc6566cd3eb7414a5043b13d58bbd5803391390 (diff) | |
restored the possibility to compile .cf files to gf
Diffstat (limited to 'src/PGF')
| -rw-r--r-- | src/PGF/TypeCheck.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/PGF/TypeCheck.hs b/src/PGF/TypeCheck.hs index fb5130d56..1c0d04fd4 100644 --- a/src/PGF/TypeCheck.hs +++ b/src/PGF/TypeCheck.hs @@ -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)]) |