[PATCH] Fix typo in User's Guide
Pedro Rodrigues
pedro at onimail.net
Tue Nov 5 11:27:08 UTC 2013
---
docs/users_guide/glasgow_exts.xml | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index ce07806..d61ff7a 100644
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -8673,7 +8673,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.
--
1.7.4.1
More information about the ghc-devs
mailing list