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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id D101C7F0BA for ; Mon, 6 Feb 2017 15:36:03 +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@NAM02-BL2-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.38.87; 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.38.87 as permitted sender) identity=mailfrom; client-ip=104.47.38.87; 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@NAM02-BL2-obe.outbound.protection.outlook.com designates 104.47.38.87 as permitted sender) identity=helo; client-ip=104.47.38.87; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.c.berenger@vanderbilt.edu"; x-sender="postmaster@NAM02-BL2-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3A4wF5bB9L0Piidv9uRHKM819IXTAuvvDOBiVQ1KB9?= =?us-ascii?q?0OwcTK2v8tzYMVDF4r011RmSDNmdtK0P1bWe8/i5HzdfsdDZ6DFKWacPfiFGoP?= =?us-ascii?q?1epxYnDs+BBB+zB9/RRAt+Iv5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJd?= =?us-ascii?q?b974EY/Kjsmxy/v6u9iKO10J1z+8eqhzKhr+kSKZuMgbhYcqav1pi0j/mntJYO?= =?us-ascii?q?RXw2wtDAnDxlOlv4/wpsY7sncYlegm8ptuS6z8dKM5VvRyIQ4LFU8Y3oW/uwPK?= =?us-ascii?q?SwCI52BaWSMcnwBFBQfI9jnkV5H9vzHwt+5hniSWIJulHvgPRT2+4vIyG1fTgy?= =?us-ascii?q?AdOmtgqzna?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0APAQAFiZhYh1cmL2hdGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBgmVAZCorByANB45LkRqXQwEphGiBEAImgmE?= =?us-ascii?q?VAQEBAQEBAQEBAQESAQEBCA0JCh0vgjcBBQEGAgIBAQcCgg4IAQEBAwE4QQULC?= =?us-ascii?q?xguHzgTAQcBAYVug3kIAQQJow4CAo4Nh3wBB4MzAQEBAQEBBAEBAQEBAQEcBQk?= =?us-ascii?q?BiEeCaodsgk0BBJA7iysbhk2cI5FQAYE7NXUrUU9hDINoggxWAYZYKkRCAYELA?= =?us-ascii?q?QEF?= X-IPAS-Result: =?us-ascii?q?A0APAQAFiZhYh1cmL2hdGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBgmVAZCorByANB45LkRqXQwEphGiBEAImgmEVAQEBAQEBAQEBA?= =?us-ascii?q?QESAQEBCA0JCh0vgjcBBQEGAgIBAQcCgg4IAQEBAwE4QQULCxguHzgTAQcBAYV?= =?us-ascii?q?ug3kIAQQJow4CAo4Nh3wBB4MzAQEBAQEBBAEBAQEBAQEcBQkBiEeCaodsgk0BB?= =?us-ascii?q?JA7iysbhk2cI5FQAYE7NXUrUU9hDINoggxWAYZYKkRCAYELAQEF?= X-IronPort-AV: E=Sophos;i="5.33,342,1477954800"; d="scan'208";a="259049365" Received: from mail-bl2nam02on0087.outbound.protection.outlook.com (HELO NAM02-BL2-obe.outbound.protection.outlook.com) ([104.47.38.87]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA256; 06 Feb 2017 15:36:02 +0100 Received: from CY1PR08CA0020.namprd08.prod.outlook.com (10.163.94.158) by DM2PR08MB429.namprd08.prod.outlook.com (10.141.86.11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P384) id 15.1.888.16; Mon, 6 Feb 2017 14:35:59 +0000 Received: from BY2FFO11FD031.protection.gbl (2a01:111:f400:7c0c::155) by CY1PR08CA0020.outlook.office365.com (2a01:111:e400:5291::30) 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 14:35:58 +0000 Received: from mailgate.vanderbilt.edu (129.59.15.81) by BY2FFO11FD031.mail.protection.outlook.com (10.1.14.196) 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 14:35:57 +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 08:35:27 -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 08:35:29 -0600 References: <20170127142246.919C212146E@mcclellan.cs.miami.edu> <416beaa2-9430-20fe-d8fa-e9f02761378f@vanderbilt.edu> CC: OCaml Mailing List From: Francois BERENGER Message-ID: Date: Mon, 6 Feb 2017 08:35:29 -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: Content-Type: text/plain; charset="windows-1252"; format=flowed Content-Transfer-Encoding: 7bit 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)(24454002)(199003)(377454003)(189002)(4326007)(2906002)(38730400001)(6306002)(2950100002)(229853002)(75432002)(64126003)(47776003)(88552002)(36756003)(3846002)(6116002)(6246003)(53546003)(31696002)(86362001)(65806001)(65956001)(50986999)(83506001)(106466001)(31686004)(450100001)(4001350100001)(246002)(230700001)(189998001)(23746002)(356003)(7596002)(7736002)(305945005)(59246006)(7636002)(54356999)(76176999)(33646002)(65826007)(5660300001)(1671002)(92566002)(8936002)(626004)(66066001)(50466002)(110136003)(109986004)(8676002);DIR:OUT;SFP:1101;SCL:1;SRVR:DM2PR08MB429;H:mailgate.vanderbilt.edu;FPR:;SPF:Pass;PTR:mailgate.vanderbilt.edu;A:1;MX:1;LANG:en; X-Microsoft-Exchange-Diagnostics: 1;BY2FFO11FD031;1:Z5S+qr+Kdp8qX6Txy/1fDSNLNxxbqJwu39PUKRGWvUFoI/oae0xLayDZas3n+ctEif7xAKOgSTQSPN5ZLiPv3U9b6jrrC6+k2SbqZ1g/oE8zdOldTiijOh9I/U7UCfrCulh7tgxykQAbdElqRqQFRqx6fQAj0AXCdy1zxQa6j3uiaP4Ek3qfDviU87Lum4Q6ZKCD5BpJmFtHVywJ7N0a6bag/GsmmYASprgW8pyBgiaO+EM9LZ+h66R/QItAAPxA7Ll039fYLb/TgeXWIjhbDTKDsBlez/RBl/VQvwCoZCnb8WMdvdiGy6Pdtf0vQ9TXRp4FAQAD2WtAxmgZW7F1rJnMRFbIZ3+oPSX+rr8qeuxZfiH8pgY2C8nGWUVJb6JUUoof/HwsgOE5GDFWe862ZbpkfwU5QxfssjYXnjJaH09a8e54P3qs30WnttTR4MvxmWlU5ARXW257NCiuJHBepCXAIAwIFzL1x4ApLIu2scSAkJ2qUD01fnaJymW6LEZt1UXAzud+XJMUaUitZOmTuH1iIYViubW/Cs5Gw6OVC5+ymC/U0Fr1d1viDsAHvzx5 X-MS-Office365-Filtering-Correlation-Id: fd97ca66-2a25-45d3-4065-08d44e9d7721 X-Microsoft-Antispam: UriScan:;BCL:0;PCL:0;RULEID:(22001)(8251501002);SRVR:DM2PR08MB429; X-Microsoft-Exchange-Diagnostics: 1;DM2PR08MB429;3:49ySS1P9aCF0W6UnsRTxF4c0MwvAa+qeC2adQXgqA2V0nPB7hiBPjQDLsRZ2UKcwncIMVecHaax/hsX9QeE9bi0PqDYbph8yi8SPX1xB86lcaYsI/UDt64HiNxSFD/5XwjPz6we7MKDQq160tFn+bUtVamB/x0d4r/JavX5diW9xEHxb923+oRxkuXx37XoV/TiuOaDuq5DbfHqF0d7UQyjuATwrI0w3+5Cz51IKZ5jUPgemmKV/UdC8dlMNcoJSFwVwz3mH9wLe0diE/vESNYwocfFXNAguyOwS4B07FvwBWMNROxx7c52b0xYARNz2ydA4XC+i5YZvS0gvzvZ05Yeab401O9ID0j7i9AgQoC2LpVsP+HTjrbcpIvhQeSs/Q6HWufP/CcpdMhbKN4XX2w==;25:QE+d9hKeNqEjAmSenPAFnokjmdH92KmJl/9JFoqTb+fWJtcfHX0aAH8XMDtbVOfmmjKsEphRput0VfGS3QxhKo5JoEUvlC3JiutubpjEZM/ASW2GB6tx5NaDtNtpFCwHRVBdc0qnOj3FvVwjjuWAUDWJRM82uQcEX+P0zZykkYQI8UWDYWF+KTA3H/+GYWRhImj3RPErnDtrPX0bx6uskTx2W5GqNFi7hkCUzy0vxxc+BmFdqE/lPeZ2aunmFtTVUPd3QSIols9NEle8Sc2ktDgCvgaMiwZw8x5w2diB38rJEWWtKjnl8eCl6YquVH2mJFFdhfksA/pKWRWcAgK7PLS5TK/8KnoCy33x3nF0ztSdCimIrCON6Jh4ciOHwUBzb4WwiuqOvHej7XJE38Ltx4BkLs2yOjN2VWfGE/TIroGfWGtolWyMCE1g4e9PdiKrGBOb5C3WjLscGEA95Q4aCQ== X-Microsoft-Exchange-Diagnostics: 1;DM2PR08MB429;31:7bN/gC8rNOlCVJKw4WY1h235yv/lPvAikMK1zYS7UvH2ggLE4xBWbIEfRHPSCCBXoNrkE3MVAg3j5jIV1HitPHknrw8tk1S8e689rA60Sc038hhgtbnbc+VKYua6JtBBErXFb2s6qoDwqCJgkENcrhUFbdEawDfBa6742exy86y2ih8EBmo0h2/UJwh+eEsp3fbPcmGkVqa1SYx03UJgGig7ho5Ft6ODvlHzmB4v7Va2HOAo7iiZyqk283n6Lqb8iR0QsCjoEAaEwYpImWiLVw==;20:hF9eFISLg2afIVqrvlAcafPBi9ZMWc5C1+zn5A8o/TFHqr4Gb+4bTdqlQ2zZ4JlWs5iP74jP0NbCW3WJeKJhGoaFJFNueCeBGvwFytK2aque++QrPdb+Cw9YISRbjhVJgvmqDMfRd+TUgIZ3+HIjlS4Ccp3kp3LuCH85qqV8WRSWzcpfMJgpyeAVJRDk4WN0FQjIQD9iIkqKbqaONvMxK4muBxsPlT5x0XiNlXhiZVVws54OF2RCKm+WmG+fflHY6F8FAbsSrLcpNFY1B5tWi+lCCKm9YV5arQkxyna1sW21gPb2VuNbiKELH7BqyWcuTLOJ+eGLzXn6SEkRq9utoOidtctDSQc+klSEBNGeGPLA4FJ1J7sSfpB0gWlRn0OvpqcDGc5TWJ5I7MT4IZGzZ4XEn7CNnLxwfQU/08T/07S31VAKABn6MBsXn4iv+nzUvk8h6zf3B5veWGqskIFpEIq+kngrCYPcxv6avcZXv6G1RJL9lc5xNedlOdCWbWPt X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:(209352067349851); X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(6040375)(601004)(2401047)(8121501046)(20170203043)(5005006)(13023025)(13024025)(13016025)(13018025)(3002001)(10201501046)(6041248)(20161123560025)(20161123562025)(20161123555025)(20161123564025)(20161123558025)(6072148);SRVR:DM2PR08MB429;BCL:0;PCL:0;RULEID:;SRVR:DM2PR08MB429; X-Microsoft-Exchange-Diagnostics: 1;DM2PR08MB429;4:78Xt3JbfMyKXCEmKJkEVsuvMrmb2o8JRp04jKNakmIOLK6yOp6LnZ/YWsrO/A2xowrkP/4SMNUUoWoD2B+mEqiFSnEI0ENBOB5M3Rb8Xtex5I4Xjv73Ok2iWItV4LqbaRb4pPJtw+D6hYb6bEtDWBvAhTVqcwa7mEgOdzW+3G6Oe1OiCxaJ57JqOMbt9xrC8faT8ol5ObBAYVyRq+yOkvD5d2v3I2Lj+OWFpf9P8RrwWTlacOYKOXKHPVmDHt10rYgU0RLT2tJfnzmi+10KDqW77yK60ZIPay27YeB+LTPmkVqepOX4jXUQTZfDVwUsdHhC5bPQeXpClIZ0BSdsOwCX/2ZKdq8LNYsnYk5fUYBSbutfO/OhOJpYB4i6NwIIw3GxCCRxkA2rLZuaLL6f31lhiFg9gnPEXyMBpIcqnH4uaGybeyCseTapXUF3iobps75MUf2HVIwyi7nez4gRhwmi8I2p0eXGCufZ6kx/BBE3LOUXJ2IlyKcxagJp3DdQkSt4f+HtYyMaJn/NNzeliiA3e/lxxNFKGFfwOZUyvEWdRZLmO/PTPThVq9CFrYNUYWMtg7FuEWDT6oiY1a9cqqt6D5GDfVpRTWDuMoH6CD0f/71UGPQej5P6phWaWRx1t9m7QOMTYBpdtgTqPyZ31zdB4Exkf2Ujh8ZSZ1u7XSj74SweAUoXtjlES87LEfbbhHMc5BahKePGSRqFjFceQAnld7EhJoAtQaTpijB+xErG+eF7b8gYwb/WdgK1IKNEK X-Forefront-PRVS: 0210479ED8 X-Microsoft-Exchange-Diagnostics: =?Windows-1252?Q?1;DM2PR08MB429;23:0LOVrmeB4N9bAzNQQ1v9h7hgTqnkfay25F1s1U?= =?Windows-1252?Q?a0bYXbw3hNLP9bEr2tXZPSlczKSyDZvx3MO6CNAe+wjAt3JgFbHbtOPG?= =?Windows-1252?Q?1KCERIqcBoJYUU56rj4uB14BmSsVzqRrla9ketLd3E+MSZYd4KsINTIB?= =?Windows-1252?Q?DYEiLq69IQ3ZaVJLvNOuB8cexGPCfyMU3MdKoWlv+HtZlkDyhpvPnB10?= =?Windows-1252?Q?MJ8/uCmrnN+n2cu3F0LFBr6rXdbrhWO5WD2I8V348FU/3ARdMMnD2AZs?= =?Windows-1252?Q?pV66E3+iSJu0RYbVzjJESKNJm6JLhuDQhFCtzRwBUoWSDdmmud8SR+Yw?= =?Windows-1252?Q?+t4yPSqSmUsI/BIOBZ4o22mScLcf3ZBI/+SBr+SOSFcRmj4W20jlUxhd?= =?Windows-1252?Q?D1pzqVnZV68k8P56jNygHmESbbg7JybOL4sOXOWr5lC4XRb7Gx9kD6rV?= =?Windows-1252?Q?aDyKRfEGkI20/5RqIYhOJQmcYiS3SMy4JJZgPVzsrNMpnZwqpmmvWrrm?= =?Windows-1252?Q?FVtM3bKvUfoIRdTmgNEdwzhny4oNh5GkidiYXcQpvoj1k85OrZ3zMYZJ?= =?Windows-1252?Q?SaK04yUBaoPU/tPLtmdA01Yg/El+q+kcGzGpP3jKLE8VNSYlGRq0A2qN?= =?Windows-1252?Q?rhF+h6BVdmjtDu+NrrURZDjMJJm4S9/wRLCBnO4VhjTW/Q0fqBqEmewt?= =?Windows-1252?Q?7rX7/O3BbUSHwXIniJbbzqyzKrrKSsL0c3kARG5HBPKr3S9DpAxATYsS?= =?Windows-1252?Q?VpwycEr8739bnz2LJpE3nx45LNgqAG1ckJy2DjM/N1+psciSMZ4EXN7t?= =?Windows-1252?Q?7qCq9lN58v/qNDBOx/Vjd5a0Dp6WaPR3cf8OJf2gn0gmBDgniX6F9GWP?= =?Windows-1252?Q?0fgiMvTaQrnwNnBTB+khY4ip+hEMBm41WQKbczTvgwXWe9TY6PYBa4cG?= =?Windows-1252?Q?MhrtfO51XY5ECthDdkpPl2JQ6gOfwiEYKXQo3hBXqDFpmEqOykaL9lds?= =?Windows-1252?Q?bG93RXyN9JImD5S7ChZzLUv35rgCIwCcCy+ooDljG+MiSEcJqNB1e2uJ?= =?Windows-1252?Q?DwIzsuHb98SVqf0abI8mF66cQ7P3Og0unIFkSNjPs5P89R4MfwhFXBe6?= =?Windows-1252?Q?5mJctLeD+KPjOT8pDZGbNwcDlPV6SRXRhSysGAsduJJZ0lwgvrlGsBXI?= =?Windows-1252?Q?Pf8QtQ5Xx8nLyREXfJcPW6+AHcZq2Voc4u6B201uXQSo0qNABiJPmG3w?= =?Windows-1252?Q?XYx6or91oxGto70CmuJtY3lCuc0XxLyzSMAJgm+zLzAMiRsqNrvC4WkR?= =?Windows-1252?Q?RpjUXWVPKVqv9lZV7xHUf8k5I1OHXGMprWHStcaHNU254jbJj9Od9WIb?= =?Windows-1252?Q?4ap9R3s050oaBH/u1nOcVwFBnLqLOeTPUazk9dx370wQ4o9NX1oB7EK2?= =?Windows-1252?Q?JS8EN3EzkpW5DTrCu2mv1Ke0TAUWpXRFSTOGaiDJBtr92Tvs9MW8tLcr?= =?Windows-1252?Q?wl0vl9wHNDd2nOnE/dK0hcSgaQr7nrE3NRx090u69GBoTD6Q=3D=3D?= X-Microsoft-Exchange-Diagnostics: 1;DM2PR08MB429;6:h456wrlK0qLwPabF63ufojan4+VZmwmlLr8A+7MV1eMaWJTP4Njm61wxeMEYgTQch8CdmvDA4ycYAgevB28F/JQtyubQraHKvYpDo0+EfwH7ySs77o3kEFL7sMen8d71m35IdiFENUYw++xtVXR5uOzkeYqMGB0qzCxdyQohMHahg/LWwkyaW5sXzTMBRGoytBribFaZZIcMDVRjri6TlJRCPPGvpKn47Js9F7nEhoE4fP9lOtGhSZpzrxJLSfqhmaMNnh4udH5hNDWfj8wpVL+/KD/58V/cYxDwpIuVENqWWyZpI9KbQNHkp7O+FGVWZlUi4+XUq8AalQkltXhloY0TlkWd+PFQdqgMYPFbzyt4XTt6/LepCBYUvbS91RNanxt9UyRvNpEpGdZ6Nb2W6Q==;5:8d/GKb1BPr0xee7lOKwE7/TU4NPcGYMtcfC4gqsMRliP6bsg7MQbR325iN54mpAGjwq6PoFrNll4dk2+lrv+rihw93SPKlnmjunGl85IWcvdNf8HX4ngHDKo7Fi/9f5+7vdNI5V0WgeoiGbgf4QeTA==;24:6XwDttD6qlr83ZcyRiIfTxXcqRlKyFkp9tefU/b0zg2qPMWpcxhPgoFdhXuRElouOGEMpvmjbFaF77lUudk6DAZnkbSolSoVWaCpc8iutQQ= SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-Microsoft-Exchange-Diagnostics: 1;DM2PR08MB429;7:rFi9s/o+/5Q//VsWvux7jlPIvcTXItdqf5QwGIi6lE1YoVAfJC1IysMOa478REb4J9CO0CLMnoav4GFwZYlsmusZNlnTNaXC9z+eLLn+cbouk7/vuoCVcraEsSESMIhWFUFCz/WXH5kZzoNoe62+vWgTy6b/vaNrkzAMNtkLNhVdzsvsKbGhy4eAbvKKS3oQCK8Omq5vkH7m5NsIGq9kHdzx7eLfTv/wi+rZLlyCo34EoK05w4xKRd3H3S9QAhGpdedWRSzBmIlNNnVwgl1zBZNJGbm7BWJqecfkxPvH2UwYeDMcTyynXNFMM+Q5gjTIms3OqDaegngdGYjP/XLRJH5zESYKmjwNAC/bOKMT6Kd6nqrAHvhYl+IVvRGvgOxaKHHKSQqPysvFsoJfcSXOq8EurojQVrhm+KU4Np+BVYKo199ZKBE9yv7zB3m8Y1TZAF5h4tvuA8eZS0oVTNdNKfVjk9HlMWk4jwbMRxV9y9wnMdJ8QAiJaP5GKnDpiv+rwamPI+puQ0sbV7kMr6qz2A== X-OriginatorOrg: vanderbilt.edu X-MS-Exchange-CrossTenant-OriginalArrivalTime: 06 Feb 2017 14:35:57.7526 (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: DM2PR08MB429 Subject: Re: [Caml-list] where are we on the Hoogle for OCaml front? On 02/03/2017 09:58 PM, Jacques Garrigue wrote: > For search by type signature you can use Jun Furuse's OCamlOScope: > > https://camlspotter.github.io/ocamloscope.html > > It also gives documentation when available. > > I'm not sure how big the database is. It would be nice if the database was containing everything that is in opam. Or, at least the latest version of anything that is in opam. Is it really "production ready"? Should we all jump on it? Will it stay online for some years? > Jacques > > On 2017/01/28 01:39, Francois BERENGER wrote: >> >> Hello, >> >> Do we have a hoogle[1] equivalent that is in production for OCaml? >> >> I mean something that would index all source code available in opam >> and allow queries by type signature or keyword? >> >> Currently, I use ocp-browser but I still feel like >> it's a temporary and not super efficient measure. >> >> I don't know how to do query by type signature with it. >> And many packages don't install their doc so you cannot >> see the doc for each function. >> At list for the stdlib it works (inside ocp-browser you type List.map then spacebar, for example). >> >> When I was an Haskell programmer (for two months, a long time ago), I felt Hoogle was the biggest productivity enhancer (you don't reinvent >> the wheel, just find which one you need and use it). >> >> Regards, >> F. >> >> [1] https://www.haskell.org/hoogle/ > > >