Version française
Home     About     Download     Resources     Contact us    
Browse thread
module interface?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Benedikt Grundmann <benedikt-grundmann@w...>
Subject: Re: [Caml-list] module interface?
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 <skaller@users.sourceforge.net>:
> 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 <skaller at users dot sf dot net>
> Felix, successor to C++: http://felix.sf.net
>


-- 
Calvin: I try to make everyone's day a little more
surreal.

(From Calvin & Hobbes)