diff options
| -rw-r--r-- | ghc/compiler/typecheck/Inst.lhs | 2 | ||||
| -rw-r--r-- | ghc/compiler/typecheck/TcBinds.lhs | 1 |
2 files changed, 1 insertions, 2 deletions
diff --git a/ghc/compiler/typecheck/Inst.lhs b/ghc/compiler/typecheck/Inst.lhs index 7ccc480eb1..d4565d01d1 100644 --- a/ghc/compiler/typecheck/Inst.lhs +++ b/ghc/compiler/typecheck/Inst.lhs @@ -398,7 +398,7 @@ instFunDeps orig theta instFunDepsOfTheta theta = let ifd (Class clas tys) = instantiateFdClassTys clas tys - ifd _ = [] + ifd (IParam n ty) = [([], [ty])] in concat (map ifd theta) newMethodWithGivenTy orig id tys theta tau diff --git a/ghc/compiler/typecheck/TcBinds.lhs b/ghc/compiler/typecheck/TcBinds.lhs index ad10729e7f..3e28615ed8 100644 --- a/ghc/compiler/typecheck/TcBinds.lhs +++ b/ghc/compiler/typecheck/TcBinds.lhs @@ -554,7 +554,6 @@ getTyVarsToGen is_unrestricted mono_id_tys lie let tvFundep = tyVarFunDep fds' extended_tyvars = oclose tvFundep body_tyvars in - -- pprTrace "gTVTG" (ppr (lie, body_tyvars, extended_tyvars)) $ returnNF_Tc (emptyVarSet, extended_tyvars) else -- This recover and discard-errs is to avoid duplicate error |