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 XAA30819 for caml-red; Sun, 8 Oct 2000 23:07:36 +0200 (MET DST)
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 SAA00233 for <caml-list@pauillac.inria.fr>; Sat, 7 Oct 2000 18:30:30 +0200 (MET DST)
Received: from dynabook (207-245-78-253.dca.net [207.245.78.253])
	by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e97GUTT05923
	for <caml-list@inria.fr>; Sat, 7 Oct 2000 18:30:29 +0200 (MET DST)
Received: from dynabook
	([127.0.0.1] helo=localhost ident=sumii)
	by dynabook with esmtp (Exim 3.12 #1 (Debian))
	id 13hwrU-00008E-00; Sat, 07 Oct 2000 12:30:12 -0400
To: proff@suburbia.net
Cc: caml-list@inria.fr, sumii@saul.cis.upenn.edu
From: eijiro_sumii@anet.ne.jp
Reply-To: sumii@saul.cis.upenn.edu
Subject: Re: automatic translation in Team PLClub ICFP'2000 entry
In-Reply-To: <20001007081929.BA6226C4D2@suburbia.net>
References: <20001006152659G.sumii@saul.cis.upenn.edu>
	<20001007081929.BA6226C4D2@suburbia.net>
X-Mailer: Mew version 1.94.1 on Emacs 20.7 / Mule 4.1 (AOI)
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-Id: <20001007123011D.sumii@saul.cis.upenn.edu>
Date: Sat, 07 Oct 2000 12:30:11 -0400
X-Dispatcher: imput version 991025(IM133)
Sender: weis@pauillac.inria.fr

> > compilation itself (including ocamlopt.opt) took some time, which
> > didn't pay.
> 
> There must be an adapative break even point though. e.g if you're
...
> And if so, compile.

Right, I actually tried that, but the "even point" was too high -- as
I wrote in our web page, my translator produced too complex Caml
programs, and ocaml{c,opt}{,.opt} often aborted after several minutes,
saying "out of registers" or "out of memory" or something like that...
I should probably have modified the translator to produce simpler
programs, but I didn't have the time to do that.

Eijiro