[project @ 2001-10-31 16:17:59 by simonpj]

Add hi-boot files for the new knot

diff --git a/ghc/compiler/typecheck/TcType.hi-boot b/ghc/compiler/typecheck/TcType.hi-boot
new file mode 100644 (file)
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 (file)
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 (file)
--- 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.
 
 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
 
 \begin{code}
 data TyVarDetails