[commit: ghc] master: Comments only (2b5929c)
git at git.haskell.org
git at git.haskell.org
Thu Mar 24 17:29:37 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/2b5929cc4390d03de2c4ae950d7e2a69b5065f2a/ghc
>---------------------------------------------------------------
commit 2b5929cc4390d03de2c4ae950d7e2a69b5065f2a
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Thu Mar 24 17:21:56 2016 +0000
Comments only
>---------------------------------------------------------------
2b5929cc4390d03de2c4ae950d7e2a69b5065f2a
compiler/types/Coercion.hs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/compiler/types/Coercion.hs b/compiler/types/Coercion.hs
index a2b93bd..64e2c5b 100644
--- a/compiler/types/Coercion.hs
+++ b/compiler/types/Coercion.hs
@@ -133,7 +133,7 @@ import Data.Function ( on )
-- The coercion arguments always *precisely* saturate
-- arity of (that branch of) the CoAxiom. If there are
-- any left over, we use AppCo. See
- -- See [Coercion axioms applied to coercions]
+ -- See [Coercion axioms applied to coercions] in TyCoRep
\subsection{Coercion variables}
%* *
More information about the ghc-commits
mailing list