Replaces the indentation-sensitive grammar with one using the ; character to separate imports and declarations.
🔥s the mixfix operator parsing.
🔥s the parsing of multiplicities (for now).
Replaces the Span & Delta types with Excerpt, Span, and Pos types.
Replaces our use of trifecta with a similar parser based on fused-effects. This parser uses Strings instead of ByteStrings (for now), and doesn’t use iteratees (not great for large sources or streaming I/O), but was otherwise basically a drop-in replacement; e.g. most parsers were unchanged.
This PR:
;
character to separate imports and declarations.Span
&Delta
types withExcerpt
,Span
, andPos
types.trifecta
with a similar parser based onfused-effects
. This parser usesString
s instead ofByteString
s (for now), and doesn’t use iteratees (not great for large sources or streaming I/O), but was otherwise basically a drop-in replacement; e.g. most parsers were unchanged.