Add hi-boot files for the new knot
--- /dev/null
+_interface_ TcType 1
+_exports_
+TcType TyVarDetails;
+_declarations_
+1 data TyVarDetails;
--- /dev/null
+__interface TcType 1 0 where
+__export TcType TyVarDetails;
+1 data TyVarDetails ;
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