diff options
-rw-r--r-- | docs/users_guide/exts/control.rst | 4 | ||||
-rw-r--r-- | docs/users_guide/exts/rank_polymorphism.rst | 1 |
2 files changed, 3 insertions, 2 deletions
diff --git a/docs/users_guide/exts/control.rst b/docs/users_guide/exts/control.rst index 1a5431f526..78e9ad04ad 100644 --- a/docs/users_guide/exts/control.rst +++ b/docs/users_guide/exts/control.rst @@ -98,6 +98,7 @@ Language extensions can be controlled (i.e. allowed or not) in two ways: * :extension:`CUSKs` * :extension:`DatatypeContexts` + * :extension:`DeepSubsumption` * :extension:`DoAndIfThenElse` * :extension:`EmptyDataDecls` * :extension:`FieldSelectors` @@ -120,6 +121,7 @@ Language extensions can be controlled (i.e. allowed or not) in two ways: * :extension:`CUSKs` * :extension:`DatatypeContexts` + * :extension:`DeepSubsumption` * :extension:`FieldSelectors` * :extension:`ImplicitPrelude` * :extension:`MonomorphismRestriction` @@ -147,5 +149,3 @@ a large swath of the extensions supported by GHC at once. Enabling these options is the *only* effect of ``-fglasgow-exts``. We are trying to move away from this portmanteau flag, and towards enabling features individually. - - diff --git a/docs/users_guide/exts/rank_polymorphism.rst b/docs/users_guide/exts/rank_polymorphism.rst index 9c9e40012b..a17183b4e8 100644 --- a/docs/users_guide/exts/rank_polymorphism.rst +++ b/docs/users_guide/exts/rank_polymorphism.rst @@ -215,6 +215,7 @@ expanding it to ``\x -> x \`g3a\` "hello"``. :shortdesc: Enable deep subsumption :since: 9.2.4 + :status: Included in :extension:`Haskell98` and :extension:`Haskell2010` Relax the simple subsumption rules, implicitly inserting eta-expansions when matching up function types with different quantification structures. |