Re: where do I get atscc2js from?
On Tuesday, November 6, 2018 at 6:28:46 PM UTC+2, Dmitry Kouznetsov wrote: > > So, now I have the following output: > > Curious. Do you have PATSHOME and PATSHOMERELOC environment variables set? These kinds of errors typically indicate that the compiler was unable to locate template function definitions. For the first error, the offending code is probably https://github.com/githwxi/ATS-Postiats/blob/master/contrib/CATS-parsemit/DATS/catsparse_symbol.dats#L104 but I guess that unsafe function definitions should have been supplied in the prelude. > ⋊> ~/s/a/A/c/CATS-atscc2js on master ⨯ *make* all > > 17:26:14 > > \ > > make -C CATS-parsemit all > > make[1]: Nothing to be done for `all'. > > \ > > /Users/dmitry/sandbox/ats/ATS2-Postiats//bin/patscc \ > > -O2 -DATS_MEMALLOC_GCBDW -o bin/atscc2js \ > >DATS/atscc2js_main.dats DATS/atscc2js_emit.dats > DATS/atscc2js_emit2.dats ./CATS-parsemit/SATS/catsparse.sats > ./CATS-parsemit/CATS/catsparse_all_dats.c > -lgc > > *./CATS-parsemit/CATS/catsparse_all_dats.c:68880:51: **warning: **implicit > declaration of function 'S2Ecst' is invalid in C99 > [-Wimplicit-function-declaration]* > > ATSINSmove(tmpret2067, > PMVtmpltcstmat[0](cptr_get)(tmp2068)) ; > > * ^* > > *./CATS-parsemit/CATS/catsparse_all_dats.c:68880:58: **error: **use of > undeclared identifier 'symbol'* > > ATSINSmove(tmpret2067, > PMVtmpltcstmat[0](cptr_get)(tmp2068)) ; > > * ^* > > *./CATS-parsemit/CATS/catsparse_all_dats.c:68880:42: **error: **use of > undeclared identifier 'cptr_get'* > > ATSINSmove(tmpret2067, > PMVtmpltcstmat[0](cptr_get)(tmp2068)) ; > > * ^* > > *./CATS-parsemit/CATS/catsparse_all_dats.c:68880:66: **error: **expected > expression* > > ATSINSmove(tmpret2067, > PMVtmpltcstmat[0](cptr_get)(tmp2068)) ; > > * ^* > > *./CATS-parsemit/CATS/catsparse_all_dats.c:68880:24: **error: **use of > undeclared identifier 'PMVtmpltcstmat'* > > ATSINSmove(tmpret2067, > PMVtmpltcstmat[0](cptr_get)(tmp2068)) ; > > * ^* > > *./CATS-parsemit/CATS/catsparse_all_dats.c:71716:51: **warning: **implicit > declaration of function 'S2Ecst' is invalid in C99 > [-Wimplicit-function-declaration]* > > ATSINSmove(tmpret2190, > PMVtmpltcstmat[0](cptr_get)(tmp2191)) ; > > * ^* > > *./CATS-parsemit/CATS/catsparse_all_dats.c:71716:58: **error: **use of > undeclared identifier 'filename_type'* > > ATSINSmove(tmpret2190, > PMVtmpltcstmat[0](cptr_get)(tmp2191)) ; > > * ^* > > *./CATS-parsemit/CATS/catsparse_all_dats.c:71716:42: **error: **use of > undeclared identifier 'cptr_get'* > > ATSINSmove(tmpret2190, > PMVtmpltcstmat[0](cptr_get)(tmp2191)) ; > > * ^* > > *./CATS-parsemit/CATS/catsparse_all_dats.c:71716:73: **error: **expected > expression* > > ATSINSmove(tmpret2190, > PMVtmpltcstmat[0](cptr_get)(tmp2191)) ; > > *^* > > *./CATS-parsemit/CATS/catsparse_all_dats.c:71716:24: **error: **use of > undeclared identifier 'PMVtmpltcstmat'* > > ATSINSmove(tmpret2190, > PMVtmpltcstmat[0](cptr_get)(tmp2191)) ; > > * ^* > > *./CATS-parsemit/CATS/catsparse_all_dats.c:71781:48: **warning: **implicit > declaration of function 'S2Ecst' is invalid in C99 > [-Wimplicit-function-declaration]* > > ATSINSmove(tmp2197, > PMVtmpltcstmat[0](cptr_get)(tmp2195)) ; > > * ^* > > *./CATS-parsemit/CATS/catsparse_all_dats.c:71781:55: **error: **use of > undeclared identifier 'filename_type'* > > ATSINSmove(tmp2197, > PMVtmpltcstmat[0](cptr_get)(tmp2195)) ; > > * ^* > > *./CATS-parsemit/CATS/catsparse_all_dats.c:71781:39: **error: **use of > undeclared identifier 'cptr_get'* > > ATSINSmove(tmp2197, > PMVtmpltcstmat[0](cptr_get)(tmp2195)) ; > > * ^* > > *./CATS-parsemit/CATS/catsparse_all_dats.c:71781:70: **error: **expected > expression* > > ATSINSmove(tmp2197, > PMVtmpltcstmat[0](cptr_get)(tmp2195)) ; > > * ^* > > *./CATS-parsemit/CATS/catsparse_all_dats.c:71781:21: **error: **use of > undeclared identifier 'PMVtmpltcstmat'* > > ATSINSmove(tmp2197, > PMVtmpltcstmat[0](cptr_get)(tmp2195)) ; > > *^* > > *./CATS-parsemit/CATS/catsparse_all_dats.c:97729:51: **warning: **implicit > declaration of function 'S2Ecst' is invalid in C99 > [-Wimplicit-function-declaration]* > > ATSINSmove(tmpret3537, >
Re: Why won't this code compile?
The type for ptr_set0 should be changed to the following one:
fn
{a:t@ype}
ptr_set0{l:addr}
(pf: !a? @ l >> a @ l | p: ptr l, v: a): void =
!p := v
Then all you need is to provide a template argument explicitly:
ptr_set0
On Tue, Nov 6, 2018 at 4:24 PM Chris Double
wrote:
> On Wed, Nov 7, 2018 at 9:17 AM Mark Thom wrote:
>
> > I know that pf is a linear resource, and it needs to be consumed
> somehow.. how do I make it happen?
> > If I don't touch v after the call to ptr_set0 (ie. if I remove the final
> println!), the program will compile.. which also makes
> > no sense given what I think I know about linear resources in ATS.
>
> The line that assigns the view@ to 'pf' is borrowing the view and
> assigning it to 'pf'. It needs to be "given back", which both consumes
> the proof (the 'pf') and restores the 'view@':
>
> var v: int = 5
> prval pf = view@(v)
> val _ = ptr_set0(pf | addr@(v), 3)
> prval () = view@(v) := pf
>
> This idiom was used a lot in ATS1 and I think ATS2 made it so in some
> cases it wasn't needed. After changing this I hit an issue with
> overloading in println:
>
> the symbol [print] cannot be resolved due to too many matches:
> D2ITMcst(print_option) of 0
> D2ITMcst(print_list_vt) of 0
>
> This seems to be something to do with the type that ATS has assigned
> to 'v' being changed after the proof usage. I cheated by using
> 'cast2int(v)' from unsafe.sats to get it to compile but hopefully
> someone knows a better way.
>
> --
> http://bluishcoder.co.nz
>
> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/CALn1vHHh9mLBS22Of-8mqJoP%2Bp4K6ExCNtDvaP3YNiK6Oo8xTg%40mail.gmail.com
> .
>
--
You received this message because you are subscribed to the Google Groups
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLrxM1XH9FrKPYGBrbZ8WPkemVk%3DUAo6fTXYLC1g3pKtBw%40mail.gmail.com.
Re: Why won't this code compile?
On Wed, Nov 7, 2018 at 9:17 AM Mark Thom wrote: > I know that pf is a linear resource, and it needs to be consumed somehow.. > how do I make it happen? > If I don't touch v after the call to ptr_set0 (ie. if I remove the final > println!), the program will compile.. which also makes > no sense given what I think I know about linear resources in ATS. The line that assigns the view@ to 'pf' is borrowing the view and assigning it to 'pf'. It needs to be "given back", which both consumes the proof (the 'pf') and restores the 'view@': var v: int = 5 prval pf = view@(v) val _ = ptr_set0(pf | addr@(v), 3) prval () = view@(v) := pf This idiom was used a lot in ATS1 and I think ATS2 made it so in some cases it wasn't needed. After changing this I hit an issue with overloading in println: the symbol [print] cannot be resolved due to too many matches: D2ITMcst(print_option) of 0 D2ITMcst(print_list_vt) of 0 This seems to be something to do with the type that ATS has assigned to 'v' being changed after the proof usage. I cheated by using 'cast2int(v)' from unsafe.sats to get it to compile but hopefully someone knows a better way. -- http://bluishcoder.co.nz -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CALn1vHHh9mLBS22Of-8mqJoP%2Bp4K6ExCNtDvaP3YNiK6Oo8xTg%40mail.gmail.com.
Why won't this code compile?
Hi,
I've been reading the "Introduction to Programming in ATS" book over the
past few months, and I still have no clue as to why this program won't
compile:
fn{a:t@ype} ptr_set0 {l:addr} (pf: !a? @ l | p: ptr l, v: a): void =
!p := v
implement main0 () = let
var v: int = 5
in
( let prval pf = view@(v) in
ptr_set0(pf | addr@(v), 3) ;
// !addr@(v) := 3; // uncommenting this line causes the program to
compile. no idea why.
end ;
println!("v = ", v)
)
end
I know that pf is a linear resource, and it needs to be consumed somehow..
how do I make it happen?
If I don't touch v after the call to ptr_set0 (ie. if I remove the final
println!), the program will compile.. which also makes
no sense given what I think I know about linear resources in ATS.
Thanks.
--
You received this message because you are subscribed to the Google Groups
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/45412299-4d15-4885-acb7-b165711c4e79%40googlegroups.com.
Re: where do I get atscc2js from?
So, now I have the following output: ⋊> ~/s/a/A/c/CATS-atscc2js on master ⨯ *make* all 17:26:14 \ make -C CATS-parsemit all make[1]: Nothing to be done for `all'. \ /Users/dmitry/sandbox/ats/ATS2-Postiats//bin/patscc \ -O2 -DATS_MEMALLOC_GCBDW -o bin/atscc2js \ DATS/atscc2js_main.dats DATS/atscc2js_emit.dats DATS/atscc2js_emit2.dats ./CATS-parsemit/SATS/catsparse.sats ./CATS-parsemit/CATS/catsparse_all_dats.c -lgc *./CATS-parsemit/CATS/catsparse_all_dats.c:68880:51: **warning: **implicit declaration of function 'S2Ecst' is invalid in C99 [-Wimplicit-function-declaration]* ATSINSmove(tmpret2067, PMVtmpltcstmat[0](cptr_get)(tmp2068)) ; * ^* *./CATS-parsemit/CATS/catsparse_all_dats.c:68880:58: **error: **use of undeclared identifier 'symbol'* ATSINSmove(tmpret2067, PMVtmpltcstmat[0](cptr_get)(tmp2068)) ; * ^* *./CATS-parsemit/CATS/catsparse_all_dats.c:68880:42: **error: **use of undeclared identifier 'cptr_get'* ATSINSmove(tmpret2067, PMVtmpltcstmat[0](cptr_get)(tmp2068)) ; * ^* *./CATS-parsemit/CATS/catsparse_all_dats.c:68880:66: **error: **expected expression* ATSINSmove(tmpret2067, PMVtmpltcstmat[0](cptr_get)(tmp2068)) ; * ^* *./CATS-parsemit/CATS/catsparse_all_dats.c:68880:24: **error: **use of undeclared identifier 'PMVtmpltcstmat'* ATSINSmove(tmpret2067, PMVtmpltcstmat[0](cptr_get)(tmp2068)) ; * ^* *./CATS-parsemit/CATS/catsparse_all_dats.c:71716:51: **warning: **implicit declaration of function 'S2Ecst' is invalid in C99 [-Wimplicit-function-declaration]* ATSINSmove(tmpret2190, PMVtmpltcstmat[0](cptr_get)(tmp2191)) ; * ^* *./CATS-parsemit/CATS/catsparse_all_dats.c:71716:58: **error: **use of undeclared identifier 'filename_type'* ATSINSmove(tmpret2190, PMVtmpltcstmat[0](cptr_get)(tmp2191)) ; * ^* *./CATS-parsemit/CATS/catsparse_all_dats.c:71716:42: **error: **use of undeclared identifier 'cptr_get'* ATSINSmove(tmpret2190, PMVtmpltcstmat[0](cptr_get)(tmp2191)) ; * ^* *./CATS-parsemit/CATS/catsparse_all_dats.c:71716:73: **error: **expected expression* ATSINSmove(tmpret2190, PMVtmpltcstmat[0](cptr_get)(tmp2191)) ; *^* *./CATS-parsemit/CATS/catsparse_all_dats.c:71716:24: **error: **use of undeclared identifier 'PMVtmpltcstmat'* ATSINSmove(tmpret2190, PMVtmpltcstmat[0](cptr_get)(tmp2191)) ; * ^* *./CATS-parsemit/CATS/catsparse_all_dats.c:71781:48: **warning: **implicit declaration of function 'S2Ecst' is invalid in C99 [-Wimplicit-function-declaration]* ATSINSmove(tmp2197, PMVtmpltcstmat[0](cptr_get)(tmp2195)) ; * ^* *./CATS-parsemit/CATS/catsparse_all_dats.c:71781:55: **error: **use of undeclared identifier 'filename_type'* ATSINSmove(tmp2197, PMVtmpltcstmat[0](cptr_get)(tmp2195)) ; * ^* *./CATS-parsemit/CATS/catsparse_all_dats.c:71781:39: **error: **use of undeclared identifier 'cptr_get'* ATSINSmove(tmp2197, PMVtmpltcstmat[0](cptr_get)(tmp2195)) ; * ^* *./CATS-parsemit/CATS/catsparse_all_dats.c:71781:70: **error: **expected expression* ATSINSmove(tmp2197, PMVtmpltcstmat[0](cptr_get)(tmp2195)) ; * ^* *./CATS-parsemit/CATS/catsparse_all_dats.c:71781:21: **error: **use of undeclared identifier 'PMVtmpltcstmat'* ATSINSmove(tmp2197, PMVtmpltcstmat[0](cptr_get)(tmp2195)) ; *^* *./CATS-parsemit/CATS/catsparse_all_dats.c:97729:51: **warning: **implicit declaration of function 'S2Ecst' is invalid in C99 [-Wimplicit-function-declaration]* ATSINSmove(tmpret3537, PMVtmpltcstmat[0](cptr_get)(tmp3538)) ; * ^* *./CATS-parsemit/CATS/catsparse_all_dats.c:97729:58: **error: **use of undeclared identifier 'keyword'* ATSINSmove(tmpret3537, PMVtmpltcstmat[0](cptr_get)(tmp3538)) ; * ^* *./CATS-parsemit/CATS/catsparse_all_dats.c:97729:42: **error: **use of undeclared identifier 'cptr_get'* ATSINSmove(tmpret3537, PMVtmpltcstmat[0](cptr_get)(tmp3538)) ; * ^* *./CATS-parsemit/CATS/catsparse_all_dats.c:97729:67: **error: **expected expression* ATSINSmove(tmpret3537, PMVtmpltcstmat[0](cptr_get)(tmp3538)) ; * ^*
Re: where do I get atscc2js from?
How did you install the compiler? Have you not built from source?
The translators are probably not included in the distribution. Have to
check.
On Tue, Nov 6, 2018, 6:22 PM Dmitry Kouznetsov
wrote:
> Aha! But then that contrib dir doesn't come with git clone... Ain't I
> supposed to have all the stuff from that dir in order to be able to run
> that make?
>
> On Tuesday, November 6, 2018 at 5:01:11 PM UTC+1, Artyom Shalkhakov wrote:
>>
>> Hi Dmitry,
>>
>> Welcome!
>>
>> вт, 6 нояб. 2018 г. в 17:42, Dmitry Kouznetsov :
>>
>>> Hi, I am learning ATS and want to run examples locally. This one is
>>> particularly interesting to me:
>>> https://github.com/githwxi/ATS-Postiats/tree/master/doc/EXAMPLE/EFFECTIVATS/FRP-bacon.js.
>>> When I 'make all' it tells I am supposed to have atscc2js in my
>>> ${PATSHOME}/bin and I don't. How do I get one?
>>>
>>
>> You should build it. The translator is built with this Makefile:
>>
>>
>> https://github.com/githwxi/ATS-Postiats/blob/master/contrib/CATS-atscc2js/Makefile
>>
>> I think you'll have to cp the binary to $PATSHOME/bin yourself, though.
>> You can refer to some older scripts:
>>
>>
>> https://gist.github.com/ashalkhakov/4d9cc1a5fff9f9171f00a9ba50a24ebd#file-msys2-build-ats2-sh-L167
>>
>>
>>> --
>>> You received this message because you are subscribed to the Google
>>> Groups "ats-lang-users" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to ats-lang-user...@googlegroups.com.
>>> To post to this group, send email to ats-lan...@googlegroups.com.
>>> Visit this group at https://groups.google.com/group/ats-lang-users.
>>> To view this discussion on the web visit
>>> https://groups.google.com/d/msgid/ats-lang-users/47e55746-fbe8-4ca1-9847-fcb7da889e18%40googlegroups.com
>>>
>>> .
>>>
>>
>>
>> --
>> Cheers,
>> Artyom Shalkhakov
>>
> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/af9af7df-fefc-452e-a0c6-eca1bd05c67e%40googlegroups.com
>
> .
>
--
You received this message because you are subscribed to the Google Groups
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3Dqjmgt5sY12CyJtYEtRRApw4rXp5jxSozRDp9vjnV%3Dtggg%40mail.gmail.com.
Re: where do I get atscc2js from?
I am actually wrong, sorry, it does come with git clone. Missed it, my bad.
Let me try it now!
On Tuesday, November 6, 2018 at 5:22:25 PM UTC+1, Dmitry Kouznetsov wrote:
>
> Aha! But then that contrib dir doesn't come with git clone... Ain't I
> supposed to have all the stuff from that dir in order to be able to run
> that make?
>
> On Tuesday, November 6, 2018 at 5:01:11 PM UTC+1, Artyom Shalkhakov wrote:
>>
>> Hi Dmitry,
>>
>> Welcome!
>>
>> вт, 6 нояб. 2018 г. в 17:42, Dmitry Kouznetsov :
>>
>>> Hi, I am learning ATS and want to run examples locally. This one is
>>> particularly interesting to me:
>>> https://github.com/githwxi/ATS-Postiats/tree/master/doc/EXAMPLE/EFFECTIVATS/FRP-bacon.js.
>>>
>>> When I 'make all' it tells I am supposed to have atscc2js in my
>>> ${PATSHOME}/bin and I don't. How do I get one?
>>>
>>
>> You should build it. The translator is built with this Makefile:
>>
>>
>> https://github.com/githwxi/ATS-Postiats/blob/master/contrib/CATS-atscc2js/Makefile
>>
>> I think you'll have to cp the binary to $PATSHOME/bin yourself, though.
>> You can refer to some older scripts:
>>
>>
>> https://gist.github.com/ashalkhakov/4d9cc1a5fff9f9171f00a9ba50a24ebd#file-msys2-build-ats2-sh-L167
>>
>>
>>> --
>>> You received this message because you are subscribed to the Google
>>> Groups "ats-lang-users" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to ats-lang-user...@googlegroups.com.
>>> To post to this group, send email to ats-lan...@googlegroups.com.
>>> Visit this group at https://groups.google.com/group/ats-lang-users.
>>> To view this discussion on the web visit
>>> https://groups.google.com/d/msgid/ats-lang-users/47e55746-fbe8-4ca1-9847-fcb7da889e18%40googlegroups.com
>>>
>>>
>>> .
>>>
>>
>>
>> --
>> Cheers,
>> Artyom Shalkhakov
>>
>
--
You received this message because you are subscribed to the Google Groups
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/12d35b64-ff5d-4ab1-b2fd-a0a1e568c339%40googlegroups.com.
Re: where do I get atscc2js from?
Aha! But then that contrib dir doesn't come with git clone... Ain't I
supposed to have all the stuff from that dir in order to be able to run
that make?
On Tuesday, November 6, 2018 at 5:01:11 PM UTC+1, Artyom Shalkhakov wrote:
>
> Hi Dmitry,
>
> Welcome!
>
> вт, 6 нояб. 2018 г. в 17:42, Dmitry Kouznetsov >:
>
>> Hi, I am learning ATS and want to run examples locally. This one is
>> particularly interesting to me:
>> https://github.com/githwxi/ATS-Postiats/tree/master/doc/EXAMPLE/EFFECTIVATS/FRP-bacon.js.
>>
>> When I 'make all' it tells I am supposed to have atscc2js in my
>> ${PATSHOME}/bin and I don't. How do I get one?
>>
>
> You should build it. The translator is built with this Makefile:
>
>
> https://github.com/githwxi/ATS-Postiats/blob/master/contrib/CATS-atscc2js/Makefile
>
> I think you'll have to cp the binary to $PATSHOME/bin yourself, though.
> You can refer to some older scripts:
>
>
> https://gist.github.com/ashalkhakov/4d9cc1a5fff9f9171f00a9ba50a24ebd#file-msys2-build-ats2-sh-L167
>
>
>> --
>> You received this message because you are subscribed to the Google Groups
>> "ats-lang-users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to ats-lang-user...@googlegroups.com .
>> To post to this group, send email to ats-lan...@googlegroups.com
>> .
>> Visit this group at https://groups.google.com/group/ats-lang-users.
>> To view this discussion on the web visit
>> https://groups.google.com/d/msgid/ats-lang-users/47e55746-fbe8-4ca1-9847-fcb7da889e18%40googlegroups.com
>>
>>
>> .
>>
>
>
> --
> Cheers,
> Artyom Shalkhakov
>
--
You received this message because you are subscribed to the Google Groups
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/af9af7df-fefc-452e-a0c6-eca1bd05c67e%40googlegroups.com.
Re: where do I get atscc2js from?
Hi Dmitry,
Welcome!
вт, 6 нояб. 2018 г. в 17:42, Dmitry Kouznetsov :
> Hi, I am learning ATS and want to run examples locally. This one is
> particularly interesting to me:
> https://github.com/githwxi/ATS-Postiats/tree/master/doc/EXAMPLE/EFFECTIVATS/FRP-bacon.js.
> When I 'make all' it tells I am supposed to have atscc2js in my
> ${PATSHOME}/bin and I don't. How do I get one?
>
You should build it. The translator is built with this Makefile:
https://github.com/githwxi/ATS-Postiats/blob/master/contrib/CATS-atscc2js/Makefile
I think you'll have to cp the binary to $PATSHOME/bin yourself, though. You
can refer to some older scripts:
https://gist.github.com/ashalkhakov/4d9cc1a5fff9f9171f00a9ba50a24ebd#file-msys2-build-ats2-sh-L167
> --
> You received this message because you are subscribed to the Google Groups
> "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> Visit this group at https://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/47e55746-fbe8-4ca1-9847-fcb7da889e18%40googlegroups.com
>
> .
>
--
Cheers,
Artyom Shalkhakov
--
You received this message because you are subscribed to the Google Groups
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3DqiuJ-TCMP5E%2BTptn2hq09_Mnw2SJR5PQYwo%3DDXxgsNJoQ%40mail.gmail.com.
where do I get atscc2js from?
Hi, I am learning ATS and want to run examples locally. This one is
particularly interesting to
me:
https://github.com/githwxi/ATS-Postiats/tree/master/doc/EXAMPLE/EFFECTIVATS/FRP-bacon.js.
When I 'make all' it tells I am supposed to have atscc2js in my
${PATSHOME}/bin and I don't. How do I get one?
--
You received this message because you are subscribed to the Google Groups
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/47e55746-fbe8-4ca1-9847-fcb7da889e18%40googlegroups.com.
