diff options
author | amesgen <amesgen@amesgen.de> | 2023-04-21 13:38:05 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-04-21 18:03:44 -0400 |
commit | e826cdb213e9b900dfc8f604220d8f3538b98763 (patch) | |
tree | 3fbcd5477b8c3a0eab90e286c274c3dc42b25012 | |
parent | 038bb03157cabf53bd08426cbd86a38486b9752d (diff) | |
download | haskell-e826cdb213e9b900dfc8f604220d8f3538b98763.tar.gz |
User's guide: DeepSubsumption is implied by Haskell{98,2010}
-rw-r--r-- | docs/users_guide/exts/control.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/users_guide/exts/control.rst b/docs/users_guide/exts/control.rst index 1a5431f526..c537fc8a85 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` |