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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 9EE2FBC57 for ; Mon, 20 Sep 2010 16:35:50 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.56,394,1280700000"; d="vcf'?scan'208";a="59651635" Received: from vpn-rocq-165.inria.fr (HELO [127.0.0.1]) ([128.93.42.165]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 20 Sep 2010 16:35:50 +0200 Message-ID: <4C97714A.6050403@inria.fr> Date: Mon, 20 Sep 2010 16:35:54 +0200 From: Dumitru Potop-Butucaru User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US; rv:1.9.2.9) Gecko/20100915 Thunderbird/3.1.4 MIME-Version: 1.0 To: caml-list@inria.fr Subject: How can I set a type parameter of Map.Make(X) ? Content-Type: multipart/mixed; boundary="------------010604070801070205080403" X-Spam: no; 0.00; browsed:01 jacky:98 polymorphic:01 parameter:02 parameter:02 module:03 multi-part:94 trivially:05 inria:06 definition:07 quite:08 i'm:09 consider:09 maps:10 setting:10 X-Attachments: cset="utf-8" name="dumitru_potop_butucaru.vcf" name="dumitru_potop_butucaru.vcf" This is a multi-part message in MIME format. --------------010604070801070205080403 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Hello, I'm certain most users here will consider the question trivially simple, but I browsed the documentation without finding a solution. The question is quite general: Given a polymorphic definition like Map.Make(X), where X is some module, how can I specialize its 'a type parameter, e.g. by setting it to Y, so that I have maps from X to Y ? Yours, Jacky Potop --------------010604070801070205080403 Content-Type: text/x-vcard; charset=utf-8; name="dumitru_potop_butucaru.vcf" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="dumitru_potop_butucaru.vcf" begin:vcard fn:Dumitru Potop-Butucaru n:Potop-Butucaru;Dumitru org:INRIA Rocquencourt;Project AOSTE adr:;;Domaine de Voluceau, BP 105;Le Chesnay;;F-78153;France email;internet:dumitru.potop_butucaru@inria.fr tel;work:+33-139.63.55.80 tel;fax:+33-139.63.51.93 x-mozilla-html:FALSE url:http://www.DumitruPotop.net version:2.1 end:vcard --------------010604070801070205080403--