diff options
Diffstat (limited to 'docs/users_guide/exts/control.rst')
| -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` |