Broken compilation of reference example

2017-08-24 Thread Marcello Presulli
Hi everyone, i tried to compile the "chap_reference.dat" example under https://github.com/ats-lang/ats-lang.github.io/tree/master/DOCUMENT/ATS2TUTORIAL with ATS2 0.3.7 but it fails. Especially the code sinppet var myvar: int = 0 val myref = ref_make_viewptr (view@(myvar) | addr@(myvar)) whi

Re: Broken compilation of reference example

2017-08-24 Thread Marcello Presulli
linear dynamic variable [myvar$view$5445(-1)] is preserved but with an incompatible type. So is this code only evaluatable on top level like in the example ? Marcello 2017-08-24 13:27 GMT+02:00 Chris Double : > On Thu, Aug 24, 2017 at 11:13 PM, Marcello Presulli > wrote: > > Hi everyon

Re: Broken compilation of reference example

2017-08-24 Thread Marcello Presulli
ot be used to build a persistent reference. In C, a > fairly common > programming error is using an invalid stack pointer. > > On Thursday, August 24, 2017 at 7:56:11 AM UTC-4, Marcello Presulli wrote: >> >> Hi Chris, >> >> thanks for the quick reply, you are right it wa

Re: The myatscc utility

2018-04-11 Thread Marcello Presulli
Hi community, i don't know if it's useful, but if someone wants to build and execute a "myatscc" code definiton in-situ via .dats file itself, here it is: $ cat hello.dats exec <$0 ; read ; cat > $0.dats ; exec myatscc $0.dats $@ (* ##myatsccdef=patscc -cleanaft -o $fname($fname($1)) $1 -DATS_M