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

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jim Farrand <jim@f...>
Subject: Re: [Caml-list] Type constraints
On Tue, Dec 07, 2004 at 08:12:20AM +0100, Alain Frisch wrote:

> Maybe you can use local structures and signatures:
> (e :: s)  ==>
> let module M : sig val v : s end = struct let v = e end in M.v;;

Thanks for this, I haven't had chance to code it up yet but suspect it
is exactly the solution I was looking for.

Thanks also to those who replied off list with similar hints.

REgards,
Jim

-- 
Jim Farrand