1. 11 Aug, 2006 10 commits
  2. 10 Aug, 2006 15 commits
  3. 09 Aug, 2006 14 commits
  4. 08 Aug, 2006 1 commit
    • simonpj@microsoft.com's avatar
      More fixes to pre-matching and pre-subsumption · 444006bc
      simonpj@microsoft.com authored
      Actually this patch fixes two errors. one was a trivial typo in 
      tha last patch (b_ty should be b_tau), which led to an infinite loop
      when compiling Data.Generic.Twins.  
      
      Fixing that revealed a more serious error in the same function.
      I was sloppy about dealing robsutly with name-capture for nested
      quantifiers in pre-subsumption and pre-matching; and sure enough
      I got bitten.  Sigh.  I think it is right now.
      444006bc