X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FbasicTypes%2FVar.lhs;h=cb0a11bace49bc8800913764a0033fe1c4c18b6e;hb=7cc35327fd1acde88f3474d4e4727f8d8185ff67;hp=0c30ab4172142926d4b16b99bedec9cc906804f8;hpb=6084fb5517da34f65034370a3695e2af3b85ce2b;p=ghc-hetmet.git diff --git a/compiler/basicTypes/Var.lhs b/compiler/basicTypes/Var.lhs index 0c30ab4..cb0a11b 100644 --- a/compiler/basicTypes/Var.lhs +++ b/compiler/basicTypes/Var.lhs @@ -289,7 +289,7 @@ mkTcTyVar name kind details %************************************************************************ \begin{code} -type CoVar = Var -- ^ A coercion variable is simply a type +type CoVar = Var -- A coercion variable is simply a type -- variable of kind @ty1 :=: ty2@. Hence its -- 'varType' is always @PredTy (EqPred t1 t2)@