Precedence of (:)

haskell98-bugs.html

@@ -135,6 +135,14 @@ the section, after "indistinguishable" add "by a Haskell program".
 Remove the paragraph starting "Qualified names may only ...", and the following example, and the
 concluding paragraph starting "incorrectly uses a qualifier". (This is all covered in 2.4 and 5.5.1.)
 
+<p><li> [Late Sept 2001] <strong>Page 18, Section 3.7, Lists.</strong>
+After the sentence starting "The constructor ":" is reserved solely for list construction...", 
+add the new sentence:
+<p>
+"It is a right-associative operator, with precedence level 5 (Section 4.4.2)."
+<p>
+(Otherwise this information is found only in the Prelude.)
+
 <p><li> [July 2001] <strong>Page 20, Section 3.10, Arithmetic sequences.</strong>
 In the second paragraph, in the sentence "For the type <tt>Integer</tt>,
 arithmetic sequences have the following meaning...", replace "type <tt>Integer</tt>"

report/exps.verb

 %
-% $Header: /home/cvs/root/haskell-report/report/exps.verb,v 1.10 2001/09/24 14:40:47 simonpj Exp $
+% $Header: /home/cvs/root/haskell-report/report/exps.verb,v 1.11 2001/09/24 16:29:41 simonpj Exp $
 %
 %*section 3
 %**<title>The Haskell 98 Report: Expressions</title>
@@ -510,6 +510,7 @@ type of the overall expression is @[@"t"@]@ (see Section~\ref{type-syntax}).
 }
 The constructor ``@:@'' is reserved solely for list construction; like
 @[]@, it is considered part of the language syntax, and cannot be hidden or redefined.
+It is a right-associative operator, with precedence level 5 (Section~\ref{fixity}).
 
 \subsection{Tuples}
 \label{tuples}