From 317a1fd9a021218f7ef4fbd35783186ab7329901 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Wed, 31 Oct 2001 16:17:59 +0000
Subject: [PATCH] [project @ 2001-10-31 16:17:59 by simonpj] Add hi-boot files
 for the new knot

---
 ghc/compiler/typecheck/TcType.hi-boot   |    5 +++++
 ghc/compiler/typecheck/TcType.hi-boot-5 |    3 +++
 ghc/compiler/typecheck/TcType.lhs       |    2 ++
 3 files changed, 10 insertions(+)
 create mode 100644 ghc/compiler/typecheck/TcType.hi-boot
 create mode 100644 ghc/compiler/typecheck/TcType.hi-boot-5

diff --git a/ghc/compiler/typecheck/TcType.hi-boot b/ghc/compiler/typecheck/TcType.hi-boot
new file mode 100644
index 0000000..fece214
--- /dev/null
+++ b/ghc/compiler/typecheck/TcType.hi-boot
@@ -0,0 +1,5 @@
+_interface_ TcType 1
+_exports_
+TcType TyVarDetails;
+_declarations_
+1 data TyVarDetails;
diff --git a/ghc/compiler/typecheck/TcType.hi-boot-5 b/ghc/compiler/typecheck/TcType.hi-boot-5
new file mode 100644
index 0000000..23b3a9c
--- /dev/null
+++ b/ghc/compiler/typecheck/TcType.hi-boot-5
@@ -0,0 +1,3 @@
+__interface TcType 1 0 where
+__export TcType TyVarDetails;
+1 data TyVarDetails ;
diff --git a/ghc/compiler/typecheck/TcType.lhs b/ghc/compiler/typecheck/TcType.lhs
index dbf52a6..c7af9ee 100644
--- a/ghc/compiler/typecheck/TcType.lhs
+++ b/ghc/compiler/typecheck/TcType.lhs
@@ -177,6 +177,8 @@ type TcKind         = TcType
 
 TyVarDetails gives extra info about type variables, used during type
 checking.  It's attached to mutable type variables only.
+It's knot-tied back to Var.lhs.  There is no reason in principle
+why Var.lhs shouldn't actually have the definition, but it "belongs" here.
 
 \begin{code}
 data TyVarDetails
-- 
1.7.10.4