> since we have after all been shipping GPL tools and LGPL C libs
> along with ghc for
> some years.
Indeed. For many years, every program compiled by ghc (using libgmp
to implement the unbounded Integer type) automatically fell under the
terms of the LGPL. Is that still the case?
Regards,
Malcolm