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.8 required=5.0 tests=AWL,HTML_10_20,HTML_MESSAGE 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 77A65BBC1 for ; Wed, 23 Apr 2008 10:39:36 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkcCABCTDkjRVcipc2dsb2JhbACCMzeOaAEMAwQFCRSWJ4Ui X-IronPort-AV: E=Sophos;i="4.25,698,1199660400"; d="scan'208";a="25377596" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Apr 2008 10:39:34 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m3N8dWtO029195 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 23 Apr 2008 10:39:34 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkcCABCTDkjRVcipc2dsb2JhbACCMzeOaAEMAwQFCRSWJ4Ui X-IronPort-AV: E=Sophos;i="4.25,698,1199660400"; d="scan'208";a="25377583" Received: from wf-out-1314.google.com ([209.85.200.169]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Apr 2008 10:39:19 +0200 Received: by wf-out-1314.google.com with SMTP id 26so2580033wfd.0 for ; Wed, 23 Apr 2008 01:39:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; bh=94ERvEl7xyA8WR8sInZeSen1N6asLgFd2CTcWn1HgC0=; b=DcOCwjMpXvmD8b0zwRB8jvRjE8FVmIbd9/0UX2RHYWosLHB1ssqRyDqWtpAx/YtMDhn+IFfVeJs6FIC7gS8+seJ23HTWhv8h6W3IzyxGokqwPW06zm0s8uVD+HButx1xuZJHm4NYlh48OMD6DrglkfQ1KDG4+VeuRPYxV/Hgbck= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; b=DorOIpo+itZDJCnIMZ5fXy2YKks39/utOSPXSvuhMYIRtRpTxZ+tXdXb0iPRLdRRGHPAO9JtN6o1a9PDCd9fnHa6p8L+sjQ+rEPX0kZQc8nzd74J7wzrk5RF7QbMA59pGl+0Ot/zIOsL24tqAynZHul+vRQl/CiJZcj43hFicFY= Received: by 10.142.57.20 with SMTP id f20mr84387wfa.293.1208939958584; Wed, 23 Apr 2008 01:39:18 -0700 (PDT) Received: by 10.142.153.9 with HTTP; Wed, 23 Apr 2008 01:39:18 -0700 (PDT) Message-ID: Date: Wed, 23 Apr 2008 10:39:18 +0200 From: "Berke Durak" To: "Gerd Stolpmann" Subject: Re: [Caml-list] GODI Search Cc: "caml-list caml-list" , godi-list In-Reply-To: <1208817010.5160.34.camel@flake.lan.gerd-stolpmann.de> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_2945_30291738.1208939958566" References: <1208817010.5160.34.camel@flake.lan.gerd-stolpmann.de> X-Miltered: at discorde with ID 480EF5C4.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; berke:01 durak:01 berke:01 durak:01 gerd:01 cmi:01 mli:01 mli:01 ocamldoc:01 ocamldoc:01 gerd:01 cmi:01 imho:01 imho:01 caml-list:01 X-Attachments: cset="UTF-8" cset="UTF-8" ------=_Part_2945_30291738.1208939958566 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline 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, and when I click on the link, it should directly jump to the definition of List.map which contains the Ocamldoc as a comment. The next step would be to parse the Ocamldoc and pretty-print it but it's quite usable as it is now. -- Berke Durak ------=_Part_2945_30291738.1208939958566 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline 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, and when I click on the link, it should directly jump to the definition of List.map which contains
the Ocamldoc as a comment.

The next step would be to parse the Ocamldoc and pretty-print it but it's quite usable as it is now.
--
Berke Durak

------=_Part_2945_30291738.1208939958566--