Hi, I have a question related to this: Is there a reason for the absence of a ConcreteBidirectionalLabeled graph in the API?
Thanks, Matthieu ----- Message d'origine ---- > De : Jean-Christophe Filliâtre <jean-christophe.fillia...@lri.fr> > À : Pietro Abate <pietro.ab...@pps.jussieu.fr> > Cc : caml-list@yquem.inria.fr > Envoyé le : Mardi, 7 Avril 2009, 9h35mn 22s > Objet : Re: [Caml-list] ocamlgraph ConcreteBidirectional and Dot > > 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 > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
