fix #5602: (<+>) example in User's Guide
authorRoss Paterson <ross@soi.city.ac.uk>
Fri, 4 Nov 2011 15:40:19 +0000 (15:40 +0000)
committerRoss Paterson <ross@soi.city.ac.uk>
Fri, 4 Nov 2011 15:40:19 +0000 (15:40 +0000)
docs/users_guide/glasgow_exts.xml

index be5d85d..1ea87eb 100644 (file)
@@ -7332,9 +7332,9 @@ The basic idea is that a command defines an arrow from environments to values.
 These environments assign values to the free local variables of the command.
 Thus combinators that produce arrows from arrows
 may also be used to build commands from commands.
-For example, the <literal>ArrowChoice</literal> class includes a combinator
+For example, the <literal>ArrowPlus</literal> class includes a combinator
 <programlisting>
-ArrowChoice a => (&lt;+>) :: a e c -> a e c -> a e c
+ArrowPlus a => (&lt;+>) :: a e c -> a e c -> a e c
 </programlisting>
 so we can use it to build commands:
 <programlisting>