I myself have seen this warning quite a few times. The reason is that some abstract type, say XYZ, is implemented in foo.dats. After foo.dats gets staloaded, it is also included, which causes the compiler to complaint that XYZ gets implemented repeatedly. This is a harmless warning (because you are not compiling foo.dats).
If you want to suppress it, you can try to use absreimpl (or reassume). On Wed, Oct 17, 2018 at 12:53 AM M88 <abysgr...@gmail.com> wrote: > 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 > <https://groups.google.com/d/msgid/ats-lang-users/9da1f4c4-136e-4885-8e24-6dcb3e5d9aa1%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAPPSPLpS5O_k7%2B0vkP0dL3U1ECM9hM5Uq5EEyeQc%2BVxc56v%3Dzg%40mail.gmail.com.
