diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-09-15 17:07:12 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-09-15 17:07:12 +0100 |
| commit | a0012992002d7065ff7a667cf05aa76f25568ee3 (patch) | |
| tree | 3cc613e709123a7f72139b05954cde123b9bbf3e | |
| parent | 626db8f82e734e48eef5ce7676a5233f98fe7145 (diff) | |
| download | haskell-a0012992002d7065ff7a667cf05aa76f25568ee3.tar.gz | |
Comments only
| -rw-r--r-- | compiler/types/TyCoRep.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs index 8302af9019..d66212997d 100644 --- a/compiler/types/TyCoRep.hs +++ b/compiler/types/TyCoRep.hs @@ -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: |