Commit 68a5a784 authored by cactus's avatar cactus
Browse files

Update syntax of pattern synonym type signature in documentation (fixes #9967)

parent 4425ab99
......@@ -1088,7 +1088,8 @@ would bring into scope the data constructor <literal>Just</literal> from the
<replaceable>CReq</replaceable> are type contexts, and
<replaceable>t1</replaceable>, <replaceable>t2</replaceable>, ...,
<replaceable>tN</replaceable> and <replaceable>t</replaceable> are
types.
types. If <replaceable>CReq</replaceable> is empty
(<literal>()</literal>) it can be omitted.
</para>
<para>
......@@ -1118,7 +1119,7 @@ the inferred pattern type of <literal>ExNumPat</literal> is
</para>
<programlisting>
pattern (Show b) => ExNumPat b :: (Num a, Eq a) => T a
pattern ExNumPat :: (Show b) => (Num a, Eq a) => b -> T a
</programlisting>
<para>
......
Markdown is supported
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