Another way to do this is to use the -dd flag associated with the patsopt command.
On Wed, Oct 17, 2018 at 1:25 AM Hongwei Xi <gmh...@gmail.com> wrote: > Sometimes, you may want to have one single file that > contains all the C code generated from some ATS code contained in > multiple files. This often allows a C compiler to produce better optimized > code. > > On Wed, Oct 17, 2018 at 1:18 AM Julian Fondren <julian.fond...@gmail.com> > wrote: > >> >> >> On Tuesday, October 16, 2018 at 11:53:53 PM UTC-5, M88 wrote: >>> >>> // mylibies_link.hats >>> local >>> #include "./DATS/foo.dats" // link the file (for non-template >>> functions, etc) >>> in end >>> >> >> Why are you doing that? If a file is using foo.dats' *non*-template >> functions, all it should have to do is staload the foo.sats that has their >> types, and then its object should be linked with one with their definitions >> (i.e., foo_dats.o). >> >> -- >> 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/eca6f467-d5a5-4de5-b8cd-2523abc97ed0%40googlegroups.com >> <https://groups.google.com/d/msgid/ats-lang-users/eca6f467-d5a5-4de5-b8cd-2523abc97ed0%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/CAPPSPLqruzoyrfQsH4rJSDsvtEBq4kpzgAB-K1Tpf%2BBH3MThbQ%40mail.gmail.com.
