From 413fa952eff61ada987e965949df8b09aa342b39 Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Fri, 11 Sep 2015 17:02:58 +0100 Subject: Improve documentation of comprehensions Suggestion from Jeremy Gibbons --- docs/users_guide/glasgow_exts.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs') 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) The comprehension should typecheck when its desugaring would typecheck, -except that (as discussed in ) +except that (as discussed in ) 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 -- cgit v1.2.1