diff options
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/basicTypes/Var.lhs | 4 | ||||
| -rw-r--r-- | compiler/types/TypeRep.lhs | 7 |
2 files changed, 8 insertions, 3 deletions
diff --git a/compiler/basicTypes/Var.lhs b/compiler/basicTypes/Var.lhs index d4bf400ef6..f98fdae9d1 100644 --- a/compiler/basicTypes/Var.lhs +++ b/compiler/basicTypes/Var.lhs @@ -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} %************************************************************************ diff --git a/compiler/types/TypeRep.lhs b/compiler/types/TypeRep.lhs index 544b822f28..b0b5c63c81 100644 --- a/compiler/types/TypeRep.lhs +++ b/compiler/types/TypeRep.lhs @@ -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 |