>>Can I guess that XATSCL0 is basically the same as the C-file that we have now during compilation with patscc? Otherwise, what is the purpose of it?
Patscc generates code that contains goto statements. This time I would exclude goto's in XATSCL0. In this way, compilers for ATS3 targeting other languages can also benefit from using XATSCL0. >>Does this mean that currently ATS3 just ignores code related to linear/dependent types? Yes, it ignores completely. -- On Sun, Nov 22, 2020 at 11:47 PM Dambaev Alexander <ice.redm...@gmail.com> wrote: > Glad to hear news about ATS3 implementation! > > > XATSOPT: >> >> Xatsopt is a functioning compiler implemented in ATS2 for translating >> ATS3 into a typed intermediate language of the name XATSCML, which is >> both C-like and ML-like. It is planned for xatsopt to further >> translate XATSCML into XATSCL0, a low-level C-like language. I now >> primarily see xatsopt as a library (libxatsopt) for implementing tools >> to support programming with ATS3. >> > Can I guess that XATSCL0 is basically the same as the C-file that we have > now during compilation with patscc? Otherwise, what is the purpose of it? > > >> >> Documenting Xatsopt: >> >> This has been assigned a high priority. It is hoped that other >> people interested in ATS3 can start developing tools for ATS3 after >> a minimal amount of documentation on xatsopt is made available. >> > The more documentation - the better :) > > >> Advanced Type-Checking: >> >> While one can specify with linear types and dependent types in ATS3, >> there is no type-checking for such advanced types in xatsopt. I plan >> to concentrate on implementing support for such type-checking in the >> next phase of ATS3 development. >> > > Does this mean that currently ATS3 just ignores code related to > linear/dependent types? > > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/CAHjn2Kxekq4Phu1%3DEFWxTVgjRm2pczK5ZsLeAy7DN%2BGzuuyA8A%40mail.gmail.com > <https://groups.google.com/d/msgid/ats-lang-users/CAHjn2Kxekq4Phu1%3DEFWxTVgjRm2pczK5ZsLeAy7DN%2BGzuuyA8A%40mail.gmail.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 view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqmUjH7eLeO8iaAp0DE_Hp6RHadu%2BuKyTcLu2TPc_rq7Q%40mail.gmail.com.
