FYI. I was going over some old code in ATS1 (Anairiats).
I can't help but notice that ATS1 is far more efficient than ATS2 when the compilation speed is of the concern. I guess that ATS2 loads by default a lot of library files that ATS1 does not. This is a familar problem: a user is often forced to pay for what he or she does not ever use :( --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 [email protected]. To post to this group, send email to [email protected]. 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/2e837a9d-26e3-453f-a4fd-05e7a3e74843%40googlegroups.com.
