Stéphane Glondu wrote: > C sure is not a good target language, but assembly is not either. > The assembly backends of ocamlopt (and GHC... there is no support at all on > some Debian ports) look like a maintenance burden that their authors obviously > cannot cope with. I find the idea of making ocamlopt a GCC (or > LLVM) frontend the most sensible and constructive one I've seen in these > discussions.
Perhaps because OCaml already has an efficient cross-platform bytecode interpreter. > However, one barrier is the licensing: QPL is incompatible with almost any > license (even QT does no longer use it!). Has it ever been considered to > switch > the "public" license to e.g. GPLv3 (which looks constraining enough, and > compatible with GCC)? Don't forget the CAML Consortium are selling OCaml under less restrictive licences. Cheers, Jon. -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
