Le 15 juin 05 à 17:01, Julien Signoles a écrit :

> Hello,
>
>> module Make_MyGraph(V : MYVERTEX with type edge = E.t)(E : EDGE with
>> type vertex = V.t) = struct
>>      module V = V
>>      module E = E
>>      ...
>> end
>>
>> The compiler found an error on "with type edge = E.t" : "Unbound type
>> constructor E.t".
>>
>
> Remember: equality is commutative... You should write:

 From this point of view, it's obvious... ;)

> module Make_MyGraph
>   (V: MYVERTEX)
>   (E: EDGE with type t = V.edge and type vertex = V.t) =
> struct
>   ...
> end

-- 
Damien Bobillot