From: simonpj@microsoft.com <unknown>
Date: Wed, 21 May 2008 13:00:28 +0000 (+0000)
Subject: Fix Trac #1061: refactor handling of default methods
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=24f3ffdaa0ffd164616969080c3e6400f04980dd;hp=24f3ffdaa0ffd164616969080c3e6400f04980dd

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.
---