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=none autolearn=disabled 
	version=3.1.3
X-Original-To: Caml-list@yquem.inria.fr
Delivered-To: Caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 2729EBBCA;
	Mon, 17 Mar 2008 13:26:27 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApoEALgA3kdREHVi/2dsb2JhbACnEg
X-IronPort-AV: E=Sophos;i="4.25,512,1199660400"; 
   d="scan'208";a="23860598"
Received: from unknown (HELO office.stork.ru) ([81.16.117.98])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 17 Mar 2008 13:26:14 +0100
Received: from serp.office.stork.ru (serp [192.168.21.130])
	by office.stork.ru (8.13.5/8.13.5) with ESMTP id m2HDk8oZ013415;
	Mon, 17 Mar 2008 16:46:09 +0300
Message-ID: <47DE6364.4080204@stork.ru>
Date: Mon, 17 Mar 2008 15:26:12 +0300
From: SerP <serp@stork.ru>
User-Agent: Thunderbird 2.0.0.12 (X11/20080226)
MIME-Version: 1.0
To: Caml-list@yquem.inria.fr,
	caml-list-bounces <caml-list-bounces@yquem.inria.fr>
Subject: Re: [Caml-list] Polymorphic method and polymorphic type
References: <47DE4635.7050101@stork.ru>
In-Reply-To: <47DE4635.7050101@stork.ru>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; variants:01 polymorphic:01 polymorphic:01 caml-list:01 variant:02 mode:13 type:14 type:14 but:14 instead:14 use:16 method:17 watch:78 stork:23 works:26 

but if we use simple variant type instead of polymorphic variants it 
works perfect


type 'a get_mode = [ Read | Watch of (#getter as 'a)];;