2 b) You must cause any work that you distribute or publish, that in whole or in part contains or is derived from the Program or any part thereof, to be licensed as a whole at no charge to all third parties under the terms of this License.
Rob> I don't believe that code compiled with a compiler counts as Rob> "derived from the compiler". The situation would, of course, be a Rob> bit less muddy if one had true separate compilation for ML (but Rob> even with gcc, compiled object code will contain compiled open Rob> source libraries, and I don't believe that the above paragraph Rob> means you can't sell binaries compiled with gcc).
Now that David has continued this thread, I feel better about posting this nitpick.
It's not "you can't sell", but "you have to publish the source". Right?