ghc-darcs-git-switchover
5cfe9e92 · Introducing a datatype for WorkLists that properly prioritizes equalities. ·