Comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 15 Sep 2016 16:07:12 +0000 (17:07 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 15 Sep 2016 16:07:12 +0000 (17:07 +0100)
compiler/types/TyCoRep.hs

index 8302af9..d662129 100644 (file)
@@ -1683,7 +1683,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: