How does topological sorting of kind variables really work?

Richard Eisenberg eir at
Wed Apr 13 02:45:42 UTC 2016

On Apr 12, 2016, at 10:44 PM, Ryan Scott < at> 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 mailing list