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 8273DBBC1 for ; Wed, 23 Apr 2008 14:16:35 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj8FAIfFDkjAXQIm/2dsb2JhbACBUqwAAQ X-IronPort-AV: E=Sophos;i="4.25,698,1199660400"; d="scan'208";a="25386396" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Apr 2008 14:16:35 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m3NCGYwO005563 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 23 Apr 2008 14:16:34 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao4AANzFDkjU436zhmdsb2JhbACBUpAAAQEBCgUHBxibSgE X-IronPort-AV: E=Sophos;i="4.25,698,1199660400"; d="scan'208";a="9953332" Received: from moutng.kundenserver.de ([212.227.126.179]) by mail2-smtp-roc.national.inria.fr with ESMTP; 23 Apr 2008 14:16:34 +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=mrelayeu5) with ESMTP (Nemesis) id 0ML25U-1Jodtp2tBY-0001nZ; Wed, 23 Apr 2008 14:16:33 +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 63B91C074; Wed, 23 Apr 2008 14:16:33 +0200 (CEST) Subject: Re: [Caml-list] GODI Search From: Gerd Stolpmann To: Berke Durak Cc: caml-list In-Reply-To: References: <1208817010.5160.34.camel@flake.lan.gerd-stolpmann.de> <1208946662.13856.7.camel@flake.lan.gerd-stolpmann.de> Content-Type: text/plain Date: Wed, 23 Apr 2008 14:17:39 +0200 Message-Id: <1208953059.13856.15.camel@flake.lan.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Provags-ID: V01U2FsdGVkX1/Y0ASpz/qrfMwX+5koyxoL8fgE6eANiWKJ6kr 0qcsm8v/6g387cRvDtbv1E1fOLLqUWJu1PlpEX1tnun8DkA/5B PgMKq/qtZTB4LnZqMogCMDDKyd2N9+z X-Miltered: at discorde with ID 480F28A2.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 stolpmann:01 ocamldoc:01 mli:01 mli:01 ocamldoc:01 parser:01 viktoriastr:01 64293:01 darmstadt:01 6151:01 Am Mittwoch, den 23.04.2008, 12:45 +0200 schrieb Berke Durak: > On Wed, Apr 23, 2008 at 12:31 PM, Gerd Stolpmann > wrote: > > > > 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 focus is lost when I select another tab. For instance when I > click on > the list.mli tab after having selected the list.ml result. Right. I am not sure how to address this. I would like to avoid that any "?" parameters appear in the result list, because the "real" search engines like Google would interpret then every occurrence of a word as different document, e.g. list.mli?q=map and list.mli?q=fold_left would be seen as two different docs. > > 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. > > Will you be able to handle all the traffic when people start using > GODI search > for browsing the APIs? We don't want to bankrupt you :) I'm well-prepared for a storm of queries :-) 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 ------------------------------------------------------------