report type errors in the shell from command "p"

1 files changed, 3 insertions, 2 deletions

diff --git a/src/runtime/haskell/PGF/Parse.hs b/src/runtime/haskell/PGF/Parse.hs
index 1d09359ed..6bf0979a4 100644
--- a/src/runtime/haskell/PGF/Parse.hs
+++ b/src/runtime/haskell/PGF/Parse.hs
@@ -44,11 +44,12 @@ data ParseInput
 -- | This data type encodes the different outcomes which you could get from the parser.

 data ParseOutput

   = ParseFailed Int                -- ^ The integer is the position in number of tokens where the parser failed.

-  | TypeError   FId [TcError]      -- ^ The parsing was successful but none of the trees is type correct. 

+  | TypeError   [(FId,TcError)]    -- ^ The parsing was successful but none of the trees is type correct. 

                                    -- The forest id ('FId') points to the bracketed string from the parser

                                    -- where the type checking failed. More than one error is returned

                                    -- if there are many analizes for some phrase but they all are not type correct.

-  | ParseOk [Tree]                 -- ^ If the parsing was successful we get a list of abstract syntax trees. The list should be non-empty.

+  | ParseOk [Tree]                 -- ^ If the parsing and the type checkeing are successful we get a list of abstract syntax trees.

+                                   -- The list should be non-empty.

 

 parse :: PGF -> Language -> Type -> [Token] -> (ParseOutput,BracketedString)

 parse pgf lang typ toks = loop (initState pgf lang typ) toks