msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

native representation for HOAS in PMCFG and incremental type checking of the parse forest

Browse Source
This commit is contained in:
krasimir
2010-08-09 10:10:08 +00:00
parent f77af89683
commit 9aa7c88c5a
17 changed files with 544 additions and 436 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/compiler/GF/Command/Commands.hs
View File

@@ -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