... | ... | @@ -52,8 +52,6 @@ data Var |
|
|
= TyVar {
|
|
|
varName :: !Name,
|
|
|
realUnique :: FastInt, -- Key for fast comparison
|
|
|
-- Identical to the Unique in the name,
|
|
|
-- cached here for speed
|
|
|
tyVarKind :: Kind,
|
|
|
isCoercionVar :: Bool }
|
|
|
|
... | ... | @@ -78,6 +76,12 @@ data Var |
|
|
lclDetails :: LocalIdDetails }
|
|
|
```
|
|
|
|
|
|
|
|
|
Every `Var` has fields `varName::Name` and a `realUnique::FastInt`. The latter is identical to the `Unique` in the former, but is cached in the `Var` for fast comparison.
|
|
|
|
|
|
|
|
|
Here are some per-flavour notes:
|
|
|
|
|
|
<table><tr><th>`TyVar`</th>
|
|
|
<td>is self explanatory.
|
|
|
</td></tr></table>
|
... | ... | |