Comments only: replace ":=:" by "~" (notation for equality predicates)

[ghc-hetmet.git] / compiler / basicTypes / Var.lhs

diff --git a/compiler/basicTypes/Var.lhs b/compiler/basicTypes/Var.lhs
index ee09c3e..4f1ed2e 100644 (file)
--- a/compiler/basicTypes/Var.lhs
+++ b/compiler/basicTypes/Var.lhs
@@ -289,7 +289,7 @@ mkTcTyVar name kind details
 
 \begin{code}
 type CoVar = TyVar -- A coercion variable is simply a type 
-                       -- variable of kind @ty1 :=: ty2@. Hence its
+                       -- variable of kind @ty1 ~ ty2@. Hence its
                        -- 'varType' is always @PredTy (EqPred t1 t2)@
 
 coVarName :: CoVar -> Name