• dimitris@microsoft.com's avatar
    Introducing a datatype for WorkLists that properly prioritizes equalities. · 5cfe9e92
    dimitris@microsoft.com authored
    We were not prioritizing the interaction of equalities in the worklist, because
    pre-canonicalization solved the constraints one by one, in their arrival order.
    This patch fixes this, so it's a generally useful improvement, mainly for
    efficiency. It makes #4981 go away, although it's not a definite answer to the
    cause of the problem. See discussion on Trac.
    5cfe9e92
TcSMonad.lhs 28.9 KB