From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jonathan.roewen@gmail.com>
Delivered-To: caml-list@yquem.inria.fr
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78])
	by yquem.inria.fr (Postfix) with ESMTP id 55087BCAC
	for <caml-list@yquem.inria.fr>; Sat, 28 May 2005 08:30:05 +0200 (CEST)
Received: from rproxy.gmail.com (rproxy.gmail.com [64.233.170.207])
	by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j4S6U4VR011330
	for <caml-list@yquem.inria.fr>; Sat, 28 May 2005 08:30:05 +0200
Received: by rproxy.gmail.com with SMTP id a36so575986rnf
        for <caml-list@yquem.inria.fr>; Fri, 27 May 2005 23:30:04 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
        s=beta; d=gmail.com;
        h=received:message-id:date:from:reply-to:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=Jk8UE4wuJ1eZR6zMBMzOyy/RWhS5lg2OrKbICejE22sxVeU86Zf/5kUaG7sDXtDEfGYFgNG4yYt9GafGPMMLxapCGIt6s8S12QhQ2fps/x0WIii9K7SiRNKPIxz5Dyt09dSR/cAA7Klc0gMepFL7ecfVhPhnfk9JuqJwdegmsTs=
Received: by 10.38.89.40 with SMTP id m40mr1080998rnb;
        Fri, 27 May 2005 23:30:04 -0700 (PDT)
Received: by 10.38.209.33 with HTTP; Fri, 27 May 2005 23:30:04 -0700 (PDT)
Message-ID: <ad8cfe7e050527233050c7801b@mail.gmail.com>
Date: Sat, 28 May 2005 18:30:04 +1200
From: Jonathan Roewen <jonathan.roewen@gmail.com>
Reply-To: Jonathan Roewen <jonathan.roewen@gmail.com>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Building the compilers
In-Reply-To: <ad8cfe7e050527200945192686@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
References: <ad8cfe7e050527200945192686@mail.gmail.com>
X-Miltered: at nez-perce with ID 42980FEC.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; caml-list:01 compilers:01 ocaml:01 posix:01 idioms:01 ocaml:01 pervasives:01 printf:01 compilers:01 binary:01 unix:01 simpler:01 library:03 library:03 interface:05 
X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr
X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_BY_IP autolearn=disabled 
	version=3.0.2
X-Spam-Level: 

> Hi,
>=20
> I'm working on building an ocaml environment free of Unix/POSIX
> idioms, which requires hacking a number of parts of the OCaml standard
> library (Pervasives, Printf, etc).

Another question, which might result in a simpler approach. How does
the standard library work with the compilers? For example, is it
possible to replace just the binary and interface files of the
standard library with new ones?

Jonathan