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 LAA06079; Fri, 16 Jan 2004 11:02:57 +0100 (MET) 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 LAA06067 for ; Fri, 16 Jan 2004 11:02:56 +0100 (MET) Received: from tcs.inf.tu-dresden.de (orchid.inf.tu-dresden.de [141.76.75.101]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id i0G8eI500151 for ; Fri, 16 Jan 2004 09:40:18 +0100 (MET) Received: from ithif51.inf.tu-dresden.de (ithif51 [141.76.75.51]) by tcs.inf.tu-dresden.de (8.12.9/8.12.9) with ESMTP id i0G8eC7n002649 for ; Fri, 16 Jan 2004 09:40:12 +0100 (MET) Received: from tews by ithif51.inf.tu-dresden.de with local (Exim 3.36 #1 (Debian)) id 1AhPWW-0003AI-00 for ; Fri, 16 Jan 2004 09:40:12 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <16391.41836.251525.54048@ithif51.inf.tu-dresden.de> Date: Fri, 16 Jan 2004 09:40:12 +0100 To: Subject: Re: [Caml-list] Stupid question In-Reply-To: References: <20040116094357V.garrigue@kurims.kyoto-u.ac.jp> X-Mailer: VM 7.17 under Emacs 21.2.1 From: Hendrik Tews X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang) at tcs.inf.tu-dresden.de X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 stupid:01 hendrik:01 tews:01 tews:01 bug:01 hendrik:01 tu-dresden:01 ocaml:01 int:01 int:01 writes:01 syntax:02 variant:02 float:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Brian Hurt writes: OK. This makes more sense. Well, except for the nitpicking detail that true and false are not valid variant type identifiers, they should be True and False. There is a special exception: true, false, [], (), and :: are constructor names, see 6.3 Naming objects. One can ideed write # type x = true of int | () of string | :: of float only [] do not work as (not ;-)) expected: # type x = [] of int;; Syntax error (I think I filed a bug report about [], but the ocaml web pages are just not reachable, so I can't give a reference.) Bye, Hendrik ------------------- 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