From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <weis@pauillac.inria.fr>
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id 946EEBCAE
	for <caml-list@yquem.inria.fr>; Thu, 14 Jul 2005 06:03:12 +0200 (CEST)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6E43CJ9024544
	for <caml-list@yquem.inria.fr>; Thu, 14 Jul 2005 06:03:12 +0200
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 GAA28304 for <caml-list@pauillac.inria.fr>; Thu, 14 Jul 2005 06:03:11 +0200 (MET DST)
Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1])
	by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6E439oO024540
	for <caml-list@inria.fr>; Thu, 14 Jul 2005 06:03:11 +0200
Received: from localhost (yomogi [130.54.16.40])
	by kurims.kurims.kyoto-u.ac.jp (8.13.1/8.13.1) with ESMTP id j6E438qJ009962
	for <caml-list@inria.fr>; Thu, 14 Jul 2005 13:03:08 +0900 (JST)
Date: Thu, 14 Jul 2005 13:03:08 +0900 (JST)
Message-Id: <20050714.130308.68552987.keiko@kurims.kyoto-u.ac.jp>
To: caml-list@inria.fr
Subject: type parameter of polymorphic variant types
From: Keiko Nakata <keiko@kurims.kyoto-u.ac.jp>
X-Mailer: Mew version 4.2 on Emacs 20.7 / Mule 4.1 (AOI)
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Miltered: at concorde with ID 42D5E400.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Miltered: at concorde with ID 42D5E3FD.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; checker:01 polymorphic:01 polymorphic:01 constraint:01 constraint:01 variant:02 variant:02 parameter:02 types:02 typo:03 definition:07 kyoto-u:10 kurims:11 moreover:11 reports:11 
X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.0.2
X-Spam-Level: 

Hello.

Why I cannot have these type definitions?

#type ('a,'b) t = ['a | 'b] constraint 'a =[>] constraint 'b = [>];;
#type ('a,'b) t = A of 'a * 'b constraint 'a = [>'b];;


Moreover, for the type definition 

#type ('a, 'b) u = 'a constraint 'a = [>`A | 'b] ;;

the type checker reports an error 

  Characters 48-50:
    type ('a,'b) t = A of 'a * 'b constraint 'a = [>'b];;
                                                    ^^
  The type 'a is not a polymorphic variant type

Is this a kind of typo of 'a for 'b or an intention?


Regards,
Keiko.