| ... | @@ -20,8 +20,15 @@ |
... | @@ -20,8 +20,15 @@ |
|
|
|
|
|
|
|
GHC has used a new `Read` class based on these parsers since 5.04 (July 2002).
|
|
GHC has used a new `Read` class based on these parsers since 5.04 (July 2002).
|
|
|
|
|
|
|
|
- Malcolm's experimental Poly parser in the CVS version of HaXml?.
|
|
- Malcolm's experimental [ Poly parser](http://nhc98.blogspot.com/) in the CVS version of [ HaXml](http://www.cs.york.ac.uk/fp/HaXml-1.14/).
|
|
|
|
|
|
|
|
- monadic interface
|
|
- monadic interface
|
|
|
- deterministic parser with committed choice
|
|
- supports non-determinism but also has deterministically committed path (like cut operator in prolog)
|
|
|
- returns an error string on failure
|
|
- returns an error string on failure
|
|
|
|
|
|
|
|
- Could also use something based on Daan's Parsec combinators
|
|
|
|
|
|
|
|
- monadic interface
|
|
|
|
- mostly deterministic, with explicit 'try' operator for non-determinism
|
|
|
|
- error-reporting
|
|
|
|
- already widely used for other parsing tasks |
