> - If it turns out you have a QPL/GPL incompatibility, you have exactly
>   three options:
>       1) don't use the toplevel library
>       2) put your code under another license than the GPL
>       3) get a more liberal license for OCaml by becoming a member
>          of the Caml Consortium.

If I understand well, Alex can choose the (3) and get a license that is GPL
compatible. But as it has been said before the only licenses compatible with
GPL are weaker license, that are "at least" GPL. So a company getting into
the Caml Consortium might get rights to redistribute the compiler as GPL ?
Are you sure about that ? It looks like actually getting into the Consortium
helps with being able to fork privatly the compiler, as Lexifi did, but not
to redistribute a GPL version of this fork. I understand INRIA folks are not
lawyer, neither I am, but it looks logical.

Regards,
Nicolas Cannasse