You misunderstand, I am suggesting the compiler, which is copyright, asserts in its license, the requirement that all users of the compiler are required to release the type signatures of their programs as public domain.
Keean. On 3 Jun 2015 20:46, "Matt Rice" <[email protected]> wrote: > On Wed, Jun 3, 2015 at 9:57 AM, Keean Schupke <[email protected]> wrote: > > You can always include licence restrictions, to the effect that all > program > > type signatures are public domain. In my system module signatures are > just > > plain types. > > public domain isn't a solution to copyright, because it just opens the > door for derivative works which are under copyright absent any need > for permission, so the only way to 'include licence restrictions' is > via asserting copyright > _______________________________________________ > bitc-dev mailing list > [email protected] > http://www.coyotos.org/mailman/listinfo/bitc-dev >
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
