search

nikita-volkov / refined

Refinement types with static checking
http://hackage.haskell.org/package/refined
MIT License
183 stars 31 forks source link

new error display #69

Closed chessai closed 4 years ago

chessai commented 4 years ago

Not really anything to resolve here. Just wanted to show off the new error display if you haven't already seen it, @nikita-volkov @symbiont-sam-halliday.

See https://hackage.haskell.org/package/refined-0.5.1/docs/Refined.html#v:displayRefineException

chessai commented 4 years ago

closing since there's no actual issue

nikita-volkov commented 4 years ago

Oh. This is cool. So we keep the prettyprinter after all, right?

chessai commented 4 years ago

No, this is done without the prettyprinter

On Wed, Jul 22, 2020, 1:20 AM Nikita Volkov notifications@github.com wrote:

Oh. This is cool. So we keep the prettyprinter after all, right?

— You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub https://github.com/nikita-volkov/refined/issues/69#issuecomment-662315461, or unsubscribe https://github.com/notifications/unsubscribe-auth/AEOIX22HZ4TPWR2URPBPZXTR42OODANCNFSM4PEJ6WBQ .