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 SAA23028 for caml-red; Wed, 8 Nov 2000 18:10:57 +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 KAA21140 for <caml-list@pauillac.inria.fr>; Tue, 7 Nov 2000 10:14:17 +0100 (MET)
Received: from dia200.dia.uniroma3.it (dia200.dia.uniroma3.it [193.204.161.237])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eA79EGb03700
	for <caml-list@inria.fr>; Tue, 7 Nov 2000 10:14:16 +0100 (MET)
Received: from dia.uniroma3.it (wgehrke@localhost [127.0.0.1])
	by dia200.dia.uniroma3.it (8.9.3/8.9.3/SuSE Linux 8.9.3-0.1) with ESMTP id KAA00777;
	Tue, 7 Nov 2000 10:13:00 +0100
Message-ID: <3A07C79B.9D0180A8@dia.uniroma3.it>
Date: Tue, 07 Nov 2000 10:13:00 +0100
From: Wolfgang Gehrke <wgehrke@dia.uniroma3.it>
Organization: Uni Roma III
X-Mailer: Mozilla 4.75 [en] (X11; U; Linux 2.2.14 i686)
X-Accept-Language: en, de
MIME-Version: 1.0
To: caml-list@inria.fr
Subject: lower-case tag names allowed?
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Sender: weis@pauillac.inria.fr

Hello,

the top level tells me:

        Objective Caml version 3.00
 
# let test1 = `A;;
val test1 : [> `A] = `A
# let test2 = `a;;
val test2 : [> `a] = `a

on the other hand the manual says:
Variant tag = uppercase (tag-name ::= capitalized-ident)

Personally I like to have both possibilities, but I would not like to
rewrite the code in the future. In fact one can bounce into a keyword
(let test = `method;; fails).
What is correct?

Thank you,
Wolfgang