1. 10 Aug, 2006 12 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 3 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.
      9f2ceb4d
    • 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
      3098d214
    • simonpj@microsoft.com's avatar
      Improve error message · d2b27dcd
      simonpj@microsoft.com authored
      Improve a little-used error message.  Given
      	f :: a -> a
      	f x y = e
      the error says 
      
      	The equations for f have two arguments
      	but its type `a -> a' has only one
      
      (Before, it said "its type `a' has only one" which is bogus.
      d2b27dcd
  7. 10 Jul, 2006 2 commits