From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pA49lCk6021646 for ; Fri, 4 Nov 2011 10:47:12 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhECANazs05KfVI0kGdsb2JhbABDmk+PMQgiAQEBAQkJDQcUBCGBcgEBAQMBEgImBgE4AQMBCwEFBUY0AQUBHDuHYAKXZQqONYUtiS0CBQqIPmMEmU2BLYZcPYFJgic X-IronPort-AV: E=Sophos;i="4.69,455,1315173600"; d="scan'208";a="116879292" Received: from mail-ww0-f52.google.com ([74.125.82.52]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Nov 2011 10:47:07 +0100 Received: by wwn31 with SMTP id 31so3833940wwn.9 for ; Fri, 04 Nov 2011 02:47:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=sender:subject:mime-version:content-type:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to:x-mailer; bh=8NZHTL9Q40/3oV51LwwaQ97pQyoc4S8v5/KpHF9z68c=; b=eYFcvIdZdMTJU5ybpK8PYjESMSEHV2cihOJRvnTlA1numbKCOAu9Cv0C3ocMnTWCg3 JC3ccarMzIPYUgmZkJTLjFI6zOysbQqYrDiUrFByIVckN5KFtJ0A5BuGPH8ByK2kEFrZ dWvwhb0dXORdfvXtwuceX9lCj3vLM+zsUh5iA= Received: by 10.216.230.21 with SMTP id i21mr518678weq.23.1320400026700; Fri, 04 Nov 2011 02:47:06 -0700 (PDT) Received: from [192.168.0.13] (gou06-3-88-170-165-56.fbx.proxad.net. [88.170.165.56]) by mx.google.com with ESMTPS id gg13sm15038139wbb.8.2011.11.04.02.47.04 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 04 Nov 2011 02:47:05 -0700 (PDT) Sender: Thomas Gazagnaire Mime-Version: 1.0 (Apple Message framework v1084) Content-Type: text/plain; charset=us-ascii From: Thomas Gazagnaire In-Reply-To: <20111104092409.GA22221@ccellier.rd.securactive.lan> Date: Fri, 4 Nov 2011 10:47:03 +0100 Cc: caml-list@inria.fr Message-Id: <4D9C7FE8-98E1-4D36-90CE-BDEDA6607338@ocamlpro.com> References: <7EB42100-0E5F-4FBB-8CB8-A318926F0E0E@x9c.fr> <3AFFA70C-BD82-4A7B-94E6-7FAB5BC93148@x9c.fr> <4EB2F67D.6070202@inria.fr> <20111104092409.GA22221@ccellier.rd.securactive.lan> To: rixed@happyleptic.org X-Mailer: Apple Mail (2.1084) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pA49lCk6021646 Subject: Re: [Caml-list] [ANN] Argot: 1.0 release Hi, > This looks very promising. > Will the tool generate mere html files or is it intended for an ocaml > web framework such as ocsigen ? Currently, it generates only raw HTML files. The goal is to be able to browse it locally (it's a bit awkward to have to run a webserver to read documentation). > Also, apparently one cannot search by type. It would be a nice feature > to have. The searching tools are quite limited currently, I'm just re-using standard JavaScript libraries for auto-completion. I had a quick look at Argot, and if I understand correctly, it is generating data and javascript code to enhance the search. So, I think it is possible integrate both tools nicely. > Last thing, unrelated: from the search box one can see you have many > modules extending the stdlib (the Ocp* modules). Why another stdlib > extension instead of, say, contributing to batteries ? That's true, we have developed internally some limited extensions to the standard library; that's because we didn't want to have external dependencies for our tools and because the amount of extensions was very small (so it was quicker to write the extensions than to modify an external library) However, we don't plan to release yet-an-other-standard-library, so I guess than we could later participate and switch to more widely-used standard library extensions. -- Thomas