X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcInstDcls.lhs;h=c6105949e9165ae6d9e444e08782b2541a4b77f8;hp=8b53e3ec29c9adb61394482a32dd1ecc610b4a16;hb=951cbb3a47a7e9edd77477beebd5ce547b21b67a;hpb=59e3ad49b3b1d6208de23ec120024a34bce00c78 diff --git a/compiler/typecheck/TcInstDcls.lhs b/compiler/typecheck/TcInstDcls.lhs index 8b53e3e..c610594 100644 --- a/compiler/typecheck/TcInstDcls.lhs +++ b/compiler/typecheck/TcInstDcls.lhs @@ -51,7 +51,6 @@ pass, when the class-instance envs and GVE contain all the info from all the instance and value decls. Indeed that's the reason we need two passes over the instance decls. - Here is the overall algorithm. Assume that we have an instance declaration