From 2b9b32e9bba480811361b65d34ac12b3998a468e Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Wed, 12 Dec 2018 15:13:05 +0100 Subject: Fixing incorrect mention of coercions as being part of the interning phase. --- doc/sphinx/user-extensions/syntax-extensions.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 - `, :ref:`coercions `, etc. are resolved at the + ` and other notations are resolved at the time of the declaration of the notation. Precedences and associativity -- cgit v1.2.3