Type checking for type synonym families

[ghc-hetmet.git] / compiler / typecheck / TcRnTypes.lhs-boot

diff --git a/compiler/typecheck/TcRnTypes.lhs-boot b/compiler/typecheck/TcRnTypes.lhs-boot
new file mode 100644 (file)
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}