1. 10 Aug, 2006 15 commits
  2. 09 Aug, 2006 14 commits
  3. 08 Aug, 2006 5 commits
  4. 06 Jul, 2006 3 commits
  5. 03 Jul, 2006 1 commit
  6. 08 Aug, 2006 2 commits
    • Simon Marlow's avatar
      Remember to free() memory on exit · 9f2ceb4d
      Simon Marlow authored
      Patch mostly from Lennart Augustsson in #803, with additions to
      Task.c by me.
    • simonpj@microsoft.com's avatar
      Fix pre-subsumption and pre-matching · 3098d214
      simonpj@microsoft.com authored
      The pre-subsuption and pre-matching functions should NEVER make bogus
      bindings of type variables, although they are free to bale out and make
      too few bindings.
      I hadn't been thiking carefully enough about this, and there were two
      separate bugs.  
      - Firstly, in pre-subsumption we must ignore the 'theta'
        part of any overloaded type.  
      - Second, in pre-matching, we must return the empty subustition 
        on a mis-match, rather than returning the substitution so far.
      This bug showed up when compiling Data.Generics.Schemes.hs, and is
      imortalised in test tc206