Re: [Haskell-cafe] Fwd: extending Do notation

On Tue, May 20, 2014 at 12:09 PM, Kim-Ee Yeoh wrote:

On Wed, May 21, 2014 at 1:38 AM, Evan Laforge 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".