X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcRnMonad.lhs;h=6a7f4fb3d5cfc93af91cbfe873c728c03d95ae14;hb=654a1ba16e47d3ddabeb74b809ee6097c0770d35;hp=b560566292a1b9acfcc983e018c28f75181c1f81;hpb=5ad61e1470db6dbc8279569c5ad1cc093f753ac0;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcRnMonad.lhs b/compiler/typecheck/TcRnMonad.lhs index b560566..6a7f4fb 100644 --- a/compiler/typecheck/TcRnMonad.lhs +++ b/compiler/typecheck/TcRnMonad.lhs @@ -14,16 +14,12 @@ module TcRnMonad( import TcRnTypes -- Re-export all import IOEnv -- Re-export all -#if defined(GHCI) && defined(BREAKPOINT) +#if defined(GHCI) import TypeRep -import Var import IdInfo -import OccName -import SrcLoc import TysWiredIn import PrelNames -import NameEnv -import TcEnv +import {-#SOURCE#-} TcEnv #endif import HsSyn hiding (LIE) @@ -72,6 +68,7 @@ ioToTcRn = ioToIOEnv \end{code} \begin{code} + initTc :: HscEnv -> HscSource -> Module @@ -163,7 +160,7 @@ initTcPrintErrors env mod todo = do \begin{code} addBreakpointBindings :: TcM a -> TcM a addBreakpointBindings thing_inside -#if defined(GHCI) && defined(BREAKPOINT) +#if defined(GHCI) = do { unique <- newUnique ; let { var = mkInternalName unique (mkOccName tvName "a") noSrcLoc; tyvar = mkTyVar var liftedTypeKind; @@ -175,10 +172,10 @@ addBreakpointBindings thing_inside (FunTy (TyVarTy tyvar) (TyVarTy tyvar))))))); breakpointJumpId - = mkGlobalId VanillaGlobal breakpointJumpName + = Id.mkGlobalId VanillaGlobal breakpointJumpName (basicType id) vanillaIdInfo; breakpointCondJumpId - = mkGlobalId VanillaGlobal breakpointCondJumpName + = Id.mkGlobalId VanillaGlobal breakpointCondJumpName (basicType (FunTy boolTy)) vanillaIdInfo } ; tcExtendIdEnv [breakpointJumpId, breakpointCondJumpId] thing_inside}