From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id AFF69BBAF for ; Thu, 3 Dec 2009 20:18:05 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am8BAD+dF0vU4xEIkWdsb2JhbACBToJql0kBAQEBCQsKBxMDqw2QZQKBLYIsVwQ X-IronPort-AV: E=Sophos;i="4.47,336,1257116400"; d="scan'208";a="41317927" Received: from moutng.kundenserver.de ([212.227.17.8]) by mail1-smtp-roc.national.inria.fr with ESMTP; 03 Dec 2009 20:18:05 +0100 Received: from office1.lan.sumadev.de (dslb-188-097-009-224.pools.arcor-ip.net [188.97.9.224]) by mrelayeu.kundenserver.de (node=mrbap1) with ESMTP (Nemesis) id 0LiX1g-1NoUwS3vRs-00dHla; Thu, 03 Dec 2009 20:18:05 +0100 Received: from [192.168.5.104] (dslb-188-097-009-224.pools.arcor-ip.net [188.97.9.224]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id AFA06C0E9B; Thu, 3 Dec 2009 20:18:04 +0100 (CET) Subject: Re: [Caml-list] Hoogle for Ocaml From: Gerd Stolpmann To: Matthias =?ISO-8859-1?Q?G=F6rgens?= Cc: Tom Hutchinson , caml-list@yquem.inria.fr In-Reply-To: References: <9765C022-4141-4E49-862E-F714460D3A0D@sophia.inria.fr> Content-Type: text/plain; charset=utf-8 Date: Thu, 03 Dec 2009 20:23:31 +0100 Message-Id: <1259868211.15350.36.camel@flake.lan.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: quoted-printable X-Provags-ID: V01U2FsdGVkX193B0YhC9E1PmnPCrS4T+spYIlERc090vacZfc kpAnHxM+KcDEr2BbHRdbSDjZHcWarY+0YjI/ylZ6JPq9kXdhD5 3MEO5qz8QKRXGz/OpOUoA== X-Spam: no; 0.00; ocaml:01 gerd:01 stolpmann:01 gerd:01 donnerstag:01 syntax:01 syntax:01 stolpmann:01 darmstadt:01 6151:01 6151:01 caml-list:01 matthias:02 expressions:04 docs:07 Am Donnerstag, den 03.12.2009, 18:45 +0000 schrieb Matthias G=C3=B6rgens: > > This might be what you're looking for: > > http://docs.camlcity.org/docs/index.html >=20 > Thanks. I'll try it. Does it support e.g. searching for "(a->b) -> > [a] -> [b]" and spitting out List.map? There is no search for type expressions.=20 Here is the query syntax: http://docs.camlcity.org/docs/syntax.html Gerd --=20 ------------------------------------------------------------ Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany=20 gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ------------------------------------------------------------