diff options
| author | Hugo Herbelin | 2018-12-12 15:13:05 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2018-12-12 15:13:05 +0100 |
| commit | 2b9b32e9bba480811361b65d34ac12b3998a468e (patch) | |
| tree | 921f6d6fa53651b3a3a64f98a8dee435bf64e535 | |
| parent | dfd4c4a2b50edf894a19cd50c43517e1804eadc9 (diff) | |
Fixing incorrect mention of coercions as being part of the interning phase.
| -rw-r--r-- | doc/sphinx/user-extensions/syntax-extensions.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/user-extensions/syntax-extensions.rst b/doc/sphinx/user-extensions/syntax-extensions.rst index a54da6faf2..47afa5ba0c 100644 --- a/doc/sphinx/user-extensions/syntax-extensions.rst +++ b/doc/sphinx/user-extensions/syntax-extensions.rst @@ -70,7 +70,7 @@ associativity rules have to be given. The right-hand side of a notation is interpreted at the time the notation is given. In particular, disambiguation of constants, :ref:`implicit arguments - <ImplicitArguments>`, :ref:`coercions <Coercions>`, etc. are resolved at the + <ImplicitArguments>` and other notations are resolved at the time of the declaration of the notation. Precedences and associativity |