From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA20799 for caml-redistribution@pauillac.inria.fr; Sat, 15 Apr 2000 22:42:24 +0200 (MET DST)
Resent-Message-Id: <200004152042.WAA20799@pauillac.inria.fr>
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA06093 for <caml-list@pauillac.inria.fr>; Fri, 14 Apr 2000 13:05:47 +0200 (MET DST)
Received: from nef.ens.fr (ntp.ens.fr [129.199.96.34])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id NAA07657
	for <caml-list@inria.fr>; Fri, 14 Apr 2000 13:05:47 +0200 (MET DST)
Received: from cajou.ens.fr (cajou.ens.fr [129.199.99.58])
          by nef.ens.fr (8.9.3/1.01.28121999) with ESMTP id NAA93250
          for <caml-list@inria.fr>; Fri, 14 Apr 2000 13:05:46 +0200 (CEST)
Received: from localhost (logozzo@localhost) by cajou.ens.fr (8.9.2/jb-1.1)
	id NAA04980 for <caml-list@inria.fr>; Fri, 14 Apr 2000 13:05:45 +0200 (MET DST)
X-Authentication-Warning: cajou.ens.fr: logozzo owned process doing -bs
Date: Fri, 14 Apr 2000 13:05:45 +0200 (MET DST)
From: Francesco Logozzo <Francesco.Logozzo@ens.fr>
X-Sender: logozzo@cajou.ens.fr
To: caml-list@inria.fr
Subject: Defunctorizer
Message-ID: <Pine.GSO.4.03.10004141257390.4911-100000@cajou.ens.fr>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Resent-From: weis@pauillac.inria.fr
Resent-Date: Sat, 15 Apr 2000 22:42:23 +0200
Resent-To: caml-redistribution@pauillac.inria.fr

Hi,
	I would like to know if (someone knows if) it exists a
defunctorizer for OCAML, like :

http://www.cs.berkeley.edu/Research/Aiken/defunct.tar.gz

that exists for SML/NJ?

It would be very usefull for the work I'm doing.

Thanks,

  __
  \ \ 	Francesco Logozzo
  ------  
  \ \ \ \ Computer Science Student
   -------
    \ \ \ \ Scuola Normale Superiore di Pisa
  O/ -------
 /|   \ \ \ \  e-mail: logozzo@dmi.ens.fr
 / \   -------