diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-09-11 17:02:58 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-09-11 17:03:18 +0100 |
| commit | 413fa952eff61ada987e965949df8b09aa342b39 (patch) | |
| tree | 7f43616724fcc2b0924c1a3a720cb79d8ddf76ea | |
| parent | 50d1c72588aefd79dcf5c81f56add41d81beb12f (diff) | |
| download | haskell-413fa952eff61ada987e965949df8b09aa342b39.tar.gz | |
Improve documentation of comprehensions
Suggestion from Jeremy Gibbons
| -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 dbf67c6bd2..0295b135b0 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -1888,7 +1888,7 @@ fmap GHC.Base forall a b. (a->b) -> n a -> n b mzip Control.Monad.Zip forall a b. m a -> m b -> m (a,b) </programlisting> The comprehension should typecheck when its desugaring would typecheck, -except that (as discussed in <xref linkend=""/>) +except that (as discussed in <xref linkend="generalised-list-comprehensions"/>) in the "then f" and "then group using f" clauses, when the "by b" qualifier is omitted, argument f should have a polymorphic type. In particular, "then Data.List.sort" and |