From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA06486; Thu, 6 May 2004 23:14:03 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA05787 for ; Thu, 6 May 2004 23:14:02 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from ibook.champiland.homelinux.org (ca-sqy-15-158.w80-8.abo.wanadoo.fr [80.8.68.158]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i46LE1SH012473 for ; Thu, 6 May 2004 23:14:01 +0200 Received: from [127.0.0.1] (helo=ensta.org) by ibook.champiland.homelinux.org with esmtp (Exim 4.30) id 1BLnZt-0004zO-GG for caml-list@inria.fr; Thu, 06 May 2004 20:26:37 +0200 Message-ID: <409A835D.2040201@ensta.org> Date: Thu, 06 May 2004 20:26:37 +0200 From: Olivier Grisel User-Agent: Mozilla Thunderbird 0.5 (X11/20040313) X-Accept-Language: fr, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: [Caml-list] Functors References: In-Reply-To: X-Enigmail-Version: 0.83.2.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Miltered: at concorde with ID 409AAA99.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 functors:01 hash:01 alain:01 frisch:01 functorized:01 ocamldefun:01 rephrase:01 embedding:01 ocamldefun:01 compiler's:01 ocamlopt:01 foo:01 defun:01 foo:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Alain.Frisch@ens.fr a écrit : | On Thu, 6 May 2004, Jon Harrop wrote: |>Morever, static analysis tools do not generally correctly work on |>functorized programs: so a source-to-source defunctorizer as ocamldefun |>can be used by these tools while a defunctorizer directly included in |>the compiler cannot. | | | To rephrase it: since some static analysis are difficult to perform on | fonctors, it is good to have a standalone defunctorizer (not burried | into the compiler) to be used as a first pass of the analysis. | Yes, but what about embedding ocamldefun as option/switch in the compiler's command. Users could see it as another optimization option easy enough to trigger by just adding or removing a flag in the makefile. Those who wants to perform static analysis could use some other switch to explicitely dump the defunctorised source code, eg : $ ocamlopt -dump-defun foo.ml > defun_foo.ml best - -- Olivier -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.4 (GNU/Linux) Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org iD8DBQFAmoNcTsBRE+WZ2SARAhTDAJ9liZz3MSVD0h0opFPTGSR8JJnyUQCgts+m saP/ghOn3b5RRpFYIstOP+g= =rIIi -----END PGP SIGNATURE----- ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners