Hello, New ATS learner here. The following code does not compile:
``` #include "share/atspre_define.hats" #include "share/atspre_staload.hats" fn do_something ( f : string -> void ) : void = ( f "hi" ) val _ = do_something(print) implement main0 () = () ``` It says the symbol [print] cannot be resolved. I suspect it is because the type of `f should somehow encode the effect. I did try `string -<1> void` as well but that didn't work either. Some pointers appreciated, I am mainly reading along with the ATS2 book. Michael -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/454cdb2a-7af8-40b2-8f51-48f5d67e6235n%40googlegroups.com.
