1. 22 Nov, 2007 3 commits
    • Simon Peyton Jones's avatar
      5a361f1c
    • Simon Peyton Jones's avatar
      Update output · d00b006a
      Simon Peyton Jones authored
      d00b006a
    • Simon Peyton Jones's avatar
      Update test output · 7aa2a86c
      Simon Peyton Jones authored
      This is actually *slightly* worse than before, because of the
      error-message refactoring in TcUnify. The previous message 
      reported a mis-match between
          (a->Bool) and (Bool -> Bool)
      whereas the new one only complains of mismatch between
          a   and   Bool
      Trouble is, the old one was vulnerable to the problem
      described in the comments on tcSubExp. 
      
      So I'm accepting this regression for now; let's see if
      anyone notices!
      7aa2a86c
  2. 21 Nov, 2007 2 commits
  3. 20 Nov, 2007 3 commits
  4. 08 Nov, 2007 1 commit
  5. 19 Nov, 2007 2 commits
  6. 16 Nov, 2007 5 commits
  7. 15 Nov, 2007 2 commits
  8. 14 Nov, 2007 8 commits
  9. 13 Nov, 2007 3 commits
  10. 11 Nov, 2007 1 commit
  11. 08 Nov, 2007 2 commits
  12. 11 Nov, 2007 1 commit
  13. 10 Nov, 2007 3 commits
  14. 07 Nov, 2007 4 commits