Update user guide, fixing #10772
authorRichard Eisenberg <eir@cis.upenn.edu>
Sat, 19 Sep 2015 18:45:28 +0000 (14:45 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Mon, 21 Sep 2015 01:39:13 +0000 (21:39 -0400)
docs/users_guide/glasgow_exts.xml

index 119de6b..7aaf1a8 100644 (file)
@@ -3017,8 +3017,11 @@ GHC allows type constructors, classes, and type variables to be operators, and
 to be written infix, very much like expressions.  More specifically:
 <itemizedlist>
 <listitem><para>
-  A type constructor or class can be an operator, beginning with a colon; e.g. <literal>:*:</literal>.
-  The lexical syntax is the same as that for data constructors.
+  A type constructor or class can be any non-reserved operator.
+  Symbols used in types are always like capitalized identifiers; they
+  are never variables. Note that this is different from the lexical
+  syntax of data constructors, which are required to begin with a
+  <literal>:</literal>.
   </para></listitem>
 <listitem><para>
   Data type and type-synonym declarations can be written infix, parenthesised