On Mon, Mar 12, 2012 at 3:26 AM, Chris Smith <[email protected]> wrote: > > With pipes-core (which, recall, is known to be unsound... just felt > this is a good time for a reminder of that, even though I believe the > subset that adds tryAwait and forP to be sound), you do get both (pipe > id) and (forP yield).
I wouldn't say it's unsound, more like "not yet proved to be bug-free" :) Note that the latest master fixes all the issues found so far. I agree that it would be nice to have a proof of correctness, but I prefer to wait until it stabilizes a bit before embarking in a long verification of all the cases. Part of the reason to release it now is so that people can try it out and suggest changes and additions. I am pretty confident that, if there are other issues, they can be fixed without significantly altering the interface or the overall approach. BR, Paolo _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
