X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcInstDcls.lhs;h=c6105949e9165ae6d9e444e08782b2541a4b77f8;hb=2026e951c4811e0aaf44212426c7048cf5e8d0e8;hp=8b53e3ec29c9adb61394482a32dd1ecc610b4a16;hpb=1dfd77341ec56e9d61f2d78cb7ff2b9900385dac;p=ghc-hetmet.git 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