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=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id CF25CBBAF for ; Tue, 7 Apr 2009 09:27:16 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8DAJqd2kmBrw8EgWdsb2JhbACWJwEBFiK1MYQPBg X-IronPort-AV: E=Sophos;i="4.39,336,1235948400"; d="scan'208";a="38010784" Received: from ext.lri.fr ([129.175.15.4]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 07 Apr 2009 09:26:45 +0200 Received: from localhost (localhost [127.0.0.1]) by ext.lri.fr (Postfix) with ESMTP id 326C9A457E; Tue, 7 Apr 2009 09:26:44 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at lri.fr Received: from ext.lri.fr ([127.0.0.1]) by localhost (ext.lri.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id zZk7Heod92x9; Tue, 7 Apr 2009 09:26:44 +0200 (CEST) Received: from [129.175.4.132] (lri4-132 [129.175.4.132]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by ext.lri.fr (Postfix) with ESMTP id 160D0A4579; Tue, 7 Apr 2009 09:26:44 +0200 (CEST) Message-ID: <49DB023A.3000304@lri.fr> Date: Tue, 07 Apr 2009 09:35:22 +0200 From: =?ISO-8859-1?Q?Jean-Christophe_Filli=E2tre?= User-Agent: Thunderbird 1.5.0.14ubu (X11/20080306) MIME-Version: 1.0 To: Pietro Abate Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] ocamlgraph ConcreteBidirectional and Dot References: <20090403123719.GA12123@uranium.pps.jussieu.fr> In-Reply-To: <20090403123719.GA12123@uranium.pps.jussieu.fr> X-Enigmail-Version: 0.94.2.0 OpenPGP: url=http://www.lri.fr/~filliatr/mykey.asc Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; filliatre:01 filliatre:01 lri:01 functor:01 functor:01 graph:01 graph:01 caml-list:01 constraint:01 data:02 compiling:02 structures:02 parse:02 parse:02 unit:03 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