summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
61bfd5d)
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.
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