From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.6 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL 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 9E889BBAF for ; Tue, 20 Jan 2009 12:25:04 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At8AAONCdUlIDtyekGdsb2JhbACTRz4BAQEBCQkMBxEDqWyNKgEDAQOCSIMogn4 X-IronPort-AV: E=Sophos;i="4.37,295,1231110000"; d="scan'208";a="34010942" Received: from fg-out-1718.google.com ([72.14.220.158]) by mail4-smtp-sop.national.inria.fr with ESMTP; 20 Jan 2009 12:25:04 +0100 Received: by fg-out-1718.google.com with SMTP id l27so1411174fgb.43 for ; Tue, 20 Jan 2009 03:25:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:sender:message-id:from:to :in-reply-to:content-type:content-transfer-encoding:mime-version :subject:date:references:x-mailer; bh=CX4fecPm9Bp3JAQu0F6vp+scBJ3vbfv3eMWh9c8ep9I=; b=lcDAikzKKrLRcWAFR5v3K1gcgRqJAbZMMJbpmcm6Pxjn9xn9ueX97uwexHlOCvffxY I+2xZhNUXDaXp9Girntl/Jb3xnN6iqIMLuP4e6h+UsMDHc6/azlY+oyH882RUJgfn3FB RJqcqzEXUu2EqMfGjsFjyfqUaw7KTVT2fr48Q= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=sender:message-id:from:to:in-reply-to:content-type :content-transfer-encoding:mime-version:subject:date:references :x-mailer; b=KXx35Z4alPowulVJdrf4aSr79FC405VsKFbWdd/gpSLVLszR2ifKcN9i9pS6CAy95B mozSVgUFxewvqOVocaD79L0Rl3Z1I3zBbRA7h97Vk4QIVs3/MoVDU8BkowKg48ZvZkGu UaubiTo+e/CeeX/LkuyFM8rpFes/dBJlMioS4= Received: by 10.86.54.3 with SMTP id c3mr2025178fga.60.1232450704031; Tue, 20 Jan 2009 03:25:04 -0800 (PST) Received: from ?192.168.1.34? (161-134.76-83.cust.bluewin.ch [83.76.134.161]) by mx.google.com with ESMTPS id e11sm2704748fga.52.2009.01.20.03.25.03 (version=TLSv1/SSLv3 cipher=RC4-MD5); Tue, 20 Jan 2009 03:25:03 -0800 (PST) Sender: =?UTF-8?Q?Daniel_B=C3=BCnzli?= Message-Id: From: =?ISO-8859-1?Q?Daniel_B=FCnzli?= To: OCaml List In-Reply-To: <4975AEA2.6050901@inescporto.pt> Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Apple Message framework v930.3) Subject: Re: [Caml-list] Making a polymorphic type non-polymorphic to comply with original signature Date: Tue, 20 Jan 2009 12:24:27 +0100 References: <4975AEA2.6050901@inescporto.pt> X-Mailer: Apple Mail (2.930.3) X-Spam: no; 0.00; bunzli:01 buenzli:01 hashtbl:01 hashedtype:01 node:01 functor:01 acb:98 polymorphic:01 caml-list:01 caml:02 caml:02 parameter:02 groups:02 library:03 library:03 Le 20 janv. 09 =E0 11:59, Hugo Ferreira a =E9crit : > Is it possible to make H comply with Hashtbl.HashedType i.e: make > J.Key =3D 'a H.node ? This issue is well known (e.g. see here [1]). Your are running into =20 limitations of the standard library. The only unsatisfying answer is =20 to copy the code from the standard library and add the parameter =20 yourself. Best, Daniel [1] = http://groups.google.com/group/fa.caml/browse_thread/thread/f2acb593da9155= 3c?hl=3Dfr&ie=3DUTF-8&q=3Dtype+var+in+functor+fa.caml