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 WAA09471; Fri, 29 Jun 2001 22:46:39 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 WAA09435 for ; Fri, 29 Jun 2001 22:46:39 +0200 (MET DST) Received: from sus-ca3it02.rational.com (ext-20001.rational.com [130.213.2.5] (may be forged)) by nez-perce.inria.fr (8.11.1/8.10.0) with SMTP id f5TKkbn18189 for ; Fri, 29 Jun 2001 22:46:38 +0200 (MET DST) Received: from 172.19.60.36 by sus-ca3it02.rational.com (InterScan E-Mail VirusWall NT); Fri, 29 Jun 2001 13:53:27 -0700 Received: by sus-ca3it02.rational.com with Internet Mail Service (5.5.2653.19) id ; Fri, 29 Jun 2001 13:53:27 -0700 Message-ID: From: "Bauer, Robert" To: caml-list@inria.fr Subject: [Caml-list] linking ocaml with java Date: Fri, 29 Jun 2001 13:53:18 -0700 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2653.19) Content-Type: text/plain; charset="iso-8859-1" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, I wrote a very simple tautology checker in ocaml - I have an existing application in java that could benefit from it. I suppose I could go from ocaml to COM and from jintegra into java and the other way around; however, I would much prefer to have ocaml and java work together without an intermediary. I am under the impression that some versions of ML already have translators to java byte code - I am assuming that this is the case for ocaml although I didn't see anything on the caml web page that confirms my impression. If it is possible to link ocaml with java, could someone point me to some documentation or provide the instructions. Thanks. Robert ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr