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: skaller <skaller@u...>
Subject: Re: [Caml-list] module interface?
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