On Sat, Jul 27, 2013 at 10:48 PM, David Jeske <dav...@gmail.com> wrote:
> I see two main benefits of rusts borrowed pointers and lifetimes: > > The first is the safe mechanism for mutable stack-variable-capture via > borrowed/non-escaping pointers to blocks.... however this is just about > non-escape and stack-scopes, not Rust lifetimes. > This is certainly useful. It mainly happens because borrowed pointers provide a degenerate region system. We had something similar in BitC. > The second is their lifetime mechanism for non-GC tracked return values. > I'm not following how this relates to borrowed pointers. Can you explain? shap
_______________________________________________ bitc-dev mailing list bitc-dev@coyotos.org http://www.coyotos.org/mailman/listinfo/bitc-dev
