On 12-02-29 05:45 PM, Niko Matsakis wrote:
> then doing:
>
> for i in iterator() { <body(i)> }
>
> would be the same.
>
> I believe this holds.
That's what it means, yeah. "TCP-preserving-return" is a somewhat common
gotcha in languages that have the temerity to mix closures and explicit
flow control.
http://gafter.blogspot.com/2006/08/tennents-correspondence-principle-and.html
http://yehudakatz.com/
http://techscursion.com/2012/02/tennent-correspondence-principle.html
etc. etc.
-Graydon
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev
