Re: Module naming

• Previous message: Andreas Rossberg: "Re: Module naming"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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 à 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

• Next message: Michel Quercia: "New big integers library"
• Previous message: Andreas Rossberg: "Re: Module naming"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Wed Feb 02 2000 - 23:10:50 MET