-
Simon Peyton Jones authored
See Note [The ambiguity check for type signatures] in TcMType, and Trac #6134, which this change fixes. A bit of refactoring as usual.
dc0ef28f
See Note [The ambiguity check for type signatures] in TcMType, and Trac #6134, which this change fixes. A bit of refactoring as usual.