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
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
>
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
--