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

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Remi VANICAT <Remi.Vanicat@l...>
Subject: Re: Module naming
Max Skaller <maxs@in.ot.com.au> writes:

> I'm confused: why doesn't this work? [I get unbound type ctor message]
> [shortened version]
>
> module type X = sig type one end
> module type Y = sig type two end
> module type XY = sig module type XX = X module type YY = Y end
> module type Client = functor (T: XY) ->
>   sig val f: T.XX.one -> unit end
>              ^^^^^^^^

i am not sure of what you want, but this work :

 module type X = sig type one end
 module type Y = sig type two end
 module type XY = sig module XX : X module YY : Y end
 module type Client = functor (T: XY) ->
   sig val f: T.XX.one -> unit end

you have define XY as the type of module that contain two module
type equal to X and to Y;

i have define XY as the type of module that contain two module of type
X and Y;

(sorry for my poor English)

version française :
Max Skaller a défini XY comme le type des modules contenant deux type
de module XX et YY égale =E0 respectivement X et Y, je pense qu'il
voulait définir XY comme le type des modules contenant deux module XX
et YY de type respectif X et Y.

--
Rémi Vanicat
vanicat@labri.u-bordeaux.fr
http://dept-info.labri.u-bordeaux.fr/~vanicat