Re: [Caml-list] ocamlgraph ConcreteBidirectional and Dot

["Jean-Christophe Filliâtre" <Jean-Christophe.Filliatre@lri.fr>]

Hi,

Sorry for the late answer...

> I've a small problem with ocamlgraph.
> I want to parse a dot graph into a ConcreteBidirectional.
> 
> The problem is that the signature needed for Dot.Parse requires a function
> edge, but I've no mean to specify a label (since it is unlabelled !!)... 
> 
> The functor for ConcreteBidirectional says E.t = (V.t * V.t), 
> but I don't quite understand the type of B.G.E.label ... 

You're right, some type information is missing and there is no way to
instantiate the Dot functor with the current signature of
ConcreteBidirectional.

One easy patch (if you are compiling ocamlgraph from sources) is to add
the constraint

	... and type E.label = unit

to the signature of functor ConcreteBidirectional. I think we'll do that
in the next release of ocamlgraph (and similarly for other unlabeled
graph data structures provided in ocamlgraph).

Hope this helps,
-- 
Jean-Christophe