On 7/27/13 7:51 AM, Gábor Lehel wrote:
Thoughts?
Niko and I discussed and debated this exact proposal a few months ago :)
The outcome was that it wasn't worth it for a few reasons:
* The FFI really wants sweet syntax for C pointers.
* `'unsafe` isn't really a region, as it doesn't fit in the region
hierarchy. Regions are related by a subtyping relationship, and
`'unsafe` is neither at the top nor the bottom of the hierarchy. You
really don't want the compiler inferring `'unsafe` as the least upper
bound or greatest lower bound when relating two regions, for example.
I'm as sympathetic as anybody to want to reduce the number of pointer
types in the language, as it's folks' #1 complaint about Rust. But I
think this one is probably a necessary evil.
Patrick
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev
