We can define external call as effectless (as I understand, this means "pure" in terns of ATS2);
extern fn sqrt( double) :<> double = "ext#" extern fn launch_missles( double) :<> double = "ext#" I do understand, that this is due to goal to make transition from C to ATS to be less painful, but maybe, there should be some flag (like -XSafe for ghc, or maybe -Wall -Werror), which will treat effectless ffi calls to be compile time errors? And one more generic question: I haven't got if user can introduce new custom effects or are they just a predefined set of effects? Are there any docs about such topics in ATS? -- 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/c440ad8c-9322-44ca-ba6e-c3aaeabe0ece%40googlegroups.com.
