Version française
Home     About     Download     Resources     Contact us    
Browse thread
exceptions in CamlLight 0.7 and OCaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Xavier Leroy <Xavier.Leroy@i...>
Subject: Re: exceptions in CamlLight 0.7 and OCaml
> 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