From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id B44F67F0BA for ; Mon, 6 Feb 2017 18:47:14 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=francois.c.berenger@vanderbilt.edu; spf=Pass smtp.mailfrom=francois.c.berenger@vanderbilt.edu; spf=Pass smtp.helo=postmaster@NAM03-CO1-obe.outbound.protection.outlook.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of francois.c.berenger@vanderbilt.edu) identity=pra; client-ip=104.47.40.85; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.c.berenger@vanderbilt.edu"; x-sender="francois.c.berenger@vanderbilt.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of francois.c.berenger@vanderbilt.edu designates 104.47.40.85 as permitted sender) identity=mailfrom; client-ip=104.47.40.85; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.c.berenger@vanderbilt.edu"; x-sender="francois.c.berenger@vanderbilt.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@NAM03-CO1-obe.outbound.protection.outlook.com designates 104.47.40.85 as permitted sender) identity=helo; client-ip=104.47.40.85; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.c.berenger@vanderbilt.edu"; x-sender="postmaster@NAM03-CO1-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3Auco90BS+wfRVz0JtY2H6RSB9CNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa64ZxGN2/xhgRfzUJnB7Loc0qyN4vymBjNLuM7d+DBaKdoXCE9D0Z?= =?us-ascii?q?1X1yUbQ+e7SmTDZMbwaCI7GMkQHHRExFqcdXZvJcDlelfJqWez5zNBUj/2NA5y?= =?us-ascii?q?O/inUtWK15f//6mI9pbSewRFgiamKfM3dU3u7FaZis5DpqBrL6J57xLIpnpOdK?= =?us-ascii?q?xyxHh0bQaYlhP4o8Ox54JL8iJKuvtn+dQWAovgeKFtY6ZRCj8hMnt9zuDRmD/s?= =?us-ascii?q?YDHHsnUGW2MdlRtTRQOD5hzgU5H+vzHSqON71CSAN8zyUfY5VSn0vPQjcwPhlC?= =?us-ascii?q?pSb21xy2rQkMElyfsD+B8=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DUAgC5tZhYh1UoL2hdGwEBAQMBAQEJA?= =?us-ascii?q?QEBFQEBAQECAQEBAQgBAQEBgmVAgQ4rBzSDUYp6kHoflTeCDAGCW4I2gRACgw8?= =?us-ascii?q?XAQEBAQEBAQEBAQESAQEBCA0JCh0vgjMEARYBBIIWAQEBAwEjDwEFRgsLGAICJ?= =?us-ascii?q?gICHygQBg0IAQGJZwgBBKMvAgKLaIIliAQBB4M6AQEIAQEBASQJAYEBh0YIgmK?= =?us-ascii?q?HWoJfAQSQO4srG5FwkQCRUAGBOyECezdRT4RVggyIHUIBgQsBAQE?= X-IPAS-Result: =?us-ascii?q?A0DUAgC5tZhYh1UoL2hdGwEBAQMBAQEJAQEBFQEBAQECAQE?= =?us-ascii?q?BAQgBAQEBgmVAgQ4rBzSDUYp6kHoflTeCDAGCW4I2gRACgw8XAQEBAQEBAQEBA?= =?us-ascii?q?QESAQEBCA0JCh0vgjMEARYBBIIWAQEBAwEjDwEFRgsLGAICJgICHygQBg0IAQG?= =?us-ascii?q?JZwgBBKMvAgKLaIIliAQBB4M6AQEIAQEBASQJAYEBh0YIgmKHWoJfAQSQO4srG?= =?us-ascii?q?5FwkQCRUAGBOyECezdRT4RVggyIHUIBgQsBAQE?= X-IronPort-AV: E=Sophos;i="5.33,342,1477954800"; d="scan'208";a="259086849" Received: from mail-co1nam03on0085.outbound.protection.outlook.com (HELO NAM03-CO1-obe.outbound.protection.outlook.com) ([104.47.40.85]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA256; 06 Feb 2017 18:47:11 +0100 Received: from BN1PR08CA0021.namprd08.prod.outlook.com (10.242.217.149) by BL2PR08MB419.namprd08.prod.outlook.com (10.141.92.145) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P384) id 15.1.874.12; Mon, 6 Feb 2017 17:47:07 +0000 Received: from BL2FFO11FD031.protection.gbl (2a01:111:f400:7c09::160) by BN1PR08CA0021.outlook.office365.com (2a01:111:e400:16::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P384) id 15.1.888.16 via Frontend Transport; Mon, 6 Feb 2017 17:47:07 +0000 Received: from mailgate.vanderbilt.edu (129.59.15.81) by BL2FFO11FD031.mail.protection.outlook.com (10.173.160.71) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA_P384) id 15.1.888.7 via Frontend Transport; Mon, 6 Feb 2017 17:47:06 +0000 Received: from ITS-HCWNEM120.ds.vanderbilt.edu (10.1.154.70) by mailgate.vanderbilt.edu (10.1.140.92) with Microsoft SMTP Server (TLS) id 14.3.301.0; Mon, 6 Feb 2017 11:46:23 -0600 Received: from krypton.csb.vanderbilt.edu (160.129.138.225) by smtpauth.vanderbilt.edu (10.1.154.70) with Microsoft SMTP Server (TLS) id 14.3.301.0; Mon, 6 Feb 2017 11:46:25 -0600 References: <20170127142246.919C212146E@mcclellan.cs.miami.edu> <416beaa2-9430-20fe-d8fa-e9f02761378f@vanderbilt.edu> <67BCE44C836B466EBD22FC5CE5A4CD13@erratique.ch> To: OCaml Mailing List From: Francois BERENGER Message-ID: <75259477-c014-b7b7-26b1-8519e4c6d2f5@vanderbilt.edu> Date: Mon, 6 Feb 2017 11:46:25 -0600 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.6.0 MIME-Version: 1.0 In-Reply-To: <67BCE44C836B466EBD22FC5CE5A4CD13@erratique.ch> Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 8bit X-Originating-IP: [160.129.138.225] X-EOPAttributedMessage: 0 X-Forefront-Antispam-Report: CIP:129.59.15.81;IPV:NLI;CTRY:US;EFV:NLI;SFV:NSPM;SFS:(10009020)(6009001)(7916002)(39410400002)(39830400002)(39450400003)(2980300002)(438002)(377454003)(199003)(24454002)(189002)(76176999)(64126003)(50986999)(66066001)(65956001)(65806001)(54356999)(23676002)(6116002)(3846002)(8936002)(36756003)(8676002)(450100001)(92566002)(106466001)(31686004)(50466002)(75432002)(33646002)(47776003)(2906002)(93886004)(5660300001)(86362001)(189998001)(229853002)(31696002)(110136003)(38730400001)(2870700001)(107886002)(83506001)(246002)(6246003)(53546003)(88552002)(626004)(6916009)(4001350100001)(356003)(2950100002)(7736002)(7636002)(65826007)(7596002)(305945005);DIR:OUT;SFP:1101;SCL:1;SRVR:BL2PR08MB419;H:mailgate.vanderbilt.edu;FPR:;SPF:Pass;PTR:mailgate.vanderbilt.edu;A:1;MX:1;LANG:en; X-Microsoft-Exchange-Diagnostics: 1;BL2FFO11FD031;1:MLaVeVjU1xjiiagN+Yh1zeb+huni5apr8mcUeNCiVrSdg5VbjvrQ9eLyYKLd95+JpPtWgkWWigIqd3uzS9JImx0GQuOZCjGhpsIPn44GZ53KbSEHOZtFIk2Mf+l3pR0V2nu8DOPOBDVZ3iO5gjOayk0yS90O/1wP4SfV3X72Vn7W4qxZp6i9nWSmF/GK7MZZ7FF6CwvgLI32CjLmgiITso9xwcDc6S/OhtygX5xoufgxXJLRf0j9nC/F6UpVGhjGSzyFubwVUxjbtlGsBNwOVAJUodl5Dt02u+aSge2fY/m5F1nVRByX0/L1To/O1CdqQq3VDOrJw2ex3U9XhAAxTuqe6LEdPzicBJdp5TwSKoHSABgvW+YFsSc19IvqIC4iSxsYtSxldR4tXFGAh14/bcX0OSchgsGK5Ds6SGTwjxE8bQER4rcJGFgw/3qmHaqpsews5RV0LxLipkqIwrHYconjKMXMpAOPCm+u9XEKlrzL36UO6AbqkPxP7KbCHrujW0pzWo/QcRAQ3SLxtKa9IA== X-MS-Office365-Filtering-Correlation-Id: 6d9a5ae2-c175-4b2b-fd61-08d44eb82afb X-Microsoft-Antispam: UriScan:;BCL:0;PCL:0;RULEID:(22001)(8251501002);SRVR:BL2PR08MB419; X-Microsoft-Exchange-Diagnostics: 1;BL2PR08MB419;3:M35yky6kHR5EXabzaLMX1zoLdA6mn1OsQgL3V2l/C84fLtH575D0tIPfosziBChu8laurDEhhgMq5W/SfkjhQc6PNLG65CCM4WFJv4sP0wuVwjhBW2oAyDj8WOpvqD975dNjNWIwEpS/yzJCIck0FtzgFIWP6HQSuh4ur3aWMISDN6YP8GB9d7Q/YNeLVpz82v8nkTTN32ayx3f1sWidG772srVAZ7H5FCEC/1r9HIJsmp0G72rJGOn/GjfEdPEOcVMHJF9hMvj/6PBDfLQxRclQQNT86X+NnIyCIJ0jgoEB+5pXtMj5EZfk3WX/eB+ejOrzlWuR4ei/yQrEYaE5V7b2pLL0fojREdVPJPlSpQ4CUQ0lp0CSb2hIbZ5voMAjbfho/TqDUXl3oNnjegpYgw==;25:g06G5E0v2tCVW3K8wpaXrHmem0oe78QISIVpLfMzGt55PB11J/uP5ZHn7XOc2zEmKH7HCgVbNHVWPnccT/ZXVJymyArInCNEvzyezsRKmRBpZNKyhyNJXxuBg65p0cxk7xZAw61rpb/NUdwOyY078J5/rxwnUh0PvXT4HzD+Vr5LW6BYmZ3m1PKKQCA90V4GyeHvgI8aqoRbrjVFWb2yiu607qXQyegxiM0JfzAT8i+Y/K1x2tBmd7IMMjZRBtlwUWOldyHRz2CiYYzPHnnIATKXSI5lteCKy/sFt6i9TWOUBOuTNMejxgAcoLpluf/a9xRzEXJWeYMFjvB7Grxd5CCSAbac5Xjgtq3ogLJd2/HvnPlEV6NFmXWDsRQlbnTXuyso4GbZxW36i8DOp3BxuM9l/2Xq7/o3JQFivvSonyYU7FvhbxxNcZ2nAbLILhLRboxjiUWiXkTLgivM6JbVXw== X-Microsoft-Exchange-Diagnostics: 1;BL2PR08MB419;31:4+FsN3yX0bPUJB7zwJEV/wqlEFg3FoUndkr1Hwkg7sVJRAvOSknC+wl4vgobzvawbhbZuz+6cn2bTrKdR9qiy0uFwB10gYLs2HiYdGL75BWiKjdfM0fsWEou6T6meCFExrp8W912n4BsKjeIbkXPGb0QHNmKESj86ollsd7kRKCRdw6IEL4LqTYd4Ysvlr0QPXDWWiwBlrg90vtgtcRnLFCJQR6DtmUtX4044fEeUt7LFs3KbuAznl+hzIzcXOg4Yo8HVJAnL8RBVm5KFkWY0A==;20:8skRLS0Ttr2bkVTt3dFpAmUDwbFyEd8oCCNF9CZqvLldC+B20N1bxd+xPNtCqhX4G4i/ik2EH4khXsSOvluHTWnCq17Ad8nFVsua83NEdQq4siHkuq66pxAQhaGCdhv96ahXJ/ueSw2Z+W5oTJytM5j6cNTyGKFNSD4teGU8ad1Y+OT9lsN++zuiQOhrXJw19QYT/fZsHTigD0DwE7M/lLbj8gXEHc3Np7A37n0lohwJSDmSByCg+1acospR81BwVlFOO14Xm7GqRrwLAicIprcjr5k1N5K91cdNyoU/zG5zIpOl7yUZL/8e9D/90CHY2T7OjhnGYOPVy1VJrEsTpUSlJ3Jdu7mcT+ED07g5MCSzBDr33oj3auhCV6YcwMutt12M8j+hV6/6TAQTZ+nvz30nDPbwyD6JMQS18E219sPmJeO7S7eyz+BvSi7/2AI6kCEHuYWvx0183syu4V4Xpj+SxDnpEILuu8TYkmkWMkDyFfGxFXBcqx6xUw4bpupD X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:; X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(6040375)(601004)(2401047)(13018025)(8121501046)(20170203043)(13016025)(5005006)(13024025)(13023025)(3002001)(10201501046)(6041248)(20161123564025)(20161123558025)(20161123562025)(20161123555025)(20161123560025)(6072148);SRVR:BL2PR08MB419;BCL:0;PCL:0;RULEID:;SRVR:BL2PR08MB419; X-Microsoft-Exchange-Diagnostics: 1;BL2PR08MB419;4:yUjzmZV8qs7qAamUeHnUkrdFj8ZkSjDWWrVk6OESXaFoXPOg8xWVIc+GNc26gMVHu8D31tYG5B1Drddulm0XPJYTE06uoUqliBqlGImVUIivxcoVtgJ6+3MhhtI13lFswucxOc7FD4nWtSdDR2cqYoYVrexZx5/4UG/XEjDei1ysD3BH7ZUXpGvem0lWIR5E+R0DfdhQF/3lWkeLGl/YPMrdhmWLnZg0k23fa5auoDGfiypnDUp79iFYyfCChgmJKzi/bLf1D8PVlH6I5Amtsk3nTgGy6OVoY6pTU4l4XdqyCHM5sc8knpe629V2KKrTb63xVVYWZw3LYKBtVABbjfiuLBjIT08Uep17CyJ7f6rtHtFAVyx1XaHbtJpe9UG4xj7EpZAObGVfu+wF608ruYpy5Ylfm/YWPyBi08wCeyihhnecv4/2LYrwmyJachGQ+2JpGNCyiD26qdAdW1K9Gj6wJL1hD2032/zJlC6Lf3ySlCxrWD2EHOiya/ZMZ6uYaaSMJ6htmZAjnyh1R9xwl77xIrmgt9H+MkLYIJCAtIubESINl3TFi8fBxvKLKtbUkw8BHXItwFMQlnKnWmohTAwan+cD9YfmRR2nchvwJzsPtFp3tiWTnuIThPVZdKj7pj92kqVUGB0I0sWsnK/UZlGM/QGoNUWZ/VrbDXKVjoTqJgoJoviVcknWqUZ2HptSmuYPT764FCGX8Jfp2YxMfA== X-Forefront-PRVS: 0210479ED8 X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtCTDJQUjA4TUI0MTk7MjM6bklWS0dxeDJTQk4wQTZJbndvVG1ZbXgrYmF6?= =?utf-8?B?Nis4ZWpDbkxUaFBhZmVWVWMxV3pMOHhON3FnT0dxK25kZzdEbHJ1bGIrcFlE?= =?utf-8?B?bFdHMUpSQkxCcHJ4MDVvZTZUdXBQZHU1Skg4Q2hJbXJFeGZ1WWJSRUV2NXp1?= =?utf-8?B?enpYam10UGJyTHg4UXdraEphTXVlb2JhUE1GSC9hb2x3azZyaHNSemRvR1ZP?= =?utf-8?B?bGRGSlNnWkwybnpNMTVpWmJsOW9lMVFCLzBFd2oxMTl0eERrdURkWkl6OUhn?= =?utf-8?B?ZU9hQk5xcVZuMTRUak5ib2xzN3VlUmEzQVd2SzJpbXBBakpjQklwemRTZVVs?= =?utf-8?B?UldONnFMMW9CVm82NTFPdGtVOUZrWWQza2FndVdzdHZSMXl4QjZyYSt6TkQr?= =?utf-8?B?czF0TDVpbzRWaHUwR3hGMUJ1a1lOL0Mwb3NkMldyS3BsSjBVZC9XZTRXTTRF?= =?utf-8?B?YzRtNXJHbmxUdDFMMXJwdTlNTm1XTGZsYVFOa0UxVmcvM0s3ZTFFZWtjQmJD?= =?utf-8?B?WTZhRGo2VE9ZRXh1bURpOWsxYUhYTE4zZ2VuajF0SmowL1kwaHk3bFhpajQy?= =?utf-8?B?TnpTSlk5SnhFS3YyM0Mzc0ZydnlDNkd2WVlkMjY3d2NPL3dHcGdjcW9tNFFR?= =?utf-8?B?R1BQLzRLeTBjbDVvWG1XWTNEQmxLTG5ZbWc0Z2FCZEtUczk3RVl2cXMxbk5V?= =?utf-8?B?bWpuNFR2NmxwbGtkdlpCekJ1VkJLK0lNVjFLaGY2YXRnS1hPUU1yekxnN1li?= =?utf-8?B?cUJ5L1ROZ3N2eEdPUUR3TlhETEpVQmFIU1pWUzhxVnBjMjk3OHpTcWdKZEF4?= =?utf-8?B?OEdqc3pGYXZBRW5vYVlHbVNtWkpXWnZKWC9TNFpTVnZBdUk4L3NFb0lNOFFw?= =?utf-8?B?UXhkaUdwa3lKcnJ4NmpUN0NDWXVaMStPYnNmV3B0NWx5MGtyekpuOGJpOW1k?= =?utf-8?B?V04ydHNJeGZrUFMveUttVERPNVB3dlVmV012a0RwMnJkSjJVLzlTb3FaUVlh?= =?utf-8?B?cVo2ZitoUWlsOVFSaWJidXgzR1hvVENsakxaMnBQdzFtZHkxNEFGYzk3Z2dH?= =?utf-8?B?Q2FSYnFLOURrL1FUK1lvWWFnSENHeGJrdlJLOE5ZM1luRVNwVXV1Wkplbnhu?= =?utf-8?B?a0JWWHN0MkpLeHdOL3NFZm5pNTlIRnhWM1Y4My9RZmszVXEvd0hWWGdwdjcr?= =?utf-8?B?QjI2R2pTS2ZVNlFGb0Y5czZtd01tU0xTUjZ0NkxxYmFWVDNZU3dMblN2b1da?= =?utf-8?B?WTRRKytraUE0TmhxcDN3YlRzU2grU1VkRlR1ZnN1c1l4Z3c5SkNFbUxNcUJP?= =?utf-8?B?NWo2N2E0OFVwSi9BUG0xTGZaQ2ZrSE1pRGVvamVzRkpiQ3NORXhXTDEya0hq?= =?utf-8?B?Wi9kLzUwN1ZOUVBVZ29rRkZ4YW9OZmhQUENsTlZORkhib0FXK1VuUHAvbHQv?= =?utf-8?B?SXhLT1FkcGlSTkx1c2Nqbm44b2Q2RjJ6VXE3N0Nvem9SKzE0bktRcGxScm52?= =?utf-8?B?VHczMHAvL3ZoRVVhTkg2bDE3M3ZqTFZSWURSeDM4RTBWcFhQV1o4c0hzUW54?= =?utf-8?B?ek9nWHc5M1I4a0FVSXRUZUFTTTY0aDl5bllCMmdNWXNPZHpsNFg0VUZld2Ru?= =?utf-8?B?Vm9lajN6cjdjQktoVFI4c2ZpN1JFcDQ0ZGpIM0xPdVpwSU5XZUtsejhnem9O?= =?utf-8?B?Rkp2R0xaVWx6NFpQTzhXNWJ5UjArWThNT1B1WjF2SzZDdW93VCt1cWRLWkx0?= =?utf-8?B?Sk15ZmdRSUsvalRqSVo3ZHA1RWtlYnlMcnpuODBjQkNzY3FQM0xYZ1JKQkRE?= =?utf-8?B?c3dDL3hXS3BiTklPMmd3dHZQNGZVSWNnVE53VGxlVVFQZlVYQUVpczNaK0pi?= =?utf-8?Q?xk6vRnuOwc=3D?= X-Microsoft-Exchange-Diagnostics: 1;BL2PR08MB419;6:4mJhpU70Fc8S+2dRSLdyiCnd2+yCZNeN4MtAVExQoiOdnzAPL8qfkJEmDiIMvzt7ROW9J+Wd533dyE5hEco5LaITHfvb0XLTKclZur2TVvrQ6Q70ZHO+e9KWrWWl0LZvI71tv+rHwQ7MV1lM0grf1wbGPmGXLqC6xjGUDROvpmPaVkV+pt1IIJS+6gUa2jml6FmP/103ro3+DzQhQlFOScXzBFk1b1nkVlm953EAMVignbeVCEyO62/yj/TLOqVN5aOJT//6ivWb1DPxCMqCTu4RKhF/kEXUubdRHxaxUBDZ2U6tmKTWmNVc7KtZDpSLEC8QVKr1y1MOH0GzmCn77zj2PpIymcsZbihFPR/f1H6n6BA0d80Iv3NeCVNXL9LBX2HeMjmpeBnp9P1Z3cB4Ng==;5:xsxq8ha/YbfOx5UKofsSMNGNzz8IyJmHviYCsOxHkvUmhqjGyQ2S0nVTen5Z3TTCUxPrIXLzSw6+ks9FK6CatWGF7bq56xVmW6KnhKeHbJUu3K6cnUlu80/M2KMgc8QwHcl35rq9U0E2eGg6DbShgQ==;24:ldoNcLQns5O3sZ55r7oOmARV9av0ASPPWQdjx3OBsrnIx1txgjG1VfRz/pFGUDNkH+vNLclXR5CJXQq+ejaRybnBsQn3mgIQUk61aafPk/k= SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-Microsoft-Exchange-Diagnostics: 1;BL2PR08MB419;7:oUukHEwc3Axl878K2mCpCbwEHYdDEuXadP8y6en1wNGKItgl46r+ioAVrXGQ5/xVNb7UQxDTcmu8+w5ErUK0z26EckyELw59EEEutK3+m03h459LuvVq0U0iQGoIjXDR98+9/qxAqRlZ8eTT2LpVX2Fk371KSAqVGYmwTLxwxRQYQ8DPcCArQ2hpwliOyQZH4XJF3+bMpNuC90Gw9qthIgGlMROsVEeF46RPzubcHiqNOmUqFBzbndF21kgIp0Xocq8gGUEUYl+y3L1Yl6N4etSoOLPMq+OOLsLdLfxrk/ElwSHdgDYlviZkE7YB/ISYJR/7Tb3opP/gLeQTafP3YpBgnN4KZ9PoJ12kAJDEms5cmmrYqUqjhiHtIwpdaJXTOAbOuoKAxQtvhAgL5dTLbkkOW7BieHMcuAnEw1IS+lhCW5TEGWZLocLnXcNSnOLz41BPX+VkgYy48FP8lO+1TZmyqLtg7jOkJai6VVFOZuXlFfw/Kryw8NWpWBZXvD2juuboso9NLEIJhvL6np13Pw== X-OriginatorOrg: vanderbilt.edu X-MS-Exchange-CrossTenant-OriginalArrivalTime: 06 Feb 2017 17:47:06.5537 (UTC) X-MS-Exchange-CrossTenant-Id: ba5a7f39-e3be-4ab3-b450-67fa80faecad X-MS-Exchange-CrossTenant-OriginalAttributedTenantConnectingIp: TenantId=ba5a7f39-e3be-4ab3-b450-67fa80faecad;Ip=[129.59.15.81];Helo=[mailgate.vanderbilt.edu] X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: BL2PR08MB419 Subject: Re: [Caml-list] where are we on the Hoogle for OCaml front? On 02/06/2017 09:46 AM, Daniel Bünzli wrote: > On Saturday, 4 February 2017 at 04:58, Jacques Garrigue wrote: >> For search by type signature you can use Jun Furuse's OCamlOScope: > > I'm a little bit curious. While I can see the benefit of having general full text search over value identifiers, type identifier and doc strings I was always a little bit dubious about type signature search -- in the end ML types for themselves are a rather weak specification language (I'm not talking about the invariants you may hide behind those of course). For sure, a plain text search is also very useful and should be provided by such a tool (a search "a la Google"; by keywords). > So beyond curiosity searches are actually people seriously using this to lookup a value they might need ? But, when you have no idea of how people call the function you are looking for, you would go for the search by type signature. And, because you are not lucky every time, the "hoogle for ocaml" should also give you interesting results even when the type signature you have input contains some errors. Like, if the type signature you typed does not exist, you may be interested by the closest matching type signature.