From 856c31a64b3e4e46645ace364101fb5cf148b41e Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 15 Oct 2008 15:08:38 +0000 Subject: restored the possibility to compile .cf files to gf --- src/PGF/TypeCheck.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/PGF') 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)]) -- cgit v1.2.3