[Haskell-cafe] Re: Remember the future

[Simon Peyton-Jones]

| >From the ghc manual:
|
| -----------
| 7.3.3. The recursive do-notation
| ...

|
| It is unfortunate that the manual does not give the translation rules, or at
| least the translation for the given example.

Hmm.  OK.  I've improved the manual with a URL to the main paper
http://citeseer.ist.psu.edu/erk02recursive.html
which is highly readable. And I've given the translation for the example as you suggest

Simon