From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 027CB7F72D for ; Mon, 6 Feb 2017 17:00:40 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=pra; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=mailfrom; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.webfaction.com) identity=helo; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="postmaster@smtp.webfaction.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A8SPRJh2dzvr1MwGOsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIUKfad9pjvdHbS+e9qxAeQG96Kt7Qb1KGG6ejJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMizexe7F/IRe5oQjSqMUdnJdvJLs2xhbVuHVDZv?= =?us-ascii?q?5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnM?= =?us-ascii?q?URGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LpwRRT2lC?= =?us-ascii?q?kIKSI28GDPisxxkq1bpg6hpwdiyILQeY2ZKeZycr/Ycd4cWGFPXNteVzZZD42y?= =?us-ascii?q?b4UBEekPMuRWr4fgoFUBogexCwaxC+701j9FhH370bEg3ug9EwzL2hErEdIUsH?= =?us-ascii?q?TTqdX4LKkcXvqzzKnJ0zrDa+tZ1Crh8IjOcxEhpfCMVq93fMXM00YvEQLFgUuU?= =?us-ascii?q?qYD/JDyVy/oCs26a7upkVOKikHAoqxtroje12scsi5DJhp8LxVze6Sp5wJ84KN?= =?us-ascii?q?ulQ0B4ed6pCJldui6AO4Z2Qs4uWWJltScgxrAEtpO3ZDUGxZYkyhLFdvCKd4qF?= =?us-ascii?q?7gj9WOqPIjp0nn1odb25ih2v60av0Pf8WdOx0FtSripKjN3MtncV2hzI78iHVu?= =?us-ascii?q?N98l2v2DmRzA/T5PtLLlwolaraLJ4hxKQ8mYYUsUTGBiP2mUP2g7GKdkg8+OWl?= =?us-ascii?q?5P7rb7Xmq5OGNIJ5ixvyP6Yhl8CnBOQ3KAkOX2yV+eSm073j+FX0T6hQgf0wk6?= =?us-ascii?q?nWrpTaKd4Aqa6kHQBV1Ici6xK+Dzq9ztsYh2MHI0hZeBKGlojpJk/BLOrkAve/?= =?us-ascii?q?m1isiitkx+jaPr39BZXANmTMn63kfbZ58kJczAszzctD559PEbEAIPfzWlfru9?= =?us-ascii?q?DCDx85NRa0w+f9B9ln2IMeQzHHPqjMEK7UvUWJ5aoFJO6JLNsVtTDxMfkmz+Lp?= =?us-ascii?q?lXg430caerDv1pwSPiOWBPNjdmmQZ3vhhuArhWEYugt2GODjjlyPVXhZenu0Ta?= =?us-ascii?q?Y9zjwhEou6DJ7eS8amgOrSj2+AApRKazUeWRi3GnDyetDBAq9UZQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CQAABrnJhYhkpWN0pdGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBhAyEXop6kRmXQ4USgRACgw4VAQEBAQEBAQE?= =?us-ascii?q?BAQESAQEBCAsLCh0vgjMbAYIbAQUjVhALGAICJgICRxAGG4lrBK8VgiWLOwEBA?= =?us-ascii?q?QEGAQEBAQEjgQuKMIdaLoIxAQSbZooHiWWISg+GRoZ6jBI1gSCBIIRVgW6KCQE?= =?us-ascii?q?BAQ?= X-IPAS-Result: =?us-ascii?q?A0CQAABrnJhYhkpWN0pdGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBhAyEXop6kRmXQ4USgRACgw4VAQEBAQEBAQEBAQESAQEBCAsLC?= =?us-ascii?q?h0vgjMbAYIbAQUjVhALGAICJgICRxAGG4lrBK8VgiWLOwEBAQEGAQEBAQEjgQu?= =?us-ascii?q?KMIdaLoIxAQSbZooHiWWISg+GRoZ6jBI1gSCBIIRVgW6KCQEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,342,1477954800"; d="scan'208";a="212227217" Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 06 Feb 2017 17:00:40 +0100 Received: from [172.20.10.2] (44.228.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch [178.197.228.44]) by smtp.webfaction.com (Postfix) with ESMTP id 026CE21A929C; Mon, 6 Feb 2017 16:00:35 +0000 (UTC) Date: Mon, 6 Feb 2017 17:00:34 +0100 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Hendrik Boom Cc: caml-list@inria.fr Message-ID: <047710BD79374AC295A49E129B38B01B@erratique.ch> In-Reply-To: <20170206140253.GA20685@topoi.pooq.com> References: <20170127142246.919C212146E@mcclellan.cs.miami.edu> <416beaa2-9430-20fe-d8fa-e9f02761378f@vanderbilt.edu> <67BCE44C836B466EBD22FC5CE5A4CD13@erratique.ch> <20170206140253.GA20685@topoi.pooq.com> X-Mailer: sparrow 1.6.4 (build 1178) MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Content-Disposition: inline Subject: Re: [Caml-list] where are we on the Hoogle for OCaml front? On Monday, 6 February 2017 at 15:02, Hendrik Boom wrote: > It is very useful to find all the > functions that do anything with values of a particular type in order > to find out what you can do with it. As well as how you can produce > values of that type. Sure but boolean queries on type identifiers seems enough for this. Of course you can always wish to be more precise --- I want this type to appear in that position --- but I'm not sure that's an information need users often have. D