From b0e110cf4f7c6e43d044f05fdedde3ffaabb9843 Mon Sep 17 00:00:00 2001 From: krasimir Date: Mon, 9 Aug 2010 10:10:08 +0000 Subject: native representation for HOAS in PMCFG and incremental type checking of the parse forest --- src/compiler/GF/Command/Commands.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/compiler/GF/Command/Commands.hs') diff --git a/src/compiler/GF/Command/Commands.hs b/src/compiler/GF/Command/Commands.hs index 54bcb9e70..3d97f545a 100644 --- a/src/compiler/GF/Command/Commands.hs +++ b/src/compiler/GF/Command/Commands.hs @@ -1013,8 +1013,9 @@ allCommands env@(pgf, mos) = Map.fromList [ TypeError errs -> ([], render (text "The parsing is successful but the type checking failed with error(s):" $$ nest 2 (vcat (map (ppTcError . snd) errs))) ++ "\n" ++ msg) - ParseFailed i -> ([], "parse failed at token " ++ show (words s !! max 0 (i-1)) + ParseFailed i -> ([], "The parser failed at token " ++ show (words s !! max 0 (i-1)) ++ "\n" ++ msg) + ParseIncomplete-> ([], "The sentence is not complete") where (es,msg) = fromParse opts ps -- cgit v1.2.3