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=1.0 required=5.0 tests=AWL,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 discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 146BCBC6C for ; Mon, 30 Jul 2007 10:02:14 +0200 (CEST) Received: from ik-out-1112.google.com (ik-out-1112.google.com [66.249.90.183]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6U82D7d024426 for ; Mon, 30 Jul 2007 10:02:13 +0200 Received: by ik-out-1112.google.com with SMTP id b35so1018677ika for ; Mon, 30 Jul 2007 01:02:13 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=googlemail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=YqFkNWtXT8KkyKPm+7o+vHgCld5DDRTKABxWK9ANSJjiDgLMSBOCLMEj+jxvFNILw+pXHF12eb3nukaMFMYpGf/P1ODjHmJAa12K6SU948NYAth3fh7bULialC94CCgG0HDsF1BxLjnGyZBAZQOg4kdAVaocYxS8fiFGjCtiryE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=beta; h=received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=Zp9Dn8jAGtSeUPFNR6vwLdXzWQ4f+f6wAy0bdCOFCq8eVHK1URNXeGy4P01pEMIGi2EywhiZ+LaDgBz0JnT3MBGuLyF3UgFu0pZ/blvElaOp4HsR3g0PxmPk4hSV9Oixs+Cnur3EPErrMg0nwssE3fOSe94n+JleZfKNB2S2og0= Received: by 10.78.186.9 with SMTP id j9mr1418644huf.1185782532814; Mon, 30 Jul 2007 01:02:12 -0700 (PDT) Received: by 10.78.192.4 with HTTP; Mon, 30 Jul 2007 01:02:12 -0700 (PDT) Message-ID: <9b415f950707300102r47d62264g1d355cd42d08b1c1@mail.gmail.com> Date: Mon, 30 Jul 2007 10:02:12 +0200 From: "Benedikt Grundmann" Sender: benedikt.grundmann@googlemail.com To: skaller Subject: Re: [Caml-list] module interface? Cc: caml-list@inria.fr In-Reply-To: <1185782144.6753.13.camel@rosella.wigram> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <1185777938.6753.7.camel@rosella.wigram> <9b415f950707300003t225273cfi9d2761359bf6a3be@mail.gmail.com> <1185782144.6753.13.camel@rosella.wigram> X-Google-Sender-Auth: 532938a664e1bbe5 X-Miltered: at discorde with ID 46AD9B05.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; grundmann:01 mli:01 ord:01 orderedtype:01 ord:01 cheers:01 0200,:01 grundmann:01 sig:01 calvin:98 calvin:98 sourceforge:01 wrote:01 caml-list:01 string:02 Easy in map.mli you find: module Make (Ord : OrderedType) : S with type key = Ord.t After that it is obvious (at least if you have seen it before :-) ) Cheers, Bene 2007/7/30, skaller : > On Mon, 2007-07-30 at 09:03 +0200, Benedikt Grundmann wrote: > > module Drules : Map.S with type key = string > > So I discovered -- thanks! But hmm, this totally counter intuitive! > > You call Map.Make, but refer to Map.S. > The supplied key is with > > type t = string > > but in the sig you use > > type key = string > > and finally the > > let compare = compare > > in the module is simply dropped. > > There is no example of this in the tutorial.. > how would I every guess at the right solution? > > -- > John Skaller > Felix, successor to C++: http://felix.sf.net > -- Calvin: I try to make everyone's day a little more surreal. (From Calvin & Hobbes)