X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcRules.lhs;h=7aefcac53cf3efaff9fa0b2db8fbdfacbd7bb62a;hb=53ce311e219dcccf4d205f573c16e23a5c44265e;hp=e0aa172c92fa4b94c943b9f1ec68dec9744100a2;hpb=615a5546467c7864c765adf40706f23be3fa28b6;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcRules.lhs b/ghc/compiler/typecheck/TcRules.lhs index e0aa172..7aefcac 100644 --- a/ghc/compiler/typecheck/TcRules.lhs +++ b/ghc/compiler/typecheck/TcRules.lhs @@ -18,7 +18,7 @@ import TcSimplify ( tcSimplifyToDicts, tcSimplifyInferCheck ) import TcMType ( newTyVarTy ) import TcType ( tyVarsOfTypes, openTypeKind ) import TcIfaceSig ( tcCoreExpr, tcCoreLamBndrs, tcVar, tcDelay ) -import TcMonoType ( kcHsSigTypes, tcHsSigType, UserTypeCtxt(..), tcAddScopedTyVars ) +import TcMonoType ( tcHsSigType, UserTypeCtxt(..), tcAddScopedTyVars ) import TcExpr ( tcExpr ) import TcEnv ( RecTcEnv, tcExtendLocalValEnv, isLocalThing ) import Rules ( extendRuleBase )