Fix typo in User's Guide
authorPedro Rodrigues <pedro@onimail.net>
Tue, 5 Nov 2013 10:57:29 +0000 (10:57 +0000)
committerAustin Seipp <austin@well-typed.com>
Thu, 7 Nov 2013 13:56:23 +0000 (07:56 -0600)
Signed-off-by: Austin Seipp <austin@well-typed.com>
docs/users_guide/glasgow_exts.xml

index 11f45f6..5c4b091 100644 (file)
@@ -8675,7 +8675,7 @@ proc (x,y) ->
 which is translated to
 <screen>
 arr (\ (x,y) -> if f x y then Left x else Right y) >>>
-        (arr (\x -> x+1) >>> f) ||| (arr (\y -> y+2) >>> g)
+        (arr (\x -> x+1) >>> g) ||| (arr (\y -> y+2) >>> h)
 </screen>
 Since the translation uses <function>|||</function>,
 the arrow concerned must belong to the <literal>ArrowChoice</literal> class.