How does topological sorting of kind variables really work?
eir at cis.upenn.edu
Wed Apr 13 02:45:42 UTC 2016
On Apr 12, 2016, at 10:44 PM, Ryan Scott <ryan.gl.scott at gmail.com> wrote:
> It's a bit of a shame that type inference doesn't give you a reliable
> order, but I suppose if you rely on -XTypeApplications working a
> certain way, you're taking a risk by NOT using a forall.
Inference is meant to give you a reliable ordering. If it's not, that's a bug!
More information about the ghc-devs