Improve documentation of comprehensions
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 11 Sep 2015 16:02:58 +0000 (17:02 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 11 Sep 2015 16:03:18 +0000 (17:03 +0100)
Suggestion from Jeremy Gibbons

docs/users_guide/glasgow_exts.xml

index dbf67c6..0295b13 100644 (file)
@@ -1888,7 +1888,7 @@ fmap         GHC.Base               forall a b. (a-&gt;b) -&gt; n a -&gt; n b
 mzip         Control.Monad.Zip      forall a b. m a -&gt; m b -&gt; m (a,b)
 </programlisting>
 The comprehension should typecheck when its desugaring would typecheck,
 mzip         Control.Monad.Zip      forall a b. m a -&gt; m b -&gt; 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
 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