[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