Hello, This doesn't seem to affect compilation, but I often get this warning when attempting to link .dats files into mylibies_link.hats: "warning(3): the static constant [....] is not abstract at this point"
This happens when I want to link a .dats file that implements abstract types. // mylibies.hats staload "./SATS/foo.sats" // expose the interface (declares abstract types) staload _ = "./DATS/foo.dats" // expose the templates (implements abstract types) // mylibies_link.hats local #include "./DATS/foo.dats" // link the file (for non-template functions, etc) in end It seems that all three declarations are necessary for compilation to succeed. There is no compilation error. Is this warning safe to ignore, and/or is there a preferred way of linking in this case? -- 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/9da1f4c4-136e-4885-8e24-6dcb3e5d9aa1%40googlegroups.com.
