1. 04 Aug, 2006 7 commits
  2. 02 Aug, 2006 2 commits
  3. 01 Aug, 2006 1 commit
  4. 26 Jul, 2006 2 commits
  5. 14 Jul, 2006 1 commit
  6. 13 Jul, 2006 1 commit
  7. 06 Jul, 2006 1 commit
  8. 19 Sep, 2006 8 commits
  9. 18 Sep, 2006 3 commits
  10. 16 Sep, 2006 2 commits
  11. 13 Sep, 2006 3 commits
  12. 18 Sep, 2006 5 commits
    • Markus Lauer's avatar
      a8839bb4
    • simonpj@microsoft.com's avatar
      Fix a bug in subsumption, and tweak error messages · e33c65e1
      simonpj@microsoft.com authored
      This commit does two largely-unrelated things, but they hit the same code.
      
      First, I tweaked the error messages a bit, to give better errors
      for impredicative polymorphism.  This added the mb_fun argument to
      tc_sub.
      
      Second, I fixed a long-standing bug in tc_sub.  In the isBoxyTyVar case 
      of tc_sub (rule F2) I was not recursing to tc_sub as the rule suggests,
      but rather calling u_tys.  This is plain wrong, because the first
      arugment might have more foralls.   
      
      The solution is to recurse to tc_sub, but that in turn requires a parameter,
      exp_ib, which says when we are inside a box.
      
      Test is tc210.
      e33c65e1
    • simonpj@microsoft.com's avatar
      Comments · c5d2d92c
      simonpj@microsoft.com authored
      c5d2d92c
    • simonpj@microsoft.com's avatar
      Ensure that only zonked poly_ids are passed to tcSpecPrag · 40f5a075
      simonpj@microsoft.com authored
      This is a long-standing bug really (Trac #900).  The poly_id passed
      to tcSpecPrag should be zonked, else it calls tcSubExp with a non-zonked
      type; but that contradicts the latter's invariant.
      
      I ended up doing a bit of refactoring too.  The extra lines are 
      comments I think; the code line count is reduced.
      
      Test is tc212.hs
      40f5a075
    • simonpj@microsoft.com's avatar
      Comments only · 4e9dc3d7
      simonpj@microsoft.com authored
      4e9dc3d7
  13. 17 Sep, 2006 1 commit
  14. 15 Sep, 2006 2 commits
  15. 12 Sep, 2006 1 commit