1. 09 Aug, 2012 1 commit
  2. 03 Aug, 2012 1 commit
  3. 20 Jul, 2012 2 commits
  4. 19 Jul, 2012 6 commits
  5. 18 Jul, 2012 11 commits
  6. 17 Jul, 2012 7 commits
  7. 16 Jul, 2012 9 commits
  8. 14 Jul, 2012 3 commits
    • Simon Peyton Jones's avatar
      Do not discard insoluble constraints in simplifyInfer · c1f01e35
      Simon Peyton Jones authored
      Before -fdefer-type-errors there we no insolubles
      (because we'd have failed before then), but with -fdefer-type-errors
      there can be.  The code is acutally a bit simpler: we just call
      emitConstraints, and eliminate the bogus-looking emitWC from TcRnMonad.
      
      There's a bit more tidying up to do, concerning the places we use
      keepWanted, but I need to talk to Dimitrios about that.
      
      Meanwhile this fixes Trac #7023
      c1f01e35
    • Simon Peyton Jones's avatar
      Comments only · 777cda76
      Simon Peyton Jones authored
      777cda76
    • Simon Peyton Jones's avatar
      Comments only · c111209c
      Simon Peyton Jones authored
      c111209c