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 RAA29118 for caml-red; Mon, 16 Oct 2000 17:02:33 +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 OAA27869 for <caml-list@pauillac.inria.fr>; Mon, 16 Oct 2000 14:53:08 +0200 (MET DST)
Received: from mrwall.kal.com (mrwall.kal.com [194.193.14.236])
	by concorde.inria.fr (8.10.0/8.10.0) with SMTP id e9GCr7P21460;
	Mon, 16 Oct 2000 14:53:07 +0200 (MET DST)
Received: from mrwall.kal.com [194.193.14.236]
	(HELO localhost)
	by mrwall.kal.com (AltaVista Mail V2.0J/2.0J BL25J listener)
	id 0000_0050_39ea_fa5c_841e;
	Mon, 16 Oct 2000 13:53:48 +0100
Received: from somewhere by smtpxd
Message-ID: <3145774E67D8D111BE6E00C0DF418B6631EF83@nt.kal.com>
From: Dave Berry <dave@kal.com>
To: Xavier Leroy <Xavier.Leroy@inria.fr>,
        David McClain
  <dmcclain@azstarnet.com>, caml-list@inria.fr
Subject: RE: OCaml and C math routines
Date: Mon, 16 Oct 2000 13:55:06 +0100
MIME-Version: 1.0
X-Mailer: Internet Mail Service (5.0.1460.8)
Content-Type: text/plain;
	charset="iso-8859-1"
Sender: weis@pauillac.inria.fr

As a member of the SML Basis Library committee, my answer is quite simple.
The SML Basis Library is a specification, and does not specify that
mathematical functions should be implemented in ML.  For the most part, the
specification puts as few constraints as possible on implementations.  I'm
pretty certain that MLWorks implemented these functions in C.
 
Dave.