Browse thread
OCaml defunctorization and other optimizations
-
Török_Edwin
-
Julien Signoles
-
Török_Edwin
-
Julien Signoles
-
Török_Edwin
- Maxence Guesdon
-
Török_Edwin
-
Julien Signoles
-
Török_Edwin
-
Julien Signoles
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2010-05-20 (13:16) |
From: | Maxence Guesdon <Maxence.Guesdon@i...> |
Subject: | Re: [Caml-list] OCaml defunctorization and other optimizations |
On Thu, 20 May 2010 15:04:44 +0300 Török Edwin <edwintorok@gmail.com> wrote: > > > As far as I > > know, the Ocaml development team does not accept so much external > > contributions (for many good reasons). > > OK, then it'll have to be an external tool (if I decide to write it > after all). If you decide to do so, you can have a look at oug[1] distrib, which uses internal modules of OCaml. You could copy the configuration machinery (configure.in, configure, checkocaml.ml) used to detect/indicate ocaml programs and ocaml compiled sources. Hope this helps, Maxence [1] http://home.gna.org/oug/index.en.html -- Maxence Guesdon http://yquem.inria.fr/~guesdon/ Service Expérimentation et Développements https://sed-roc.inria.fr/ INRIA Paris-Rocquencourt http://www.inria.fr/rocquencourt/