1. 01 May, 2008 1 commit
  2. 23 May, 2008 1 commit
  3. 21 May, 2008 2 commits
  4. 22 May, 2008 1 commit
  5. 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
  6. 20 May, 2008 2 commits
  7. 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
  8. 20 May, 2008 1 commit
  9. 17 May, 2008 1 commit
  10. 19 May, 2008 4 commits
  11. 20 May, 2008 3 commits
  12. 19 May, 2008 1 commit
  13. 20 May, 2008 3 commits
  14. 18 May, 2008 2 commits
  15. 17 May, 2008 1 commit
  16. 16 May, 2008 2 commits
  17. 17 May, 2008 1 commit
  18. 16 May, 2008 2 commits
  19. 15 May, 2008 2 commits
  20. 01 May, 2008 1 commit
  21. 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
  22. 15 May, 2008 1 commit
  23. 26 Apr, 2008 1 commit
  24. 14 May, 2008 2 commits
  25. 26 Apr, 2008 1 commit
    • Ian Lynagh's avatar
      Fix an assertion · baca7886
      Ian Lynagh authored
      We were checking that a pointer was correctly tagged, but after we had
      untagged it.
      baca7886