Re: Difficulties with C FFI & writing a concurrent stack

Each occurrence of {a:t@ype+} should be changed to {a:type}. E.g., extern fun pop {a:t@ype+}(_t(a) >> _) : Option(a) = "ext#pop_ats" should be changed to extern fun pop {a:type}(_t(a) >> _) : Option(a) = "ext#pop_ats" On Sunday, November 17, 2019 at 10:16:11 PM UTC-5, Vanessa McHale wrote:

Re: Problem in Makefile: Can't Find 'atsmake-post.mk' and Other Probelms

Thank you for the fast reply. This is really helpful. :) -- 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

Re: Problem in Makefile: Can't Find 'atsmake-post.mk' and Other Probelms

First, 'testall:' should be changed to 'testall::' atsmake-pre.mk can be found here: https://github.com/githwxi/ATS-Postiats/blob/master/share/atsmake-pre.mk atsmake-post.mk can be found here: https://github.com/githwxi/ATS-Postiats/blob/master/share/atsmake-post.mk I rarely use these two