[commit: ghc] wip/spj-tc-branch: Comments only (4f1edfd)

git at git.haskell.org git at git.haskell.org
Wed Aug 31 16:44:23 UTC 2016


Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/spj-tc-branch
Link       : http://ghc.haskell.org/trac/ghc/changeset/4f1edfd6b960b14579309f22639ead3d14175852/ghc

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

commit 4f1edfd6b960b14579309f22639ead3d14175852
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Aug 31 17:42:56 2016 +0100

    Comments only


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

4f1edfd6b960b14579309f22639ead3d14175852
 compiler/types/TyCoRep.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs
index cd221a2..88352e9 100644
--- a/compiler/types/TyCoRep.hs
+++ b/compiler/types/TyCoRep.hs
@@ -1686,7 +1686,7 @@ the range of the TvSubstEnv should *never* include a type headed with
 CoercionTy.
 
 Note [The substitution invariant]
-~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 When calling (substTy subst ty) it should be the case that
 the in-scope set in the substitution is a superset of both:
 



More information about the ghc-commits mailing list