Commit bda859ad authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.

Comments only

Mon Sep 18 16:43:36 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Comments only
  Sun Aug  6 17:18:44 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Comments only
    Tue Jul 25 12:06:00 EDT 2006  simonpj@microsoft.com
parent 0b86bc9b
......@@ -203,13 +203,15 @@ mkTcTyVar name kind details
}
mkWildCoVar :: Kind -> TyVar
-- A type variable that is never referred to,
-- so its unique doesn't matter
mkWildCoVar kind
= TyVar { varName = mkSysTvName wild_uniq FSLIT("co_wild"),
realUnique = _ILIT(1),
tyVarKind = kind,
isCoercionVar = True }
where
wild_uniq = (mkBuiltinUnique 1)
wild_uniq = mkBuiltinUnique 1
\end{code}
%************************************************************************
......
......@@ -192,8 +192,11 @@ data Type
TyVar
Type
| PredTy -- A high level source type
PredType -- ...can be expanded to a representation type...
| PredTy -- The type of evidence for a type predictate
PredType -- Can be expanded to a representation type.
-- NB: A PredTy (EqPred _ _) can appear only as the kind
-- of a coercion variable; never as the argument or result
-- of a FunTy (unlike ClassP, IParam)
| NoteTy -- A type with a note attached
TyNote
......
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