License in the Mac installer

[Manuel M T Chakravarty]

Bryan O'Sullivan:
> Manuel M T Chakravarty wrote:
>> By all means get legal advice.
>>
>> However, I am curious, what exactly is it in my reasoning that you do
>> not agree with?
>
> Essentially, that it is possible to combine GPL and BSD works and
> distribute the combined result under the BSD license.

Surely not the combined result - that would mean to put GPL code under  
BSD3.

All I am saying is that the BSD3 code effectively stays under BSD3  
(and of course the GPL code under the GPL).  As Roman wrote, neither  
GPL nor BSD3 require any agreement to a license by the user.  We  
simply inform the user under which licenses he or she can obtain the  
various pieces of source code.  To write that GHC is under the GPL  
would IMHO imply that the GPL is the least restrictive license under  
which GHC is available and that would simply be false.

Manuel