From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 4B420D45F for ; Mon, 24 Oct 2005 19:53:46 +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 j9OHrj0Y007749 for ; Mon, 24 Oct 2005 19:53:46 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA04142 for ; Mon, 24 Oct 2005 19:53:45 +0200 (MET DST) Received: from laime.cs.uchicago.edu (laime.cs.uchicago.edu [128.135.11.94]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j9OHriIJ031590 for ; Mon, 24 Oct 2005 19:53:45 +0200 Received: from localhost (kadlec.cs.uchicago.edu [128.135.11.86]) by private.cs.uchicago.edu (Postfix) with ESMTP id 45FAC6D1C2 for ; Mon, 24 Oct 2005 12:53:44 -0500 (CDT) Received: from laime.cs.uchicago.edu ([128.135.11.94]) by localhost (kadlec.cs.uchicago.edu [128.135.11.86]) (amavisd-new, port 10024) with ESMTP id 13713-06; Mon, 24 Oct 2005 12:53:39 -0500 (CDT) Received: from fast-mail.cs.uchicago.edu (fast-mail.cs.uchicago.edu [128.135.24.225]) by laime.cs.uchicago.edu (Postfix) with ESMTP id B05B36D090; Mon, 24 Oct 2005 12:53:39 -0500 (CDT) Received: by fast-mail.cs.uchicago.edu (Postfix, from userid 10196) id 8FF3A3977; Mon, 24 Oct 2005 12:53:39 -0500 (CDT) Date: Mon, 24 Oct 2005 12:53:39 -0500 To: caml-list@inria.fr Subject: GC question. Message-ID: <20051024175339.GA4331@fast-mail.cs.uchicago.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.6+20040818i From: hammer@cs.uchicago.edu (MATTHEW HAMMER) X-Miltered: at concorde with ID 435D1FA9.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 435D1FA8.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; uchicago:01 libref:01 ocaml:01 functor:01 concretely:01 typable:01 sig:01 val:01 struct:01 typable:01 sig:01 val:01 struct:01 caml-list:01 caml-list:01 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 Is there more documentation on the stuff in the Obj module? What I see/know-about is here: http://caml.inria.fr/pub/docs/manual-ocaml/libref/Obj.html I'm very interested in getting (write) access to GC-information on ocaml values. Thanks, Matt On Mon, Oct 24, 2005 at 05:51:54PM +0900, Keiko Nakata wrote: > Hello. > > Why I cannot have *any types* in signatures of functor arguments? > Concretely, the following F is not typable. > > module F(X:sig type t = [`A of _ ] val f : t -> int end) = > struct > let f = function `A x as a -> X.f a | `B -> 0 > end > > The above F could be made typable as in > > module F(X:sig type s type t = [`A of s ] val f : t -> int end) = > struct > let f = function `A x as a -> X.f a | `B -> 0 > end > > However, this change requires me to add the type component s > to every module to which F are going to be applied. > This is not very nice... > > Regards, > Keiko Nakata > > > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs