projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2001-08-14 16:29:56 by simonmar]
[ghc-hetmet.git]
/
ghc
/
compiler
/
prelude
/
TysPrim.lhs
diff --git
a/ghc/compiler/prelude/TysPrim.lhs
b/ghc/compiler/prelude/TysPrim.lhs
index
7c16614
..
f36f212
100644
(file)
--- a/
ghc/compiler/prelude/TysPrim.lhs
+++ b/
ghc/compiler/prelude/TysPrim.lhs
@@
-49,7
+49,7
@@
module TysPrim(
import Var ( TyVar, mkSysTyVar )
import Name ( Name )
import PrimRep ( PrimRep(..) )
import Var ( TyVar, mkSysTyVar )
import Name ( Name )
import PrimRep ( PrimRep(..) )
-import TyCon ( TyCon, ArgVrcs, mkPrimTyCon )
+import TyCon ( TyCon, ArgVrcs, mkPrimTyCon, mkLiftedPrimTyCon )
import Type ( mkTyConApp, mkTyConTy, mkTyVarTys, mkTyVarTy,
unliftedTypeKind, liftedTypeKind, openTypeKind, mkArrowKinds
)
import Type ( mkTyConApp, mkTyConTy, mkTyVarTys, mkTyVarTy,
unliftedTypeKind, liftedTypeKind, openTypeKind, mkArrowKinds
)
@@
-208,7
+208,7
@@
RealWorld is deeply magical. It is *primitive*, but it is not
RealWorld; it's only used in the type system, to parameterise State#.
\begin{code}
RealWorld; it's only used in the type system, to parameterise State#.
\begin{code}
-realWorldTyCon = mkPrimTyCon realWorldTyConName liftedTypeKind 0 [] PrimPtrRep
+realWorldTyCon = mkLiftedPrimTyCon realWorldTyConName liftedTypeKind 0 [] PrimPtrRep
realWorldTy = mkTyConTy realWorldTyCon
realWorldStatePrimTy = mkStatePrimTy realWorldTy -- State# RealWorld
\end{code}
realWorldTy = mkTyConTy realWorldTyCon
realWorldStatePrimTy = mkStatePrimTy realWorldTy -- State# RealWorld
\end{code}