diff options
| author | Jose Pedro Magalhaes <jpm@cs.uu.nl> | 2011-11-11 09:07:11 +0000 |
|---|---|---|
| committer | Jose Pedro Magalhaes <jpm@cs.uu.nl> | 2011-11-11 09:09:23 +0000 |
| commit | 09015be8d580bc33f5f1960c8e31d00ba7a459a1 (patch) | |
| tree | c7efea03f85327c35d875257679a73520408c3e9 /compiler/ghci/RtClosureInspect.hs | |
| parent | fd742437b9e5933da145aea1e80766990c649a15 (diff) | |
| download | haskell-09015be8d580bc33f5f1960c8e31d00ba7a459a1.tar.gz | |
New kind-polymorphic core
This big patch implements a kind-polymorphic core for GHC. The current
implementation focuses on making sure that all kind-monomorphic programs still
work in the new core; it is not yet guaranteed that kind-polymorphic programs
(using the new -XPolyKinds flag) will work.
For more information, see http://haskell.org/haskellwiki/GHC/Kinds
Diffstat (limited to 'compiler/ghci/RtClosureInspect.hs')
| -rw-r--r-- | compiler/ghci/RtClosureInspect.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/ghci/RtClosureInspect.hs b/compiler/ghci/RtClosureInspect.hs index 84d0acf316..f521ee6b06 100644 --- a/compiler/ghci/RtClosureInspect.hs +++ b/compiler/ghci/RtClosureInspect.hs @@ -45,6 +45,7 @@ import Var import TcRnMonad import TcType import TcMType +import TcHsSyn ( mkZonkTcTyVar ) import TcUnify import TcEnv @@ -1130,7 +1131,7 @@ zonkTerm = foldTermM (TermFoldM zonkRttiType :: TcType -> TcM Type -- Zonk the type, replacing any unbound Meta tyvars -- by skolems, safely out of Meta-tyvar-land -zonkRttiType = zonkType (mkZonkTcTyVar zonk_unbound_meta) +zonkRttiType = zonkType (mkZonkTcTyVar zonk_unbound_meta mkTyVarTy) where zonk_unbound_meta tv = ASSERT( isTcTyVar tv ) |