From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1E9xhVH015284 for ; Tue, 14 Feb 2012 10:59:43 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlYFAMcvOk+7SSC7nGdsb2JhbABEgxGCA6scIgEBAQEBCAsJCRQngXIBAQUjVhALDgoCAiYCAiANASkGiBiqZIo1gS+KcQECAQIFAwQHCgQHGgMBAgECAoN1AQgtgjOBFgSbDF+MQw X-IronPort-AV: E=Sophos;i="4.73,416,1325458800"; d="scan'208";a="131264376" Received: from mta115.f1.k8.com.br ([187.73.32.187]) by mail4-smtp-sop.national.inria.fr with ESMTP; 14 Feb 2012 10:59:37 +0100 Received: from localhost (localhost [127.0.0.1]) by smtpz.f1.k8.com.br (Postfix) with ESMTP id DC7C560073; Tue, 14 Feb 2012 09:59:34 +0000 (UTC) X-Virus-Scanned: amavisd-new at k8.com.br Received: from smtpz.f1.k8.com.br ([127.0.0.1]) by localhost (mta115.f1.k8.com.br [127.0.0.1]) (amavisd-new, port 10024) with LMTP id ytsudbGt1gok; Tue, 14 Feb 2012 09:59:34 +0000 (UTC) Received: from [10.7.5.14] (fosforo.f2.k8.com.br [200.150.156.10]) by smtpz.f1.k8.com.br (Postfix) with ESMTPA id 45AED6005D; Tue, 14 Feb 2012 09:59:34 +0000 (UTC) Message-ID: <1329213575.13129.0.camel@andre> From: Andre Nathan To: Arnaud Spiwack Cc: caml-list@inria.fr Date: Tue, 14 Feb 2012 07:59:35 -0200 In-Reply-To: References: <4F399DD5.3000507@digirati.com.br> Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.2.2- Content-Transfer-Encoding: 7bit Mime-Version: 1.0 Subject: Re: [Caml-list] What am I reinventing here? On Tue, 2012-02-14 at 08:03 +0100, Arnaud Spiwack wrote: > You're probably trying to use functors > ( http://caml.inria.fr/pub/docs/manual-ocaml/manual004.html#toc15 ). > Though your example code isn't doing anything in particular. Can you give me an example? How can I retain the possibility of pattern-matching on the types of the resulting module? Thanks, Andre >