Skip to content

WIP: Print types more truthfully

Simon Peyton Jones requested to merge wip/T18458 into master

See #18458

I'd be interested in feedback about the changes in error messages.

Printing types more truthfully means that class method types look more complicated

Merge request reports