ATS can now be compiled into Scheme via atscc2scm. It is mandatory to disable tail-call optimization if the generated C code is to be fed to atscc2scm.
On Wednesday, August 5, 2015 at 9:28:30 AM UTC-4, gmhwxi wrote: > > > In ATS/Postiats, a recursive tail-call is compiled into a local jump by > default. > One can disable tail-call optimization with the flag '--tlcalopt-disable': > > patscc --tlcalopt-disable ... > patsopt --tlcalopt-disable ... > > Erlang does its own tail-call optimization. It is a pure functional > language and > does not support local jumps. So while compiling ATS to Erlang (vial > atscc2erl), > please make sure that you use patscc/patsopt with the flag > '--tlcalopt-disable'. > > --Hongwei > > > -- 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/e4710f86-1029-4acf-8ece-20b4be47775f%40googlegroups.com.