From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <weis@pauillac.inria.fr>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id CC30ABB81
	for <caml-list@yquem.inria.fr>; Fri, 11 Nov 2005 07:27:47 +0100 (CET)
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 jAB6Rl9m023610
	for <caml-list@yquem.inria.fr>; Fri, 11 Nov 2005 07:27:47 +0100
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 HAA12412 for <caml-list@pauillac.inria.fr>; Fri, 11 Nov 2005 07:27:46 +0100 (MET)
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 jAB6RiMZ023601
	for <caml-list@inria.fr>; Fri, 11 Nov 2005 07:27:46 +0100
Received: from localhost (orion [130.54.16.5])
	by kurims.kurims.kyoto-u.ac.jp (8.13.1/8.13.1) with ESMTP id jAB6RhJp009566;
	Fri, 11 Nov 2005 15:27:44 +0900 (JST)
Date: Fri, 11 Nov 2005 15:27:43 +0900 (JST)
Message-Id: <20051111.152743.125102970.keiko@kurims.kyoto-u.ac.jp>
To: garrigue@math.nagoya-u.ac.jp
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] again private rows question 
From: Keiko Nakata <keiko@kurims.kyoto-u.ac.jp>
In-Reply-To: <20051111.144247.68530040.keiko@kurims.kyoto-u.ac.jp>
References: <20051110.125000.68545682.keiko@kurims.kyoto-u.ac.jp>
	<20051111.141222.106258050.garrigue@math.nagoya-u.ac.jp>
	<20051111.144247.68530040.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 437439E3.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Miltered: at concorde with ID 437439E0.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; caml-list:01 functor:01 typable:01 sig:01 val:01 struct:01 rec:01 sig:01 val:01 struct:01 ...:98 int:01 module:03 module:03 let:03 
X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.0.3

Sorry, again...

What is the difference beteen the functor F and the function f ?
(F is not typable, but f is)

module F(X:sig  
  type t = private [< `A | `B | `C ]
  val f : [`III ] -> t end) = 
  struct
    let rec g  = function
	[] -> []
      | `I  :: tl -> `A :: (g tl)
      | `II :: tl -> `B :: (g  tl)
      | (`III as iii) :: tl  -> 
	  let iii' = (X.f iii : [< `A | `B | `C ] :> [> `A | `B ]) in
	  iii' :: (g tl)
  end


let f (x : [< `A | `B | `C]) = (x : [< `A | `B | `C] :> [> `A | `B]);;

I also curious to know whether there is a way to 
make g's type depend on X.t in 

module G(X:sig type t = private [< `A ] val f : int -> t end) = struct
  let g x = if x = 0 then `B else X.f x 
end


Regards, 
Keiko NAKATA