diff options
| author | Pedro Rodrigues <pedro@onimail.net> | 2013-11-05 10:57:29 +0000 |
|---|---|---|
| committer | Austin Seipp <austin@well-typed.com> | 2013-11-07 07:56:23 -0600 |
| commit | f9b3ff49fd0bf78930be7c0d07562e933c95cd9e (patch) | |
| tree | f510432a3254298bd5f7631ec07211787e3e1396 | |
| parent | fa8b20af798c85d4a0b6faf266c67d0c9ab178a9 (diff) | |
| download | haskell-f9b3ff49fd0bf78930be7c0d07562e933c95cd9e.tar.gz | |
Fix typo in User's Guide
Signed-off-by: Austin Seipp <austin@well-typed.com>
| -rw-r--r-- | 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 11f45f69e8..5c4b091f30 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -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. |