1. 30 Jul, 2012 12 commits
  2. 29 Jul, 2012 3 commits
  3. 28 Jul, 2012 1 commit
  4. 27 Jul, 2012 1 commit
  5. 26 Jul, 2012 4 commits
  6. 25 Jul, 2012 3 commits
  7. 24 Jul, 2012 12 commits
  8. 23 Jul, 2012 4 commits
    • Simon Peyton Jones's avatar
      Fix a subtle float-in bug · b498b998
      Simon Peyton Jones authored
      This patch makes
        fiExpr (AnnLam ...)
        noFloatIntoExpr (AnnLam ...)
      line up with each other.  Previously they behaved inconsistently
      with bad results.
      
      The details are in Trac #7088.    There's a regression test
      in simplCore/should_compile/T7088
      b498b998
    • Simon Peyton Jones's avatar
      Numerous small changes to the constraint solver · 9c0a6bbb
      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.
      9c0a6bbb
    • Simon Peyton Jones's avatar
      606b6d57
    • Simon Peyton Jones's avatar
      Typo in error message · e1c116c6
      Simon Peyton Jones authored
      e1c116c6