On 21/07/2014 12:25 AM, Jonathan S. Shapiro wrote: > The problem with that is: if allocation and initialization are not > fundamentally merged, you lose memory safety.
You just need linearity to track the uninitialized locations, so it doesn't necessarily lead to unsafety. Sandro _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
