In ATS2-0.2.8, a static constant can now be declared with an external name:
For instance: stacst sine_of_real : real -> real = "ext#sin" This is useful when constraints generated during typechecking are to be exported for solving externally. If a static constant is given an external name, then the external name is used in exported constraints (otherwise, a name like sine_of_real!12345 is used, where 12345 is the stamp attached to the static constant). Here are some examples that you can try (using the given Makefile): https://github.com/githwxi/ATS-Postiats-contrib/tree/master/projects/MEDIUM/ATS-extsolve/ATS-extsolve-smt2/TEST Cheers! -- 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/13b09e75-931e-42d6-aac7-2c0faa6eb57f%40googlegroups.com.
