X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FbasicTypes%2FVar.lhs;h=f98fdae9d1d755374d63dfc03507628843d1c015;hp=d4bf400ef6cced13d2dc15d7d94f7bc52e26ed16;hb=bda859adc28cc7f9b5292fb7f93a0d8fc763ad08;hpb=0b86bc9b022a5965d2b35f143ff4b919f784e676 diff --git a/compiler/basicTypes/Var.lhs b/compiler/basicTypes/Var.lhs index d4bf400..f98fdae 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} %************************************************************************