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 SAA12756 for caml-red; Mon, 14 Aug 2000 18:36:50 +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 KAA16130 for <caml-list@pauillac.inria.fr>; Fri, 11 Aug 2000 10:29:59 +0200 (MET DST)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e7B8Tpv10154;
	Fri, 11 Aug 2000 10:29:51 +0200 (MET DST)
Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA15923; Fri, 11 Aug 2000 10:29:51 +0200 (MET DST)
Message-ID: <20000811102951.30505@pauillac.inria.fr>
Date: Fri, 11 Aug 2000 10:29:51 +0200
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Kwangkeun Yi <kwang@ropas.kaist.ac.kr>, caml-list@inria.fr
Subject: Re: exceptions in CamlLight 0.7 and OCaml
References: <200008110705.QAA00860@ropas.kaist.ac.kr>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Mailer: Mutt 0.89.1
In-Reply-To: <200008110705.QAA00860@ropas.kaist.ac.kr>; from Kwangkeun Yi on Fri, Aug 11, 2000 at 04:05:49PM +0900
Sender: weis@pauillac.inria.fr

> I have a quick question. Does OCaml have the same implementation for
> exceptions as in CamlLight 0.7?

The implementation model for exceptions is similar.  However, the
virtual machines of Caml Light and OCaml have significant differences;
not to mention the OCaml native-code compiler.

> We want to test our source-level transformation of Standard ML programs
> in both SML/NJ and OCaml. But because what we want to measure is only
> about exceptions, if CamlLight implementation of exceptions is the
> same as in OCaml we can use the Moscow ML without having to translate
> our SML benchmarks into Caml.

You can always run your tests under Moscow ML, but don't extrapolate
the results to Caml Light and especially not to OCaml; that would not
be scientific.

- Xavier Leroy