projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
The final batch of changes for the new coercion representation
[ghc-hetmet.git]
/
compiler
/
typecheck
/
TcRnTypes.lhs-boot
1
\begin{code}
2
module TcRnTypes where
3
4
import IOEnv
5
6
type TcM a = TcRn a
7
type TcRn a = TcRnIf TcGblEnv TcLclEnv a
8
type TcRnIf a b c = IOEnv (Env a b) c
9
10
data Env a b
11
data TcGblEnv
12
data TcLclEnv
13
\end{code}