diff options
-rw-r--r-- | docs/users_guide/exts/rank_polymorphism.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/exts/rank_polymorphism.rst b/docs/users_guide/exts/rank_polymorphism.rst index 8e9f55dd5b..75ce0a06f9 100644 --- a/docs/users_guide/exts/rank_polymorphism.rst +++ b/docs/users_guide/exts/rank_polymorphism.rst @@ -200,7 +200,7 @@ A similar phenomenon occurs for operator sections. For example, expanding it to ``\x -> x \`g3a\` "hello"``. Historical note. Earlier versions of GHC allowed these now-rejected applications, by inserting -automatic eta-expansions, as described in Section 4.6 of `Practical type inference for arbitrary-aank types <https://www.microsoft.com/en-us/research/publication/practical-type-inference-for-arbitrary-rank-types/>`__, where it is +automatic eta-expansions, as described in Section 4.6 of `Practical type inference for arbitrary-rank types <https://www.microsoft.com/en-us/research/publication/practical-type-inference-for-arbitrary-rank-types/>`__, where it is called "deep skolemisation". But these automatic eta-expansions may silently change the semantics of the user's program, and deep skolemisation was removed from the language by |