diff options
| author | hallgren <hallgren@chalmers.se> | 2016-04-07 13:32:14 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2016-04-07 13:32:14 +0000 |
| commit | 65e675d8e2fc530997b3209e6ab84760be5a0a65 (patch) | |
| tree | f3d0fb3cac137a8a1e9e493960bff9f3bfdb8f05 /src/binary | |
| parent | c130d28ae34b6ca5db06de21a2207433cca19884 (diff) | |
Lexer.x & Parser.y: add a partial parser for terms
Lexer.x: Change the parser monad type P to allow the remaining input to
be returned after a partial parse. Add function
runPartial :: P t -> String -> Either (Posn, String) (String, t)
Parser.y: Add a partial parser pTerm for nonterminal Exp1.
Re-export runPartial.
Diffstat (limited to 'src/binary')
0 files changed, 0 insertions, 0 deletions