Skip to content
Snippets Groups Projects
  1. Sep 04, 2012
  2. Sep 03, 2012
  3. Sep 02, 2012
  4. Aug 31, 2012
  5. Aug 22, 2012
    • 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. Aug 20, 2012
  7. Aug 15, 2012
  8. Aug 14, 2012
Loading