From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id E2991BBAF for ; Tue, 7 Apr 2009 14:03:37 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtQBAA/e2knZkrEGmWdsb2JhbACNH4kGAQEBAQEICwoHEaZBgQmPWwEEg30 X-IronPort-AV: E=Sophos;i="4.39,337,1235948400"; d="scan'208";a="24123432" Received: from web27006.mail.ukl.yahoo.com ([217.146.177.6]) by mail2-smtp-roc.national.inria.fr with SMTP; 07 Apr 2009 14:03:37 +0200 Received: (qmail 40768 invoked by uid 60001); 7 Apr 2009 12:03:37 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.fr; s=s1024; t=1239105816; bh=58S2lSMhSaApcXN/JxUrKsOh7qOlVskcYpt/1ya6uUU=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:References:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=KmVp5NE80j48lWIbEWXDj5fiQSpkRMVVUuRecfuPNrfMdxM9CJA4be6vR1opIelciLDTeTKfZnjKvpPbj+nlIUp1giquy9fqsoP/e2oq6Yj9cMCWz/wWu9xbd1/n2YCguGGnPeCFFzC2XF624cVN2LQidgJXNZIHoWHpIsmwvdU= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.fr; h=Message-ID:X-YMail-OSG:Received:X-Mailer:References:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=0VD+iRUruFIPgIAGhCe9iCo7ZpB2KBHMqp995OxZP1B6C0xUMUfyGNKc3dBzJz8/3EqZScyF+LeVpL8+nqPFr3cV1IoTFstg3heB1GRC/jaKNmN3wUO7V9I9jKsKgXXn63jaRrF76KesFMFcEIvcTKWz9xhG/IyR3jyMo6YrYpw=; Message-ID: <928899.40686.qm@web27006.mail.ukl.yahoo.com> X-YMail-OSG: f11MFPYVM1lY4MDsyL6uvDRtaQyD0cOKAJrpleIPkr2dqB7oQrqw3XC89oXQgKNuM.wIvTjx2Mh2ZS9jdknjZMjgRq97QYGafbOcOV..Ogf376tLq33ehqfH2I8iA2LZSpArn1_njMW55EAuTVmaw6cqKP2Gb79SEL3IbgQK88n._uWR8UhOo7mQQTVtzXHjwLeujS5Jx9TUtEP.93MuxQr_B1ebRPIBG1fyfk8GIsMyNFftTPFLGzcbJftWbUkowQpF2WZZrfN3EmFDs4OgJxIpCBWUd4ztDJI3kqUdvxjRRF4.UMKnO0Tkwlhsu2fUkksg9m9oXettZPJ2jQIowJ4qbeB_ugO8DKk- Received: from [193.52.94.5] by web27006.mail.ukl.yahoo.com via HTTP; Tue, 07 Apr 2009 12:03:36 GMT X-Mailer: YahooMailRC/1277.35 YahooMailWebService/0.7.289.1 References: <20090403123719.GA12123@uranium.pps.jussieu.fr> <49DB023A.3000304@lri.fr> Date: Tue, 7 Apr 2009 12:03:36 +0000 (GMT) From: Matthieu Wipliez Subject: Re : [Caml-list] ocamlgraph ConcreteBidirectional and Dot To: caml-list@yquem.inria.fr In-Reply-To: <49DB023A.3000304@lri.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; matthieu:01 matthieu:01 filliatre:01 filliatre:01 lri:01 functor:01 functor:01 beginner's:01 ocaml:01 bug:01 beginners:01 graph:01 graph:01 pps:01 caml-list:01 Hi,=0A=0AI have a question related to this: Is there a reason for the absen= ce of a ConcreteBidirectionalLabeled graph in the API?=0A=0AThanks,=0AMatth= ieu=0A=0A=0A----- Message d'origine ----=0A> De : Jean-Christophe Filli=E2t= re =0A> =C0 : Pietro Abate =0A> Cc : caml-list@yquem.inria.fr=0A> Envoy=E9 le : Mardi, = 7 Avril 2009, 9h35mn 22s=0A> Objet : Re: [Caml-list] ocamlgraph ConcreteBid= irectional and Dot=0A> =0A> Hi,=0A> =0A> Sorry for the late answer...=0A> = =0A> > I've a small problem with ocamlgraph.=0A> > I want to parse a dot gr= aph into a ConcreteBidirectional.=0A> > =0A> > The problem is that the sign= ature needed for Dot.Parse requires a function=0A> > edge, but I've no mean= to specify a label (since it is unlabelled !!)... =0A> > =0A> > The functo= r for ConcreteBidirectional says E.t =3D (V.t * V.t), =0A> > but I don't qu= ite understand the type of B.G.E.label ... =0A> =0A> You're right, some typ= e information is missing and there is no way to=0A> instantiate the Dot fun= ctor with the current signature of=0A> ConcreteBidirectional.=0A> =0A> One = easy patch (if you are compiling ocamlgraph from sources) is to add=0A> the= constraint=0A> =0A> ... and type E.label =3D unit=0A> =0A> to the sign= ature of functor ConcreteBidirectional. I think we'll do that=0A> in the ne= xt release of ocamlgraph (and similarly for other unlabeled=0A> graph data = structures provided in ocamlgraph).=0A> =0A> Hope this helps,=0A> -- =0A> J= ean-Christophe=0A> =0A> _______________________________________________=0A>= Caml-list mailing list. Subscription management:=0A> http://yquem.inria.fr= /cgi-bin/mailman/listinfo/caml-list=0A> Archives: http://caml.inria.fr=0A> = Beginner's list: http://groups.yahoo.com/group/ocaml_beginners=0A> Bug repo= rts: http://caml.inria.fr/bin/caml-bugs=0A=0A=0A=0A