X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcInstDcls.lhs;h=0be77242e3e7f6bc29beabc1d8e319b96c8e42cb;hb=02c48cf14cd8c7771dfb41089412f35e1eaeedd5;hp=10bfed75a84563f9a73d428ba9474b3b170714b7;hpb=f4510d27c5883fe7e8570f4dd49d45a8b0122f2c;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcInstDcls.lhs b/compiler/typecheck/TcInstDcls.lhs index 10bfed7..0be7724 100644 --- a/compiler/typecheck/TcInstDcls.lhs +++ b/compiler/typecheck/TcInstDcls.lhs @@ -221,7 +221,7 @@ addFamInsts tycons thing_inside mkLocalFamInstTyThing (ATyCon tycon) = mkLocalFamInst tycon mkLocalFamInstTyThing tything = pprPanic "TcInstDcls.addFamInsts" (ppr tything) -\end{code} +\end{code} \begin{code} tcLocalInstDecl1 :: LInstDecl Name @@ -611,7 +611,7 @@ tcInstDecl2 (InstInfo { iSpec = ispec, iBinds = VanillaInst monobinds uprags }) newDictBndrs sc_loc sc_theta' `thenM` \ sc_dicts -> getInstLoc origin `thenM` \ inst_loc -> newDictBndrs inst_loc dfun_theta' `thenM` \ dfun_arg_dicts -> - newDictBndr inst_loc (mkClassPred clas inst_tys') `thenM` \ this_dict -> + newDictBndr inst_loc (mkClassPred clas inst_tys') `thenM` \ this_dict -> -- Default-method Ids may be mentioned in synthesised RHSs, -- but they'll already be in the environment.