[Haskell-cafe] Fwd: extending Do notation

[Evan Laforge]

On Tue, May 20, 2014 at 12:09 PM, Kim-Ee Yeoh <ky3 at atamo.com> wrote:
>
> On Wed, May 21, 2014 at 1:38 AM, Evan Laforge <qdunkan at gmail.com> wrote:
>>
>> So perhaps the way forward is to find the old proposal (or make a new
>> one, if it's gone), and see if Idris's solution applies to haskell.
>
>
> Is Idris's solution written up anywhere? Mind sharing the link?

It's briefly documented in the tutorial, see do notation:

http://eb.host.cs.st-andrews.ac.uk/writings/idris-tutorial.pdf

Looks like the key bit is "will lift expr as high as possible within
the current scope".