Commit 59adbe52 authored by simonpj's avatar simonpj
Browse files

[project @ 2003-06-09 11:22:14 by simonpj]

Remove duplicate infix type-con section (thanks to Ross P)
parent 4e4d6f3b
......@@ -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">
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment