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.1 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 2AEAEBBC1 for ; Wed, 23 Apr 2008 12:30:00 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao4AAMKsDkjU4368hmdsb2JhbACBUpAAAQEBCgUHBxibOAE X-IronPort-AV: E=Sophos;i="4.25,698,1199660400"; d="scan'208";a="25382268" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Apr 2008 12:30:00 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m3NATxPY027356 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 23 Apr 2008 12:29:59 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao4AAMKsDkjU4368hmdsb2JhbACBUpAAAQEBCgUHBxibOAE X-IronPort-AV: E=Sophos;i="4.25,698,1199660400"; d="scan'208";a="25382266" Received: from moutng.kundenserver.de ([212.227.126.188]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Apr 2008 12:29:59 +0200 Received: from gate.lan.gerd-stolpmann.de (dslb-084-059-096-149.pools.arcor-ip.net [84.59.96.149]) by mrelayeu.kundenserver.de (node=mrelayeu2) with ESMTP (Nemesis) id 0MKwtQ-1JocEe3stQ-00024S; Wed, 23 Apr 2008 12:29:57 +0200 Received: from [192.168.0.32] (fw.lan.gerd-stolpmann.de [192.168.1.1]) by gate.lan.gerd-stolpmann.de (Postfix) with ESMTP id 7FDE2C074; Wed, 23 Apr 2008 12:29:56 +0200 (CEST) Subject: Re: [Caml-list] GODI Search From: Gerd Stolpmann To: Berke Durak Cc: caml-list caml-list , godi-list In-Reply-To: References: <1208817010.5160.34.camel@flake.lan.gerd-stolpmann.de> Content-Type: text/plain Date: Wed, 23 Apr 2008 12:31:02 +0200 Message-Id: <1208946662.13856.7.camel@flake.lan.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Provags-ID: V01U2FsdGVkX1+GDl1h/fCA4dPt+zK/t1xinR9pvXecq/urdyE kRzode7FyBxGgu2WZwfuzUqwt4cmqW32GcH3IsPndiNXxZvkeq gR9ZP12RTlGfsnd1om6+DU3VzHZgZQ7 X-Miltered: at concorde with ID 480F0FA7.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; gerd:01 stolpmann:01 berke:01 durak:01 gerd:01 cmi:01 mli:01 mli:01 val:01 val:01 cmi:01 ocamldoc:01 ocamldoc:01 parser:01 stolpmann:01 Am Mittwoch, den 23.04.2008, 10:39 +0200 schrieb Berke Durak: > Hello, > > That's very nice work, Gerd. Thanks. > > Just one improvement: when I search for List.map, I get the > cmi_pretty and the mli. The mli should come > first IMHO, Yes, I agree. I was also thinking about aggregating files that probably show the same module. That could look like: List(.mli) - [value] from godi-ocaml (Score: 20000) list -> unit val map : ('a -> 'b) -> 'a list -> 'b list val rev_map : ('a -> 'b) -> 'a list -> 'b Alternate Views: List(.cmi_pretty) List(.ml) ... > and when I click on the link, it should directly jump to the > definition of List.map which contains > the Ocamldoc as a comment. This is implemented. Have a closer look: You can click on the title of the file (List) and directly on "map". If you do the latter, it jumps directly to the definition. However, this works only for text files and not for html files. > The next step would be to parse the Ocamldoc and pretty-print it but > it's quite usable as it is now. The Ocamldoc parser is only half-completed, but I am already working on this. Thanks for your feedback, Gerd -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ------------------------------------------------------------