diff options
| author | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2006-09-20 17:45:25 +0000 |
|---|---|---|
| committer | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2006-09-20 17:45:25 +0000 |
| commit | bda859adc28cc7f9b5292fb7f93a0d8fc763ad08 (patch) | |
| tree | a74c960aa03a2cfe77ee733201b282b3c379e0f3 /compiler | |
| parent | 0b86bc9b022a5965d2b35f143ff4b919f784e676 (diff) | |
| download | haskell-bda859adc28cc7f9b5292fb7f93a0d8fc763ad08.tar.gz | |
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
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 |