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 SAA13892 for caml-red; Mon, 14 Aug 2000 18:39:55 +0200 (MET DST)
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 MAA17114 for <caml-list@pauillac.inria.fr>; Fri, 11 Aug 2000 12:53:50 +0200 (MET DST)
Received: from wisbech.cl.cam.ac.uk (mta1.cl.cam.ac.uk [128.232.0.15])
	by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e7BArkj25385
	for <caml-list@inria.fr>; Fri, 11 Aug 2000 12:53:46 +0200 (MET DST)
Received: from sturgeon.cl.cam.ac.uk ([128.232.3.190] ident=exim)
	by wisbech.cl.cam.ac.uk with esmtp (Exim 3.092 #1)
	id 13NCRd-0004Uw-00
	for caml-list@inria.fr; Fri, 11 Aug 2000 11:53:45 +0100
Received: from kl216 by sturgeon.cl.cam.ac.uk with local (Exim 3.01 #1)
	id 13NCRd-0004y3-00
	for caml-list@inria.fr; Fri, 11 Aug 2000 11:53:45 +0100
To: caml-list@inria.fr
Subject: Re: exceptions in CamlLight 0.7 and OCaml
References: <200008110705.QAA00860@ropas.kaist.ac.kr>
From: Ken Friis Larsen <kfl@it.edu>
Date: 11 Aug 2000 11:53:45 +0100
In-Reply-To: Kwangkeun Yi's message of "Fri, 11 Aug 2000 16:05:49 +0900 (KST)"
Message-ID: <yruzomkf4qu.fsf@sturgeon.cl.cam.ac.uk>
User-Agent: Gnus/5.0807 (Gnus v5.8.7) Emacs/20.6
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Sender: weis@pauillac.inria.fr

Hi,

 Kwangkeun>  I have a quick question. Does OCaml have the same
 Kwangkeun>  implementation for exceptions as in CamlLight 0.7?
 
This I cannot answer with authority (but according to my memory, the
answer is yes)

 Kwangkeun>  if CamlLight implementation of exceptions is the same as
 Kwangkeun>  in OCaml we can use the Moscow ML without having to
 Kwangkeun>  translate our SML benchmarks into Caml.

I don't think that this will measure what you think it will measure.
Remember that exception differs slightly in SML and Caml: In SML
exceptions are generative.  In Moscow ML 2.00[1] _all_ SML exceptions
are roughly encoded as Caml exceptions of the form:

        exception SMLexc of string ref * 'a

(In the modified CamlLight runtime system of cause.  The code above is
not valid Caml.)

Where the string ref corresponds to the name of the exception.

Hope this helps.


Cheers,

--Ken


[1] Earlier implementations of Moscow ML used a much complicated
encoding where some exceptions had one encoding and others another.