diff options
Diffstat (limited to 'compiler/types/TyCoSubst.hs')
| -rw-r--r-- | compiler/types/TyCoSubst.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/types/TyCoSubst.hs b/compiler/types/TyCoSubst.hs index 8a471eb40d..7248713219 100644 --- a/compiler/types/TyCoSubst.hs +++ b/compiler/types/TyCoSubst.hs @@ -135,7 +135,7 @@ the in-scope set in the substitution is a superset of both: (SIa) The free vars of the range of the substitution (SIb) The free vars of ty minus the domain of the substitution -The same rules apply to other substitutions (notably CoreSubst.Subst) +The same rules apply to other substitutions (notably GHC.Core.Subst.Subst) * Reason for (SIa). Consider substTy [a :-> Maybe b] (forall b. b->a) |