1 files changed, 21 insertions, 0 deletions
diff --git a/compiler/typecheck/TcExpr.hi-boot-6 b/compiler/typecheck/TcExpr.hi-boot-6
new file mode 100644
index 0000000000..5a0fa8cd2c
--- /dev/null
+++ b/compiler/typecheck/TcExpr.hi-boot-6
@@ -0,0 +1,21 @@
+module TcExpr where
+
+tcPolyExpr :: 
+	  HsExpr.LHsExpr Name.Name
+       -> TcType.BoxySigmaType
+       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
+
+tcMonoExpr :: 
+  	  HsExpr.LHsExpr Name.Name
+       -> TcType.BoxyRhoType
+       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
+
+tcInferRho :: 
+  	  HsExpr.LHsExpr Name.Name
+       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id, TcType.TcType)
+
+tcSyntaxOp :: 
+	  TcRnTypes.InstOrigin
+       -> HsExpr.HsExpr Name.Name
+       -> TcType.TcType
+       -> TcRnTypes.TcM (HsExpr.HsExpr Var.Id)