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 TAA14504 for caml-red; Thu, 8 Feb 2001 19:41:03 +0100 (MET)
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 TAA24410 for <caml-list@pauillac.inria.fr>; Thu, 8 Feb 2001 19:40:50 +0100 (MET)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f18IekX08435;
	Thu, 8 Feb 2001 19:40:46 +0100 (MET)
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA09086; Thu, 8 Feb 2001 19:40:46 +0100 (MET)
From: Pierre Weis <Pierre.Weis@inria.fr>
Message-Id: <200102081840.TAA09086@pauillac.inria.fr>
Subject: Re: Help with toplevel
In-Reply-To: <A3AF185A9D48B3489F7CD9FE0F6E63A0036F52@sus-ca3it10> from "Bauer, Robert" at "Feb 7, 101 01:51:03 pm"
To: rbauer@rational.com (Bauer, Robert)
Date: Thu, 8 Feb 2001 19:40:46 +0100 (MET)
Cc: caml-list@inria.fr
X-Mailer: ELM [version 2.4ME+ PL28 (25)]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: weis@pauillac.inria.fr

> Hi all,
> 
> I new to ocaml but not to ml.  I've installed ocaml 3.00 on my unix systems
> and my windows systems.  On each of these platforms, I cannot use top level
> functions such as "use", "quit", etc.
> 
> I've checked the sources in toplevel and the "functions" are defined, but
> for some reason they are not defined in my executables - so, I think that I
> am must not be doing something that I should (be doing).
> 
> Help???????
> 
> Robert

Have a look at the basic Objective Caml examples at adress

http://pauillac.inria.fr/caml/Examples/oc/basics/eng.html

Calling the Caml compiler:
  to compile the file hello.ml to executable program a.out type
    ocamlc hello.ml
  to compile the file hello.ml to executable program hello type
    ocamlc -o hello hello.ml


To try interactively: call the Caml interactive system
        ocaml

Then type in (don't forget the initial # sign, that
indicates a directive)

        #use "loadall.ml";;

Hope this helps,

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/