From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <serp@stork.ru>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by yquem.inria.fr (Postfix) with ESMTP id B4030BBAF
	for <caml-list@yquem.inria.fr>; Thu, 18 Sep 2008 10:31:38 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AoICAN+u0UjAXQIniGdsb2JhbACTDQEBAQ8gpheBZw
X-IronPort-AV: E=Sophos;i="4.32,420,1217800800"; 
   d="scan'208";a="17079753"
Received: from concorde.inria.fr ([192.93.2.39])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 18 Sep 2008 10:31:38 +0200
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m8I8VbAW030811
	(version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK)
	for <caml-list@inria.fr>; Thu, 18 Sep 2008 10:31:38 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApoEAGeu0UhREHR+/2dsb2JhbAC5U4Fn
X-IronPort-AV: E=Sophos;i="4.32,420,1217800800"; 
   d="scan'208";a="29316189"
Received: from unknown (HELO office.stork.ru) ([81.16.116.126])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Sep 2008 10:31:37 +0200
Received: from [192.168.21.130] (serp [192.168.21.130])
	by office.stork.ru (8.13.5/8.13.5) with ESMTP id m8I8VTIS006329
	for <caml-list@inria.fr>; Thu, 18 Sep 2008 12:31:34 +0400
Subject: Recursive parametrized classes bug?
From: =?UTF-8?Q?=D0=A1=D0=B5=D1=80=D0=B3=D0=B5=D0=B9_?= =?UTF-8?Q?=D0=9F=D0=BB=D0=B0=D0=BA=D1=81=D0=B8=D0=BD?= <serp@stork.ru>
To: Caml List <caml-list@inria.fr>
Content-Type: text/plain
Date: Thu, 18 Sep 2008 12:31:27 +0400
Message-Id: <1221726687.15768.3.camel@serphost.localdomain>
Mime-Version: 1.0
X-Mailer: Evolution 2.22.3.1 
Content-Transfer-Encoding: 7bit
X-Miltered: at concorde with ID 48D211E9.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; recursive:01 parametrized:01 bug:01 recursion:01 W12:98 W14:98 inherit:01 inherit:01 constraint:01 int:01 int:01 parameter:02 float:03 float:03 compiled:04 

>>> cat test.ml
class type ['a] a  =
  object
    method v: 'a
  end
and b =
  object
    inherit [int] a
  end
and c =
  object
    inherit [float] a
  end
=======
File "test.ml", line 15, characters 13-18:
The type parameter float does not meet its constraint: it should be int

---------------------
Whithou recursion it compiled successfully.

class type ['a] a  =
  object
    method v: 'a
  end

class type b =
  object
    inherit [int] a
  end

class type c =
  object
    inherit [float] a
  end