From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <d.o.teller@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.2 required=5.0 tests=DATE_IN_PAST_24_48,
	SPF_NEUTRAL autolearn=disabled version=3.1.3
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id 5B1B7BC6E
	for <caml-list@yquem.inria.fr>; Thu, 24 May 2007 15:14:51 +0200 (CEST)
Received: from an-out-0708.google.com (an-out-0708.google.com [209.85.132.249])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4ODEdAu019648
	for <caml-list@inria.fr>; Thu, 24 May 2007 15:14:49 +0200
Received: by an-out-0708.google.com with SMTP id c24so36002ana
        for <caml-list@inria.fr>; Thu, 24 May 2007 06:14:49 -0700 (PDT)
DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed;
        d=gmail.com; s=beta;
        h=domainkey-signature:received:received:subject:to:cc:in-reply-to:references:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:from;
        b=eYz44shEdggF96ui3X1VMNUcWeJYGRAt8wz6MsdnvI1DLAlU677ZruKLwhDI8B+FYxAVoTjGiC9H1NU9tUzfoQw5i5O69nkSJYsKJjEzlwT5/zLrzDGiZw/Omr/W59hHg2CxoUUwpasSNGh9JYEW51hhWb8dWJ8qDzBOG29Z/kY=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=beta;
        h=received:subject:to:cc:in-reply-to:references:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:from;
        b=XCu61HSGezhdBdNCIhdo2eSRBJpuxW/ncZ3ue2P63QinlHyv+Xf6KpnhtW8CMYcJg5P8BCEXDX9LcMuxEpfkVIhVcL23HfxJp/5MP4vF/4BZN6cxjEYtLXHLNS0YrMZE/gKYDIXUSTA2ugDbWOCpMrAhGA7aHaI6JMGnTPWSY5U=
Received: by 10.100.108.11 with SMTP id g11mr1486773anc.1180012488950;
        Thu, 24 May 2007 06:14:48 -0700 (PDT)
Received: from ?192.168.2.12? ( [24.173.161.251])
        by mx.google.com with ESMTP id c37sm4709146ana.2007.05.24.06.14.45;
        Thu, 24 May 2007 06:14:48 -0700 (PDT)
Subject: Re: [Caml-list] Teaching bottomline, part 3: what should improve.
To: "William D. Neumann" <wneumann@cs.unm.edu>
Cc: OCaml <caml-list@inria.fr>
In-Reply-To: <Pine.LNX.4.62.0705221620130.10974@io.cs.unm.edu>
References: <1179871823.6966.78.camel@Blefuscu>
	 <Pine.LNX.4.62.0705221620130.10974@io.cs.unm.edu>
Content-Type: text/plain
Date: Wed, 23 May 2007 09:07:28 -0400
Message-Id: <1179925648.6966.105.camel@Blefuscu>
Mime-Version: 1.0
X-Mailer: Evolution 2.10.1 
Content-Transfer-Encoding: 7bit
From: David Teller <d.o.teller@gmail.com>
X-j-chkmail-Score: MSGID : 46558FBF.000 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at concorde with ID 46558FBF.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; cheers:01 'option':01 2007,:98 wrote:01 wrote:01 caml-list:01 exceptions:01 neumann:02 neumann:02 types:03 types:03 tue:06 tue:06 manual:06 indeed:07 

Indeed, but not in Appendix V, "Index of types" and "Index of values".
Which is the right place to look for this kind of information.

Cheers,
 David

On Tue, 2007-05-22 at 16:22 -0600, William D. Neumann wrote:
> On Tue, 22 May 2007, David Teller wrote:
> 
> > * Type 'option' doesn't appear in the list of types of the
> > documentation. Nor do 'Some' and 'None' appear in the list of values.
> 
> Huh?  It's there in section 19.1 of the manual -- Built-in types and 
> pre-defined exceptions.
> 
> William D. Neumann