summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcType.hs-boot
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/typecheck/TcType.hs-boot')
-rw-r--r--compiler/typecheck/TcType.hs-boot4
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/typecheck/TcType.hs-boot b/compiler/typecheck/TcType.hs-boot
index 2bc14735f1..2e2bcb58b8 100644
--- a/compiler/typecheck/TcType.hs-boot
+++ b/compiler/typecheck/TcType.hs-boot
@@ -1,8 +1,12 @@
module TcType where
import Outputable( SDoc )
+import {-# SOURCE #-} TyCoRep( Type )
+import {-# SOURCE #-} TyCon (TyCon)
+import Data.Maybe (Maybe)
data MetaDetails
data TcTyVarDetails
pprTcTyVarDetails :: TcTyVarDetails -> SDoc
vanillaSkolemTv :: TcTyVarDetails
+tcSplitIOType_maybe :: Type -> Maybe (TyCon, Type)