From 9c7e6a2f80e2ea16ff85118decd5135316832729 Mon Sep 17 00:00:00 2001 From: Erlend Hamberg Date: Mon, 9 Aug 2021 19:28:30 +0200 Subject: [PATCH] Fix link to recursive do in ghc user guide https://wiki.haskell.org/index.php?title=Typeclassopedia&diff=next&oldid=63562 --- typeclassopedia.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typeclassopedia.md b/typeclassopedia.md index 9d76406..6dc766b 100644 --- a/typeclassopedia.md +++ b/typeclassopedia.md @@ -854,7 +854,7 @@ There is an alternative way to compose monads, using coproducts, as described by ## `do rec` notation -The `MonadFix` class describes monads which support the special fixpoint operation `mfix :: (a -> m a) -> m a`, which allows the output of monadic computations to be defined via (effectful) recursion. This is [supported in GHC](http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#recursive-do-notation) by a special “recursive do” notation, enabled by the `-XRecursiveDo` flag. Within a `do` block, one may have a nested `rec` block, like so: +The `MonadFix` class describes monads which support the special fixpoint operation `mfix :: (a -> m a) -> m a`, which allows the output of monadic computations to be defined via (effectful) recursion. This is [supported in GHC](https://downloads.haskell.org/~ghc/9.0.1/docs/html/users_guide/exts/recursive_do.html) by a special “recursive do” notation, enabled by the `-XRecursiveDo` flag. Within a `do` block, one may have a nested `rec` block, like so: ```haskell do { x <- foo ; rec { y <- baz