From: simonpj <unknown>
Date: Mon, 9 Jun 2003 11:22:14 +0000 (+0000)
Subject: [project @ 2003-06-09 11:22:14 by simonpj]
X-Git-Tag: Approx_11550_changesets_converted~794
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=59adbe524f9f777f3ebcbf86e5b3d1f3b4781127

[project @ 2003-06-09 11:22:14 by simonpj]
Remove duplicate infix type-con section (thanks to Ross P)
---

diff --git a/ghc/docs/users_guide/glasgow_exts.sgml b/ghc/docs/users_guide/glasgow_exts.sgml
index ddd522f..ed79f5b 100644
--- a/ghc/docs/users_guide/glasgow_exts.sgml
+++ b/ghc/docs/users_guide/glasgow_exts.sgml
@@ -635,32 +635,6 @@ This name is not supported by GHC.
 </sect2>
 
 
-<sect2> <title> Infix type constructors </title>
-
-<para>GHC supports infix type constructors, much as it supports infix data constructors.  For example:
-<programlisting>
-  infixl 5 :+:
-
-  data a :+: b = Inl a | Inr b
-
-  f :: a `Either` b -> a :+: b
-  f (Left x) = Inl x
-</programlisting>
-</para>
-<para>The lexical 
-syntax of an infix type constructor is just like that of an infix data constructor: either
-it's an operator beginning with ":", or it is an ordinary (alphabetic) type constructor enclosed in
-back-quotes.</para>
-
-<para>
-When you give a fixity declaration, the fixity applies to both the data constructor and the
-type constructor with the specified name.  You cannot give different fixities to the type constructor T
-and the data constructor T.
-</para>
-
-
-</sect2>
-
    <!-- ===================== PARALLEL LIST COMPREHENSIONS ===================  -->
 
   <sect2 id="parallel-list-comprehensions">