Yes. It prompted me to take a look at LGPLv3. GPL/LGPL is tailored for compiling C into object code. ATS is a bit different. It is important to make sure that any C code generated by ATS/Postiats (compiler + libraries) is, by default, not licensed under GPL/LGPL.
On Thursday, May 3, 2018 at 11:32:58 PM UTC-4, Artyom Shalkhakov wrote: > > On Wednesday, May 2, 2018 at 6:45:35 PM UTC+6, gmhwxi wrote: >> >> >> FYI. >> >> I learned recently that LGPLv3 does address the issue of code generated >> from templates (C++ templates, Ada generics). So I reworded ATS license >> as follows. The change is that ATS libraries are now covered under LGPLv3. >> It is also stated explicitly that any C code generated by ATS compiler >> using ATS >> libraries is NOT considered to be licensed under GPL/LGPL by default. >> >> * The Compiler (ATS/Postiats): >> [GPLv3]( >> https://github.com/githwxi/ATS-Postiats/blob/master/COPYING-gpl-3.0.txt) >> * The ATS source for the Libraries (ATSLIB/{prelude,libats}): >> [LGPLv3]( >> https://github.com/githwxi/ATS-Postiats/blob/master/COPYING-lgpl-3.0.txt >> ). >> * As a special exception, any C code generated by the Compiler based on >> the Libraries >> source is not considered by default to be licensed under GPLv3/LGPLv3. >> If you use such >> C code together with other code to create an executable, then the C >> code by itself does >> not cause the executable to be covered by GPLv3/LGPLv3. However, there >> may be reasons >> unrelated to using ATS that can result in the executable being covered >> by GPLv3/LGPLv3. >> * The contributed portion (ATS/Postiats/contrib) is released under the >> MIT license. >> * There is also a release under the MIT license for the C header files of >> the Libraries, >> which one can, for instance, freely insert into C code generated from >> ATS source code. >> >> > I guess this is a response to > https://github.com/githwxi/ATS-Postiats/issues/190 > -- 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 [email protected]. To post to this group, send email to [email protected]. 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/b3a96e14-8857-43c2-b75d-01744a6631f1%40googlegroups.com.
