search

argumentcomputer / Megaparsec.lean

Lean 4 port of Megaparsec
MIT License
22 stars 4 forks source link

Finish errors w/ pretty-printing #31

Closed ixahedron closed 2 years ago

ixahedron commented 2 years ago

Problem: though printing errors right now kind of works, we want to make this even nicer by e.g. pretty-printing Chars, which make up the majority of out current usecases. This will print special characters in a readable manner.

Solution: based on a newer version of YatimaStdLib, switched error printing to a new Printable type class. Also cleaned up the rest a bit.

cognivore commented 2 years ago

I think we can (should) merge this?

ixahedron commented 2 years ago

I think we can (should) merge this?

Can you re-review if I addressed all your concerns/your caveat? If yes, we'll merge