From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA10492 for caml-redistribution; Thu, 14 Oct 1999 14:56:27 +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 OAA16995 for ; Wed, 13 Oct 1999 14:18:06 +0200 (MET DST) Received: from mail.nap.com.ar (mail-in.nap.com.ar [200.49.40.90]) by nez-perce.inria.fr (8.8.7/8.8.7) with SMTP id OAA22526; Wed, 13 Oct 1999 14:17:57 +0200 (MET DST) Received: from [200.41.180.73] (HELO k-bell.com) by mail.nap.com.ar (Stalker SMTP Server 1.8b3) with ESMTP id S.0003767996; Wed, 13 Oct 1999 09:17:54 -0300 Message-ID: <3804786E.270349D2@k-bell.com> Date: Wed, 13 Oct 1999 09:18:09 -0300 From: =?iso-8859-1?Q?Mat=EDas?= Giovannini Reply-To: matias@k-bell.com Organization: Script S.A. X-Mailer: Mozilla 4.7 (Macintosh; I; PPC) X-Accept-Language: en,es-AR,es MIME-Version: 1.0 To: caml-list@inria.fr CC: Damien Doligez Subject: Re: Stdlib regularity References: <199910121621.SAA20386@tobago.inria.fr> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: weis Damien Doligez wrote: > > >From: =?iso-8859-1?Q?Mat=EDas?= Giovannini > > >There is no way to pre-load a prelude file in the interpreter without > >relinking a custom runtime, is it? > > If you mean the toplevel system, there is, and it's in the manual: > > (from ) > > >On start-up (before the first phrase is read), if the file .ocamlinit > >exists in the current directory, its contents are read as a sequence > >of Objective Caml phrases and executed as per the #use directive > >described in section 9.2. The evaluation outcode for each phrase are > >not displayed. > > -- Damien Wow, I always thought it only worked on UNIX, but it actually does work on MacOS too. Thanks for pointing this out. -- I got your message. I couldn't read it. It was a cryptogram. -- Laurie Anderson