On 01/20/12 14:52, Michael Snoyman wrote: > Essentially, I would want: > > SomeConstr args <- someAction > > to be interpreted as: > > temp <- someAction > case temp of > SomeConstr args ->
I completely agree; perhaps what we really want though is something more akin to a language extension --- say, DisableMonadFailForRefutablePatterns? Cheers, Greg _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe