ATS license

[gmhwxi]

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.

[Artyom Shalkhakov]

I guess this is a response to https://github.com/githwxi/ATS-Postiats/issues/190

[gmhwxi]

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.

[Rudi Grinberg]

--
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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@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/b3a96e14-8857-43c2-b75d-01744a6631f1%40googlegroups.com.

[Rudi Grinberg]

Ql

.q

On Mon

Qqmm

May 7, 2018, 9:16 AM Rudi Grinberg <rud