1. 19 Sep, 2006 8 commits
  2. 18 Sep, 2006 3 commits
  3. 16 Sep, 2006 2 commits
  4. 13 Sep, 2006 3 commits
  5. 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
  6. 17 Sep, 2006 1 commit
  7. 15 Sep, 2006 2 commits
  8. 12 Sep, 2006 1 commit
  9. 11 Sep, 2006 1 commit
  10. 12 Sep, 2006 2 commits
  11. 11 Sep, 2006 1 commit
  12. 12 Sep, 2006 1 commit
  13. 11 Sep, 2006 3 commits
    • simonpj@microsoft.com's avatar
      Document postfix operators · 395f018b
      simonpj@microsoft.com authored
      395f018b
    • simonpj@microsoft.com's avatar
      Simplify desugaring of left sections · 67c2b6a1
      simonpj@microsoft.com authored
      	MERGE TO 6.6 branch!
      
      Some while ago I made the type checker a tiny bit more lenient about
      left sections, so that 
      	(x !)
      would typecheck iff
      	((!) x) 
      typechecks.  
      
      Strictly, Haskell 98 requires that the section typechecks iff
      	(\y. (!) x y)
      typechecks, and I should really have made the relaxation dependent on a 
      flag, but I didn't.
      
      Anyway, this commit fixes the *desugarer* so that it correctly desugars
      the programs that the typechecker passes.
      
      67c2b6a1
    • simonpj@microsoft.com's avatar
      Add comment · 38f4f2e0
      simonpj@microsoft.com authored
      38f4f2e0
  14. 10 Sep, 2006 3 commits
  15. 09 Sep, 2006 1 commit
  16. 08 Sep, 2006 1 commit
  17. 09 Sep, 2006 1 commit
  18. 08 Sep, 2006 1 commit
    • simonpj@microsoft.com's avatar
      Catch errors in pattern matching for unboxed tuples · 4f2e93bc
      simonpj@microsoft.com authored
      When fiddling with pattern-matching for unboxed tuples, I'd messed up
      the slightly-tricky tests for pattern matching on unboxed tuples, notably
      	case (# foo, bar #) of r -> ...r...
      
      The fix is in TcPat, and test are tcfail115, tcfail120, and tc209
      4f2e93bc