X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcRnTypes.lhs-boot;fp=compiler%2Ftypecheck%2FTcRnTypes.lhs-boot;h=36c43fc496296f652a29d0fc7caa3cfb1d52cc0a;hp=0000000000000000000000000000000000000000;hb=5822cb8d13aa3c05d2b46b4510c13d94b902eb21;hpb=db14f9df7f2f62039af85ac75ac59a4e22d09787

diff --git a/compiler/typecheck/TcRnTypes.lhs-boot b/compiler/typecheck/TcRnTypes.lhs-boot
new file mode 100644
index 0000000..36c43fc
--- /dev/null
+++ b/compiler/typecheck/TcRnTypes.lhs-boot
@@ -0,0 +1,13 @@
+\begin{code}
+module TcRnTypes where
+
+import IOEnv 
+
+type TcM a = TcRn a
+type TcRn a = TcRnIf TcGblEnv TcLclEnv a
+type TcRnIf a b c = IOEnv (Env a b) c
+
+data Env a b
+data TcGblEnv
+data TcLclEnv
+\end{code}