diff options
| author | Trevis Elser <trevis@flipstone.com> | 2022-08-20 20:35:15 -0400 |
|---|---|---|
| committer | Trevis Elser <trevis@flipstone.com> | 2022-08-20 20:35:15 -0400 |
| commit | e28459ab83e3693719740984bcf3595db1ee7788 (patch) | |
| tree | e35e276e4634a094a78284397ea5e115972cec46 | |
| parent | ab3e0f5a02f6a1b63407e08bb97a228a76c27abd (diff) | |
| download | haskell-wip/telser/doc-deepsubsumption-language-variant.tar.gz | |
users-guide: Reference DeepSubsumption in appropriate language variantswip/telser/doc-deepsubsumption-language-variant
| -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. |