Call-by-value assignment

2019-02-23 Thread M88
Hello, I have a viewtype and I am using it in a call-by-value function. I want to temporarily assign it to a variable for use in a template that uses call-by-reference. Is there a way to assert that the variable has not been consumed? Right now I am doing this, which typechecks and compiles

Re: Stack-allocated arrays in ATS2 (or ATS3?)

2019-02-23 Thread Artyom Shalkhakov
Hi Vanessa! On Saturday, February 23, 2019 at 1:11:31 PM UTC+2, Vanessa McHale wrote: > > Is there any way to safely use alloca in ATS? I know the language has > features for both safe pointer arithmetic and safe use of > stack-allocated variables... so it would be nice to both guarantee no >

Stack-allocated arrays in ATS2 (or ATS3?)

2019-02-23 Thread Vanessa McHale
Is there any way to safely use alloca in ATS? I know the language has features for both safe pointer arithmetic and safe use of stack-allocated variables... so it would be nice to both guarantee no out-of-bounds array accesses and no subsequent uses of the pointer. Cheers, Vanessa McHale --