From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA20139; Wed, 24 Apr 2002 15:15:09 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 PAA20188 for ; Wed, 24 Apr 2002 15:15:08 +0200 (MET DST) Received: from hirsch.in-berlin.de (hirsch.in-berlin.de [192.109.42.6]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g3ODF7H16056 for ; Wed, 24 Apr 2002 15:15:07 +0200 (MET DST) Received: from hirsch.in-berlin.de (localhost [127.0.0.1]) by hirsch.in-berlin.de (8.12.1/8.12.1/Debian -2) with ESMTP id g3ODF6TL017872 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NOT) for ; Wed, 24 Apr 2002 15:15:07 +0200 Received: (from uucp@localhost) by hirsch.in-berlin.de (8.12.1/8.12.1/Debian -2) with UUCP id g3ODF6SD017864 for caml-list@inria.fr; Wed, 24 Apr 2002 15:15:06 +0200 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: caml-list@inria.fr Received: from localhost (oliver@localhost) by first.in-berlin.de (8.7.6/8.7.3) with SMTP id OAA00557 for ; Wed, 24 Apr 2002 14:48:42 +0200 Date: Wed, 24 Apr 2002 14:48:41 +0200 (MET DST) From: Oliver Bandel To: caml-list@inria.fr Subject: [Caml-list] Some/None Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello, first time I saw Some- and None-Identifiers in Sourcecode, answered to my questions, I thought about it, that it's pseudocode. I have not found any description in the Ref-Manual (for 3.01). Yesterday again Some/None apperaead in the answers to my questions, and I again looked for it. In the 3.04-Manual there is no entry for Some/None in the Index. After downloading the textversion (oh, I like plaintext :)), I found Some/None, but not very detailed explained. How are Some/None defined, what are they good for? A small, simple example will help a lot. I found a definition of type option (parametrized type) in the ocaml-3.04-refman.txt, but the typesystem itself is new to me, because I'm an Ocaml-beginner. Can you explain me this type? It's used in some of the answers to my filesystem-traversing- question and to understand it completely, I need this Some-/None-knowledge. Thanx In Advance, Oliver ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners