Thanks for the report. I think all of us can't wait to try ATS3, especially if it will improve user-experience in comparison to ATS2.
As I guess, "someone" can try to work on ATS3-ML->C/C++ translator in parallel to xats2js at the point, when ATS3-ML should not have planned backward incompatibility changes. Am I correct: ATS3-ML, being intermediate language, does not aware of dependent/linear types and -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAHjn2KxKWJc%3DA3zFfzL3WNcr1F3rO_b_as0yKU6pcc4MwNOCAA%40mail.gmail.com.
