Skip to content
Snippets Groups Projects
Commit db07129c authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Eliminate (given) flatten-skolems in favour of user type variables 

See Note [Eliminate flat-skols].  IT wasn't exactly wrong before
the the error messages are deeply strange.
parent f3472f55
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment