[commit: ghc] master: Comments only: EqVar vs Covar (22b317b)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/22b317b1812cbb35d86872d7607de034bcf66fb2

>---------------------------------------------------------------

commit 22b317b1812cbb35d86872d7607de034bcf66fb2
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Dec 5 04:01:36 2011 +0000

    Comments only: EqVar vs Covar

>---------------------------------------------------------------

 compiler/basicTypes/Var.lhs |    9 ++++-----
 1 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/compiler/basicTypes/Var.lhs b/compiler/basicTypes/Var.lhs
index 8e31fef..d7caf2a 100644
--- a/compiler/basicTypes/Var.lhs
+++ b/compiler/basicTypes/Var.lhs
@@ -122,14 +122,13 @@ Note [Evidence: EvIds and CoVars]
 * An EvId (evidence Id) is a *boxed*, term-level evidence variable 
   (dictionary, implicit parameter, or equality).
 
-* DictId, IpId, and EqVar are synonyms when we know what kind of
-  evidence we are talking about.  For example, an EqVar has type (t1 ~ t2).
-
 * A CoVar (coercion variable) is an *unboxed* term-level evidence variable
   of type (t1 ~# t2).  So it's the unboxed version of an EqVar.
 
-* Only CoVars can occur in Coercions (but NB the LCoercion hack; see
-  Note [LCoercions] in Coercion).
+* Only CoVars can occur in Coercions, EqVars appear in TcCoercions.
+
+* DictId, IpId, and EqVar are synonyms when we know what kind of
+  evidence we are talking about.  For example, an EqVar has type (t1 ~ t2).
 
 Note [Kind and type variables]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~