Request for clarification on GPL3 license

Hi,

ATS2 version 0.0.4 is now under GPL 3.0 license instead of LGPL 2.1. Could
you clarify how this affects user programs compiled with ATS? More
specifically, suppose I write a program in ATS and then use patscc and gcc
to produce object files and executables, is your position that:

a) these object files and executable files can now only be distributed
under GPL

or

b) these object files and executable files can be distributed any way of my
choosing?

And what if they have to link against libats?

For example GCC has the following clarification:
http://www.gnu.org/licenses/gcc-exception-3.1-faq.html Could you have
something similar to clarify your position?

Thanks!

My position is (b).On Saturday, November 16, 2013 1:52:16 PM UTC-5, H Zhang wrote:

Hi,

ATS2 version 0.0.4 is now under GPL 3.0 license instead of LGPL 2.1. Could
you clarify how this affects user programs compiled with ATS? More
specifically, suppose I write a program in ATS and then use patscc and gcc
to produce object files and executables, is your position that:

a) these object files and executable files can now only be distributed
under GPL

or

b) these object files and executable files can be distributed any way of
my choosing?

And what if they have to link against libats?

For example GCC has the following clarification:
GCC Runtime Library Exception Rationale and FAQ - GNU Project - Free Software Foundation Could you have
something similar to clarify your position?

Thanks!