1. 04 Sep, 2012 3 commits
  2. 03 Sep, 2012 2 commits
  3. 02 Sep, 2012 3 commits
  4. 31 Aug, 2012 17 commits
  5. 22 Aug, 2012 2 commits
    • Simon Peyton Jones's avatar
      Numerous small changes to the constraint solver · 702f0db0
      Simon Peyton Jones authored
          The main thing is that we now keep unsolved Derived constraints in the
          wc_flats of a WantedConstraints, rather than discarding them each time.
          This actually fixes a poential (admittedly obscure) bug, when we currently
          discard a superclass constraint, and may never re-generate it, and may
          thereby miss a functional dependency.
      
          Instead, reportErrors filters out Derived constraints that we don't want
          to report.
      
          The other changes are all small refactorings following our walk-through.
      
      MERGED from commit 9c0a6bbb on HEAD
      702f0db0
    • Simon Peyton Jones's avatar
      Allocate a fresh META unique in newMetaKindVar · 5133bb97
      Simon Peyton Jones authored
      Fixes Trac #7176 on the branch.  HEAD has a better fix
      (the big patch to untouchable handling)
      5133bb97
  6. 20 Aug, 2012 3 commits
  7. 15 Aug, 2012 9 commits
  8. 14 Aug, 2012 1 commit