Skip to content
Snippets Groups Projects
  1. May 26, 2008
  2. May 01, 2008
  3. May 23, 2008
  4. May 21, 2008
  5. May 22, 2008
  6. May 21, 2008
    • Simon Peyton Jones's avatar
      Fix Trac #1061: refactor handling of default methods · 24f3ffda
      Simon Peyton Jones 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
    • Simon Peyton Jones's avatar
      Comment typo · 08ffc907
      Simon Peyton Jones authored
      08ffc907
  7. May 20, 2008
  8. May 15, 2008
    • Simon Peyton Jones's avatar
      Tuples cannot contain unboxed types · 48565ca8
      Simon Peyton Jones 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. May 20, 2008
  10. May 17, 2008
  11. May 19, 2008
  12. May 20, 2008
  13. May 19, 2008
  14. May 20, 2008
  15. May 18, 2008
  16. May 17, 2008
  17. May 16, 2008
  18. May 17, 2008
  19. May 16, 2008
  20. May 15, 2008
  21. May 01, 2008
  22. May 16, 2008
    • Simon Peyton Jones's avatar
      Improve the treatment of 'seq' (Trac #2273) · 4e36a8b1
      Simon Peyton Jones 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. May 15, 2008
  24. Apr 26, 2008
Loading