1. 26 May, 2008 3 commits
  2. 01 May, 2008 1 commit
  3. 23 May, 2008 1 commit
  4. 21 May, 2008 2 commits
  5. 22 May, 2008 1 commit
  6. 21 May, 2008 2 commits
    • simonpj@microsoft.com's avatar
      Fix Trac #1061: refactor handling of default methods · 24f3ffda
      simonpj@microsoft.com authored
      In an instance declaration, omitted methods get a definition that
      uses the default method.  We used to generate source code and feed it
      to the type checker.  But tc199 shows that is a bad idea -- see
      Note [Default methods in instances] in TcClassDcl.
      
      So this patch refactors to insteadl all us to generate the 
      *post* typechecked code directly for default methods.
      24f3ffda
    • simonpj@microsoft.com's avatar
      Comment typo · 08ffc907
      simonpj@microsoft.com authored
      08ffc907
  7. 20 May, 2008 2 commits
  8. 15 May, 2008 1 commit
    • simonpj@microsoft.com's avatar
      Tuples cannot contain unboxed types · 48565ca8
      simonpj@microsoft.com authored
      This bug allowed, for example
      
        f = let x = ( 1#, 'x' ) in x
      
      which is ill-typed because you can't put an unboxed value in a tuple.
      Core Lint fails on this program.
      
      The patch makes the program be rejcted up-front.
      
      48565ca8
  9. 20 May, 2008 1 commit
  10. 17 May, 2008 1 commit
  11. 19 May, 2008 4 commits
  12. 20 May, 2008 3 commits
  13. 19 May, 2008 1 commit
  14. 20 May, 2008 3 commits
  15. 18 May, 2008 2 commits
  16. 17 May, 2008 1 commit
  17. 16 May, 2008 2 commits
  18. 17 May, 2008 1 commit
  19. 16 May, 2008 2 commits
  20. 15 May, 2008 2 commits
  21. 01 May, 2008 1 commit
  22. 16 May, 2008 1 commit
    • simonpj@microsoft.com's avatar
      Improve the treatment of 'seq' (Trac #2273) · 4e36a8b1
      simonpj@microsoft.com authored
      Trac #2273 showed a case in which 'seq' didn't cure the space leak
      it was supposed to.  This patch does two things to help
      
      a) It removes a now-redundant special case in Simplify, which
         switched off the case-binder-swap in the early stages.  This
         isn't necessary any more because FloatOut has improved since
         the Simplify code was written.  And switching off the binder-swap
         is harmful for seq.
      
      However fix (a) is a bit fragile, so I did (b) too:
      
      b) Desugar 'seq' specially.  See Note [Desugaring seq (2)] in DsUtils
         This isn't very robust either, since it's defeated by abstraction, 
         but that's not something GHC can fix; the programmer should use
         a let! instead.
      4e36a8b1
  23. 15 May, 2008 1 commit
  24. 26 Apr, 2008 1 commit