From bc7dff5c56d6eed30130b8fa535c8771d83ba36c Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Tue, 17 Nov 2015 17:05:06 +0000 Subject: [PATCH] doc/syntax.tex: Settle on rather than . The document used both rather randomly. The former is shorter and less pointlessly abstract. --- doc/syntax.tex | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/doc/syntax.tex b/doc/syntax.tex index fa3e98f..f89e9c6 100644 --- a/doc/syntax.tex +++ b/doc/syntax.tex @@ -602,7 +602,7 @@ These items are discussed on the following sections. A @ defines one or more slots. All instances of the class and any subclass will contain these slot, with the names and types given by the @ and the @. Slot declarators may not -contain qualified identifiers. +contain dotted names. It is not possible to declare a slot with function type: such an item is interpreted as being a @ or @. Pointers to @@ -631,7 +631,7 @@ class Example : Super { \begin{grammar} ::= @["class"@] @[@] - ::= "=" + ::= "=" :: "{" "}" | \end{grammar} @@ -640,9 +640,9 @@ An @ provides an initial value for one or more slots. If prefixed by @"class", then the initial values are for class slots (i.e., slots of the class object itself); otherwise they are for instance slots. -The first component of the @ must be the nickname of -one of the class's superclasses (including itself); the second must be the -name of a slot defined in that superclass. +The first component of the @ must be the nickname of one of the +class's superclasses (including itself); the second must be the name of a +slot defined in that superclass. The initializer has one of two forms. \begin{itemize} -- 2.11.0