Commit 317a1fd9 authored by simonpj's avatar simonpj
Browse files

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

Add hi-boot files for the new knot
parent 61bfd5dd
_interface_ TcType 1
_exports_
TcType TyVarDetails;
_declarations_
1 data TyVarDetails;
__interface TcType 1 0 where
__export TcType TyVarDetails;
1 data TyVarDetails ;
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment