This project is mirrored from Pull mirroring failed .
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer.
Last successful update .
  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
    •'s avatar
      Fix a bug in subsumption, and tweak error messages · e33c65e1 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
      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.
    •'s avatar
      Comments · c5d2d92c authored
    •'s avatar
      Ensure that only zonked poly_ids are passed to tcSpecPrag · 40f5a075 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
    •'s avatar
      Comments only · 4e9dc3d7 authored
  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
    •'s avatar
      Document postfix operators · 395f018b authored
    •'s avatar
      Simplify desugaring of left sections · 67c2b6a1 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) 
      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.
    •'s avatar
      Add comment · 38f4f2e0 authored
  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
    •'s avatar
      Catch errors in pattern matching for unboxed tuples · 4f2e93bc 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