cvs commit: fptools/libraries/HaXml/src/Text/ParserCombinators Poly.hs PolyState.hs TextParser.hs

[Malcolm Wallace]

malcolm     2005/11/27 03:56:58 PST

  Modified files:
    libraries/HaXml/src/Text/ParserCombinators Poly.hs 
                                               PolyState.hs 
                                               TextParser.hs 
  Log:
  Change the internal representation of the parsing monad.  There are now
  two classes of failure, ordinary and bad.  Ordinary failures can be
  skipped over through the backtracking choice operator `onFail`.  But bad
  failures override the backtracking, and propagate out regardless.
  Some new combinators are necessary: failBad (like fail), commit (raises
  severity of failure if it arises), adjustErrBad (like adjustErr).
  Another new combinator, manyFinally, is for a possibly-empty sequence
  that should have a recognisable terminator.  If the sequence fails, it
  could either be due to a malformed element, or a malformed terminator.
  
  Revision  Changes    Path
  1.3       +70 -18    fptools/libraries/HaXml/src/Text/ParserCombinators/Poly.hs
  1.2       +82 -27    fptools/libraries/HaXml/src/Text/ParserCombinators/PolyState.hs
  1.3       +16 -15    fptools/libraries/HaXml/src/Text/ParserCombinators/TextParser.hs