X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcClassDcl.lhs;h=8fa2939a5adc72ec54cb41ce106f4b50ebff0224;hp=c3edcc4ca752ceeb97eb4296ab0082cecc8b1eff;hb=85cdcb79e30fc86ca8b5dfcc2d4a77cadd4990bd;hpb=eee94cc7e8e39f84dc61c07461582b9655270d67 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.