diff options
| author | Clément Pit-Claudel | 2019-11-20 11:38:59 -0500 |
|---|---|---|
| committer | Clément Pit-Claudel | 2019-11-20 11:38:59 -0500 |
| commit | 54d0af9683d2b9f7b76a47219507905a069b343b (patch) | |
| tree | eefe8716d17e333b4e111c1ac67ded5242ae888f /doc/sphinx/addendum | |
| parent | f37db0ff9b59720bb80433dff2995862550aec50 (diff) | |
| parent | 6ffa4300ad8f693fd40c070e0d44b703325d375c (diff) | |
Merge PR #11119: 8.10-backportable part of #10575
Reviewed-by: cpitclaudel
Diffstat (limited to 'doc/sphinx/addendum')
| -rw-r--r-- | doc/sphinx/addendum/type-classes.rst | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/sphinx/addendum/type-classes.rst b/doc/sphinx/addendum/type-classes.rst index 57a2254100..661aa88082 100644 --- a/doc/sphinx/addendum/type-classes.rst +++ b/doc/sphinx/addendum/type-classes.rst @@ -576,6 +576,14 @@ Settings of goals. Setting this option to 1 or 2 turns on the :flag:`Typeclasses Debug` flag; setting this option to 0 turns that flag off. +.. flag:: Typeclasses Axioms Are Instances + + .. deprecated:: 8.10 + + This flag (off by default since 8.8) automatically declares axioms + whose type is a typeclass at declaration time as instances of that + class. + Typeclasses eauto `:=` ~~~~~~~~~~~~~~~~~~~~~~ |