From: simonpj@microsoft.com Date: Fri, 5 Sep 2008 17:25:53 +0000 (+0000) Subject: Comments only X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=85cdcb79e30fc86ca8b5dfcc2d4a77cadd4990bd Comments only --- diff --git a/compiler/typecheck/TcClassDcl.lhs b/compiler/typecheck/TcClassDcl.lhs index c3edcc4..8fa2939 100644 --- a/compiler/typecheck/TcClassDcl.lhs +++ b/compiler/typecheck/TcClassDcl.lhs @@ -294,8 +294,9 @@ Note [Silly default-method bind] When we pass the default method binding to the type checker, it must look like op2 = e not $dmop2 = e -otherwise the "$dm" stuff comes out in the interface file. So we -typecheck the former, and wrap it in a let, thus +otherwise the "$dm" stuff comes out error messages. But we want the +"$dm" to come out in the interface file. So we typecheck the former, +and wrap it in a let, thus $dmop2 = let op2 = e in op2 This makes the error messages right.