patch applied (ghc): Fix Trac #1061: refactor handling of default methods

Simon Peyton Jones simonpj at microsoft.com
Wed May 21 09:04:24 EDT 2008


Wed May 21 06:00:28 PDT 2008  simonpj at microsoft.com
  * Fix Trac #1061: refactor handling of default methods
  
  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.
  

    M ./compiler/typecheck/TcClassDcl.lhs -193 +190
    M ./compiler/typecheck/TcInstDcls.lhs -9 +9

View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080521130028-1287e-1f0c059950f2fc3c3ba5cf7d7e6e30709f8ae3dd.gz



More information about the Cvs-ghc mailing list