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

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Alessandro Baretta <a.baretta@b...>
Subject: Re: [Caml-list] Constraints in module types
Jacques Garrigue wrote:
> From: Alessandro Baretta <a.baretta@barettadeit.com>

> On the other hand
> 
>   module type BAR = sig type bar = private [> foo] end
> 
> means "require the type bar to be an instance of type [> foo]".
> I suppose this is what you intended?
> 
> Jacques

What a man! Thank you! This is exactly what I was trying to express.

Alex


-- 
*********************************************************************
http://www.barettadeit.com/
Baretta DE&IT
A division of Baretta SRL

tel. +39 02 370 111 55
fax. +39 02 370 111 54

Our technology:

The Application System/Xcaml (AS/Xcaml)
<http://www.asxcaml.org/>

The FreerP Project
<http://www.freerp.org/>