• dimitris@microsoft.com's avatar
    Moved canonicalisation inside solveInteract · ef6d82a4
    dimitris@microsoft.com authored
    Moreover canonicalisation now is "clever", i.e. it never canonicalizes a class 
    constraint if it can already discharge it from some other inert or previously
    encountered constraints. See Note [Avoiding the superclass explosion]
    ef6d82a4
TcSMonad.lhs 35.9 KB