Commit 413fa952 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Improve documentation of comprehensions

Suggestion from Jeremy Gibbons
parent 50d1c725
......@@ -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
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment