Hi Dmitry, ср, 7 нояб. 2018 г. в 12:18, Dmitry Kouznetsov <dmitry.kouznet...@gmail.com >:
> I do have PATSHOME set, however PATSHOMERELOC isn't set. What is it > supposed to be set to? btw I am using Mac, should it matter. > > PATSHOMERELOC should be set to the full path to the ATS2-contrib repo clone. On Wednesday, November 7, 2018 at 8:51:41 AM UTC+1, Artyom Shalkhakov wrote: >> >> 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<S2Ecst(symbol)>)(tmp2068)) ; >>> >>> * ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:68880:58: **error: **use of >>> undeclared identifier 'symbol'* >>> >>> ATSINSmove(tmpret2067, >>> PMVtmpltcstmat[0](cptr_get<S2Ecst(symbol)>)(tmp2068)) ; >>> >>> * ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:68880:42: **error: **use of >>> undeclared identifier 'cptr_get'* >>> >>> ATSINSmove(tmpret2067, >>> PMVtmpltcstmat[0](cptr_get<S2Ecst(symbol)>)(tmp2068)) ; >>> >>> * ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:68880:66: **error: **expected >>> expression* >>> >>> ATSINSmove(tmpret2067, >>> PMVtmpltcstmat[0](cptr_get<S2Ecst(symbol)>)(tmp2068)) ; >>> >>> * ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:68880:24: **error: **use of >>> undeclared identifier 'PMVtmpltcstmat'* >>> >>> ATSINSmove(tmpret2067, >>> PMVtmpltcstmat[0](cptr_get<S2Ecst(symbol)>)(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<S2Ecst(filename_type)>)(tmp2191)) ; >>> >>> * ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:71716:58: **error: **use of >>> undeclared identifier 'filename_type'* >>> >>> ATSINSmove(tmpret2190, >>> PMVtmpltcstmat[0](cptr_get<S2Ecst(filename_type)>)(tmp2191)) ; >>> >>> * ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:71716:42: **error: **use of >>> undeclared identifier 'cptr_get'* >>> >>> ATSINSmove(tmpret2190, >>> PMVtmpltcstmat[0](cptr_get<S2Ecst(filename_type)>)(tmp2191)) ; >>> >>> * ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:71716:73: **error: **expected >>> expression* >>> >>> ATSINSmove(tmpret2190, >>> PMVtmpltcstmat[0](cptr_get<S2Ecst(filename_type)>)(tmp2191)) ; >>> >>> * >>> ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:71716:24: **error: **use of >>> undeclared identifier 'PMVtmpltcstmat'* >>> >>> ATSINSmove(tmpret2190, >>> PMVtmpltcstmat[0](cptr_get<S2Ecst(filename_type)>)(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<S2Ecst(filename_type)>)(tmp2195)) ; >>> >>> * ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:71781:55: **error: **use of >>> undeclared identifier 'filename_type'* >>> >>> ATSINSmove(tmp2197, >>> PMVtmpltcstmat[0](cptr_get<S2Ecst(filename_type)>)(tmp2195)) ; >>> >>> * ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:71781:39: **error: **use of >>> undeclared identifier 'cptr_get'* >>> >>> ATSINSmove(tmp2197, >>> PMVtmpltcstmat[0](cptr_get<S2Ecst(filename_type)>)(tmp2195)) ; >>> >>> * ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:71781:70: **error: **expected >>> expression* >>> >>> ATSINSmove(tmp2197, >>> PMVtmpltcstmat[0](cptr_get<S2Ecst(filename_type)>)(tmp2195)) ; >>> >>> * ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:71781:21: **error: **use of >>> undeclared identifier 'PMVtmpltcstmat'* >>> >>> ATSINSmove(tmp2197, >>> PMVtmpltcstmat[0](cptr_get<S2Ecst(filename_type)>)(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<S2Ecst(keyword)>)(tmp3538)) ; >>> >>> * ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:97729:58: **error: **use of >>> undeclared identifier 'keyword'* >>> >>> ATSINSmove(tmpret3537, >>> PMVtmpltcstmat[0](cptr_get<S2Ecst(keyword)>)(tmp3538)) ; >>> >>> * ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:97729:42: **error: **use of >>> undeclared identifier 'cptr_get'* >>> >>> ATSINSmove(tmpret3537, >>> PMVtmpltcstmat[0](cptr_get<S2Ecst(keyword)>)(tmp3538)) ; >>> >>> * ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:97729:67: **error: **expected >>> expression* >>> >>> ATSINSmove(tmpret3537, >>> PMVtmpltcstmat[0](cptr_get<S2Ecst(keyword)>)(tmp3538)) ; >>> >>> * ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:97729:24: **error: **use of >>> undeclared identifier 'PMVtmpltcstmat'* >>> >>> ATSINSmove(tmpret3537, >>> PMVtmpltcstmat[0](cptr_get<S2Ecst(keyword)>)(tmp3538)) ; >>> >>> * ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:98757:51: **warning: **implicit >>> declaration of function 'S2Etyrec' is invalid in C99 >>> [-Wimplicit-function-declaration]* >>> >>> ATSINSmove(tmpret3567, PMVtmpltcstmat[0](cptr_get<S2Etyrec(box; npf=-1; >>> lexerr_loc=S2Ecst(loc_t), lexerr_node=S2Ecst(lexerr_node))>)(tmp3568)) ; >>> >>> * ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:98757:60: **error: **use of >>> undeclared identifier 'box'* >>> >>> ATSINSmove(tmpret3567, PMVtmpltcstmat[0](cptr_get<S2Etyrec(box; npf=-1; >>> lexerr_loc=S2Ecst(loc_t), lexerr_node=S2Ecst(lexerr_node))>)(tmp3568)) ; >>> >>> * ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:98757:42: **error: **use of >>> undeclared identifier 'cptr_get'* >>> >>> ATSINSmove(tmpret3567, PMVtmpltcstmat[0](cptr_get<S2Etyrec(box; npf=-1; >>> lexerr_loc=S2Ecst(loc_t), lexerr_node=S2Ecst(lexerr_node))>)(tmp3568)) ; >>> >>> * ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:98757:111: **warning: **implicit >>> declaration of function 'S2Ecst' is invalid in C99 >>> [-Wimplicit-function-declaration]* >>> >>> ATSINSmove(tmpret3567, PMVtmpltcstmat[0](cptr_get<S2Etyrec(box; npf=-1; >>> lexerr_loc=S2Ecst(loc_t), lexerr_node=S2Ecst(lexerr_node))>)(tmp3568)) ; >>> >>> * >>> ^* >>> >>> *./CATS-parsemit/CATS/catsparse_all_dats.c:98757:118: **error: **use of >>> undeclared identifier 'lexerr_node'* >>> >>> ATSINSmove(tmpret3567, PMVtmpltcstmat[0](cptr_get<S2Etyrec(box; npf=-1; >>> lexerr_loc=S2Ecst(loc_t), lexerr_node=S2Ecst(lexerr_node))>)(tmp3568)) ; >>> >>> * >>> ^* >>> >>> *fatal error: *too many errors emitted, stopping now [-ferror-limit=] >>> >>> 6 warnings and 20 errors generated. >>> >>> make: *** [bin_atscc2js] Error 1 >>> >>> On Tuesday, November 6, 2018 at 5:25:32 PM UTC+1, Artyom Shalkhakov >>> wrote: >>>> >>>> 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 <dmitry.k...@gmail.com> >>>> 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 <dmitry.k...@gmail.com >>>>>> >: >>>>>> >>>>>>> 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 >>>>>>> <https://groups.google.com/d/msgid/ats-lang-users/47e55746-fbe8-4ca1-9847-fcb7da889e18%40googlegroups.com?utm_medium=email&utm_source=footer> >>>>>>> . >>>>>>> >>>>>> >>>>>> >>>>>> -- >>>>>> 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-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/af9af7df-fefc-452e-a0c6-eca1bd05c67e%40googlegroups.com >>>>> <https://groups.google.com/d/msgid/ats-lang-users/af9af7df-fefc-452e-a0c6-eca1bd05c67e%40googlegroups.com?utm_medium=email&utm_source=footer> >>>>> . >>>>> >>>> -- > 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/87944dc0-2a31-4f60-9efa-3847691e2e26%40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/87944dc0-2a31-4f60-9efa-3847691e2e26%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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%3Dqgybcd%3De2GJ_-VtXcxuAhMxtmvBTRdjTgxc610ciPiVwg%40mail.gmail.com.