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 143DD7FA5E for ; Wed, 26 Apr 2017 15:37:10 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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-SN1-obe.outbound.protection.outlook.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.c.berenger@vanderbilt.edu) identity=pra; client-ip=104.47.36.40; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.c.berenger@vanderbilt.edu"; x-sender="francois.c.berenger@vanderbilt.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of francois.c.berenger@vanderbilt.edu designates 104.47.36.40 as permitted sender) identity=mailfrom; client-ip=104.47.36.40; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: domain of postmaster@NAM02-SN1-obe.outbound.protection.outlook.com designates 104.47.36.40 as permitted sender) identity=helo; client-ip=104.47.36.40; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.c.berenger@vanderbilt.edu"; x-sender="postmaster@NAM02-SN1-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AkdQKhB3IeCz0zxUwsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seMTI/ad9pjvdHbS+e9qxAeQG96Kt7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q89pDXbAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okC?= =?us-ascii?q?YHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYP+d8cKzAZ9MXXXdPUNhfVyJBAY2y?= =?us-ascii?q?YYUAAOUDMulEoIf9pkADrQe8CAS2GO/j1jFFi3/w0KYn0+ohCwbG3Ak4EtwOqn?= =?us-ascii?q?TbttP1O7sVUeC016nD0CjOYfxK1zny8IbGcx8vr+2RVr93f8rR01MgFwXZgVWX?= =?us-ascii?q?qIzlJCmZ2fgXv2eA8eVgT/ygi2goqw5vuDii3dkshZPPho0I1F/E7z52wIcxJd?= =?us-ascii?q?2kUkJ0f8OrEIZJuiycKoB4TMQiQ2RytyY7zL0LoZG7fCkWyJQn2h7QcOaLfJSP?= =?us-ascii?q?4hLmUuuaPDR2hGp9db6imxq//lKsx+L+W8Wu3ltHrzBJn9bQunwVyhDe69SLRu?= =?us-ascii?q?Fg8ku/3TuDzR3f5+9HLEwui6bXNZ4sz7gtnZQJq0vDBDX5mEDuga+WaEok/u+o?= =?us-ascii?q?5vz/bLj6oZGQK5F4hhjjPKo2h8CzGOM4PRMQUGSB/uS8yaHj8lb+QLVXiP05j7?= =?us-ascii?q?PVsIjAJcQcuq62HRNa0poi6xa4CTeqytMYnWQbLFJBfxKHiIvpN0vSL/D/CPez?= =?us-ascii?q?m1WskDF1yPDaJrDtH4nBI3fZnLruf7tx8UBRxQspwd1Q+55YErQBL+jyWk/1ut?= =?us-ascii?q?zYFBg5MwmszubpEtVyzIUeVn6IAq+YK6Peq0OH6vg0LOaSfo8apjD9K/c76P70?= =?us-ascii?q?lnI5h0USfa+00pQJcnC3BfVmI0GFYXb2nNgODHoKshIkTOP2kF2CTSJTZ3GqUq?= =?us-ascii?q?0g/D47DYamAZ7HRoCsm7yBwDy2HoZWZ2BDElCDC23kd4SCW/cWaSKdONVtkjIe?= =?us-ascii?q?Vevpd4h08jqnsQuy7rNmKuvS9WU8tIn/nIx+7ujX0BUz7iBcDsKH0mjLQXsizU?= =?us-ascii?q?0SQDpj8rp2p0d6y0zL+4VCrtp3OOYbs/1TWwExMp/Hiec8Ad3oVwTOc82hVl+g?= =?us-ascii?q?Tti8CzA1UpQ8z8JYMBU1IMmrkh2Wh3niOLQSjbHeQcVsqq8=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DoAACXoQBZhygkL2hbGwEBAQMBAQEJA?= =?us-ascii?q?QEBFwEBBAEBCgEBgmRDZFcHLgeOapBWl3oBK4V4AoRnFAEBAQEBAQEBAQEBEgE?= =?us-ascii?q?BAQgNCQgoL4IzIgGCPwEBAQECAThGCwsYLh84Bg0GAgEBig8IAQQJnkoCAo4Ui?= =?us-ascii?q?BUBB4MTAQEBAQYBAQEBAQEdBQkBiFOCOzSEK4YZAQSREow8HIZ9nVCSagGBPDa?= =?us-ascii?q?BKGdXhH2CDVeHaAGBDAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DoAACXoQBZhygkL2hbGwEBAQMBAQEJAQEBFwEBBAEBCgE?= =?us-ascii?q?BgmRDZFcHLgeOapBWl3oBK4V4AoRnFAEBAQEBAQEBAQEBEgEBAQgNCQgoL4IzI?= =?us-ascii?q?gGCPwEBAQECAThGCwsYLh84Bg0GAgEBig8IAQQJnkoCAo4UiBUBB4MTAQEBAQY?= =?us-ascii?q?BAQEBAQEdBQkBiFOCOzSEK4YZAQSREow8HIZ9nVCSagGBPDaBKGdXhH2CDVeHa?= =?us-ascii?q?AGBDAEBAQ?= X-IronPort-AV: E=Sophos;i="5.37,254,1488841200"; d="scan'208";a="221593651" Received: from mail-sn1nam02on0040.outbound.protection.outlook.com (HELO NAM02-SN1-obe.outbound.protection.outlook.com) ([104.47.36.40]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA256; 26 Apr 2017 15:37:08 +0200 Received: from MWHPR08CA0058.namprd08.prod.outlook.com (10.173.236.32) by DM2PR0801MB586.namprd08.prod.outlook.com (10.242.127.139) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.1047.13; Wed, 26 Apr 2017 13:37:06 +0000 Received: from BY2FFO11FD020.protection.gbl (2a01:111:f400:7c0c::171) by MWHPR08CA0058.outlook.office365.com (2603:10b6:300:c0::32) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.1061.12 via Frontend Transport; Wed, 26 Apr 2017 13:37:05 +0000 Received: from mailgate.vanderbilt.edu (129.59.15.81) by BY2FFO11FD020.mail.protection.outlook.com (10.1.14.137) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA_P384) id 15.1.1047.9 via Frontend Transport; Wed, 26 Apr 2017 13:37:04 +0000 Received: from ITS-HCWNEM121.ds.vanderbilt.edu (10.1.154.71) by mailgate.vanderbilt.edu (10.1.140.91) with Microsoft SMTP Server (TLS) id 14.3.301.0; Wed, 26 Apr 2017 08:36:59 -0500 Received: from krypton.csb.vanderbilt.edu (160.129.138.225) by smtpauth.vanderbilt.edu (10.1.154.71) with Microsoft SMTP Server (TLS) id 14.3.301.0; Wed, 26 Apr 2017 08:36:59 -0500 To: OCaml Mailing List References: <2C817F94-9BF5-451F-BB12-706E441312D0@mail.uio.no> <20170426110226.GJ32215@ccellier.booking.pcln.com> From: Francois BERENGER Message-ID: <685ed94e-e3fa-ce0c-d3c3-5040fa7c2985@vanderbilt.edu> Date: Wed, 26 Apr 2017 08:36:59 -0500 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.7.0 MIME-Version: 1.0 In-Reply-To: <20170426110226.GJ32215@ccellier.booking.pcln.com> 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)(2980300002)(438002)(189002)(377454003)(199003)(24454002)(50466002)(7636002)(5660300001)(50986999)(7596002)(54356999)(76176999)(305945005)(7736002)(64126003)(31686004)(2950100002)(65956001)(65806001)(65826007)(230700001)(47776003)(66066001)(88552002)(189998001)(229853002)(6916009)(4001350100001)(53546009)(33646002)(23746002)(2906002)(106466001)(6116002)(3846002)(8936002)(110136004)(38730400002)(6246003)(356003)(36756003)(31696002)(83506001)(86362001)(75432002)(6306002)(8676002);DIR:OUT;SFP:1101;SCL:1;SRVR:DM2PR0801MB586;H:mailgate.vanderbilt.edu;FPR:;SPF:Pass;MLV:sfv;MX:1;A:1;LANG:en; X-Microsoft-Exchange-Diagnostics: 1;BY2FFO11FD020;1:JlNhTIGpG1pw8/hj8P7uJyIi4zYPNLkarGAcPAHM3LXQlKaweE9blNHVNgGi7zAhmHrJSngCW9fFBUC7Qfb+QK3RXnozj+rnGiI7z3TTPZpfntPSzCNpzxt2AKoGegC5+fUQV9ZQfJpuxFrjvfGhlTVT1MI9XbBKsY6nel7f7c1knaqcGd2giwO1VPMB+MTUcO0QW9rexF+DCrk0llCLw0lgM8QqqpDSWorQtmCZ29+hT9paFWi6wzHt4mj0J32l3yCvnOacl2J5zUSB+m2xiGkFAOQUdPwofq5WHcJtQU/ksROYatKgd4w1gM4EXmAgK4Y7nO26PoNwJCpnzXxSWvPmnKoQvDBvngnciSyjOGugrCy4V9uG5pKz9t7iP9+Xgp+i8bwzj8Zh16sqBTGcRC66o9OiFNod3qfa21Z7r4Mw6v/lnCm4tmBvHNOSNWqijmhG6VQzvks0dGcJ+rc+tib3s9rIJaiOOalNmCwoIsEeobvr3qOliaSzivtjsC1N1LpJEGfvDsY+vC6xHXsEqdeSEXUsgFAsnT7lSnA/cbzoxDWms1b8m1zFn8DfPwl2 X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: 757f71e7-053e-41c4-7148-08d48ca95408 X-Microsoft-Antispam: UriScan:;BCL:0;PCL:0;RULEID:(22001)(8251501002)(2017030254075)(201703131423075)(201703031133081);SRVR:DM2PR0801MB586; X-Microsoft-Exchange-Diagnostics: 1;DM2PR0801MB586;3:Im3Q67rR5xU57bZWJTJwzPfe+AdMVtpERrrYPPOQx051vgtXOMp8GVMEJx8FGAXOw5jcqyissSS2Kf9jNwKGBs/2Oftc9dN4bYe4NZtTztHP1oGhmT0eqpky7s0uEydtEgkp2Ax1wQ11eiKg3OUUTO7C9mr01kxDuSuPAbXJub3pbjUWvSlKBUs7HzAyM+O193xhIM30K1q3ag9+TaDELmss7uIvMxwIxP3JeeECJ1rDef+TW1kMOZK7VW2z68moL3vsOHtoakq94If6G6r647L29lnWWT/7dqg6Eg10PL42btZS4Aj2y4/TIeTobjBLFSaBfjnc6e9KQTlaCR2A1WCTFA+UlJvEXZ9Y5uc8PofounwXWxvRedfOVHzeGDYkbj61uB9YcbF0q2tCWIJcUk4bg3ln1TYwz4NA6v57I4ajoszI/tyR7MT3CklYE4OF68Lg42bUuj3db60EyCOMZr1Qfmq7uRnDLE77oGe36nA= X-Microsoft-Exchange-Diagnostics: 1;DM2PR0801MB586;25:Pkpnh43SvHKzynM4TgQemOR/177EHp6KQwV803Bs7q9exMe6KsjivVKJJ+jNzC5Lv1se9E8VE0QMfxq7PeUX4eSbmKjTaerP4prqivuIry3lhsMe2BoRpK7kAcDKE0D5vubkiE3hcQqxcW6epQ/AzRXcRduKuw8zfj+Pjr6kX24o8JQM3RVsEmS8ZzXfjz6OfC7ExFvIdjF4rlti9XKr3aQmLzfglZdKztxX1bwAmThncbvlf/yWDUOZ1rmUqEAumItU7OvjcasbJq6+PgzxUguGVmlIG6jO2YTmhN+eoxYo8Nbc2qwiAhSjv4VXtx7AkvNNZpP004xsi5P9w2xAKSdPiRB4QrLyXuVZh6UIJDkl4V6CoLT660FuIMwxWhUqIwqOzgVwiVnKtWHn8oqXS9LOgOX36Tz3uTIE5naMVHR7ymNEoGiG/yooauhiL+w3CFFha/FqtxU/fEY41OH+qg==;31:MkREAKfpdkg03IYQfchiMXSSZWHxs4dW63ztzYWqlqhrWJIMdNFzwKpUtrsP3ZP9mj/d16qi/7nSIRjqZccBwrt4BUnp8yioIFk/djdF47jbGB+oEaUc2n4SPCvIEd7Z7bZCcV+Cvbdi9tD9xFTrjOwPyx+YruOVauNlefT5V7/HVOgpvPwAgkAbnXWR0NoKik96qk6sh69xVtijPhbo+RgnidOzXm9of5oIgnHhJ1U3eLZZYYF4OdnSIL2zcP2/n4GVA+EpNl817bc1+UbOtMFUUPt4E+FSge9Y2zUyQJk= X-Microsoft-Exchange-Diagnostics: 1;DM2PR0801MB586;20:PEwIv0n6YnjJy4bqO88iyegyCOHHEm6ujo5m2kN6F53tnb5PgC+Ed1vSsgZ0VZ60WPuJt7mhExLsj4e5njfyueioXo0NVoD9Y4BtYVRaqblRn1VDtMWe9wZRT1oQEzvNk053Tg+wJ6gJ+qKjCU6QtxcI7KaqnRJDuRZyQYkjWV+kCNAAp3gCeC/GH0AuvxUIxlL8gHkEePkwf5VGyWtJrPb/4KmLUUpUsZCX2Tzl01OOgGhn3QrrS4f8TsTm8r2J00QuScM77JQNEmm8tNQ952kbXvHztW+HxGrAhizWT0xxyJMaR/PTqEASFEJH4sz0aUQExzRvnFDXlpXVjPQNE5NLRGvZxd6uM09D0XTMCSwDHDnkMp8xqrpzOt+2jIgvlAWNcMIYCe2pDxup5x6RLm0n28REDKP2U53tMaZ1NcWozHJs+3r65DB9WP24KXKrHSFjcxsYRL3Hh2BkA9I5V9r7d9UfRyhfAS6fs1HnQf5WeRmBXc8HGmjnhYqFc0oX X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:(166708455590820); X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(6040450)(601004)(2401047)(13018025)(8121501046)(13016025)(13024025)(13023025)(5005006)(3002001)(10201501046)(93006095)(93004095)(6041248)(20161123555025)(201703131423075)(201703061421075)(201703161042150)(20161123562025)(20161123564025)(20161123560025)(6042181)(6072148);SRVR:DM2PR0801MB586;BCL:0;PCL:0;RULEID:;SRVR:DM2PR0801MB586; X-Microsoft-Exchange-Diagnostics: 1;DM2PR0801MB586;4:B+dI1LjxUV6fAJ3OxcCq7W7y0xoeO8whDd0TbA08yzeOWvvh75LV+TnDDD09nZVrxsjULV/nOckI5ITr4wMChR/JtkiT2IDlhbv6JhPkt1sSN++klRDL00TMNHleBL5WFHLNi2JJke5ziGp3TFMneI9SRZJ9rvxbbuYisbsB+a8py1AoxXhBQ9GAnnvteHWW4wWxtbFPM+FRkp0+J6lh6D6n0+estHGTERfr+CVwitCR5KwWc9sm1WejBrH3Bev4FhMau4dnscWQJwmkrAsSbV+eW1R27PUhoyIaz8raGaLH2IZf5B6DdkrT9XA/ArfNWwWpB3GWPTrutb41QTjgrK2Z2B0nbYFVC4xNYTMTSXTbD1+yNj4F5XrvU2jYor8rBwdDZTd+qULZvKDCJcFt/Mkd7nclPcVonS2x14qbDNOcE6RZcsmrEWLcLSf5fozJAzmDFB0c2Rf8fJeFX8kq+Y+fcBQu3V5367Vohg4GiQI77xAJAA7V8kANt0tTqRW+56HJAUlqO09mq0m7peDd1DtuXohLoLQdkulwkmzHAYTkZZrGv+kudL9eyeK0vAwSndmdZzJVMQ82lenYYyEeQg6dNooVv+iimIdNgxQd6HGvm77gr/NSXsrS0CL07JvD/e5PBmJ1SgZE/8sbxCqa78SckohOvCgxaTdxU5e4kqQYVNuwhX7UYUZ3ICk23/jvQurrgUoM42N5MsYCTrhtPKRAoDAHVaW0Ulhg4SjPxGq0DsX/8pKT0aomlE4bu674wc4eNnvQoou1O5yyoc5ljS/TprIsv9NbQ+UNVG/9p/OVOQMJfvREaacvUKQUSmUr06i6Vg9gqWc2C33AsUjFqpQDKVGLGd35S3XHu8ODy68= X-Forefront-PRVS: 0289B6431E X-Microsoft-Exchange-Diagnostics: =?Windows-1252?Q?1;DM2PR0801MB586;23:qbrjjEkuXTLq08uTylP861HMXI2f7/29HQ+Z?= =?Windows-1252?Q?lKzhjOu+aEuLe/G/PhJEaIb9R2zylmzxwl796KWk10bA97V0Qw0lvZP7?= =?Windows-1252?Q?SK5xozUqRjoQwy82yzcwvSYUz0PxVBmcxq6tXtVqECHPy4U3k+r/+whY?= =?Windows-1252?Q?CqDsnTRNoFhbhFVhjykNwn0/drqZO+wr5w6xKUfs1+tZEWYes+jDTeBl?= =?Windows-1252?Q?AvMoBpLhi4NmuRhC8S+cchF34+vFImqu1UBEWP6uaYx280W7I+d7Ln1+?= =?Windows-1252?Q?kZgAMBRzgVDDaaZ6BzbTi2USKs4hTHhKrpwCw+3/KB+pxG8d7NUQakgO?= =?Windows-1252?Q?JPEykAXpQy65EoOr/KhlZVZVZcb85URCum7rxYByv8Xxyu+BJ7X0c8L3?= =?Windows-1252?Q?lfR6Qzojw/ZTkbhVVBfcBfcQXl8PKG9VN8KCfxvBJbQJft5h1NCdSMOD?= =?Windows-1252?Q?u2S3nYV/xUVI/iMsU8pxQQSnZfVG18bYYv+ROcOR6/u61muywkGfhUHh?= =?Windows-1252?Q?xD10TzTdAkixtESjx+DeyMYPmCxJHuEdqR50Y1F/zcNjjEURE20fJcFk?= =?Windows-1252?Q?WzX1KxxzjjS+jrZuBZMVq6uqrfvXNjVlBZpvl7abFgRZn7DCyImroF+R?= =?Windows-1252?Q?s4bKeRWQvE5ByJhAfOcnEIRqd52/r3jxMHs19X6PPllQLfTu770OXsLj?= =?Windows-1252?Q?FNrjdBtHwLDShambxbQ3hR4UelIqdOLd/jEhLv15YBBKRBhBqZcT7dTB?= =?Windows-1252?Q?fQQluwcm6W6sZ606V+Vl5epGHwWGYndhBQHImIhO4up+0Ae5ZSeS8U+v?= =?Windows-1252?Q?NhLVHO5eSQvET3R7ZoZ6FGbklZlxuqTnO1kuOYE3oClBJV8ZkraVJ/nN?= =?Windows-1252?Q?VQwMY/rwngjUyjEeU6K3AdsCLkCVMOka0K9mY+Sg4KvlILA+JIDQaiFX?= =?Windows-1252?Q?YMQ2Aqsn2hMMKSTOS2oBphS5NXSPCfNFBGU+yIE4MJsADPtjIL57Ycun?= =?Windows-1252?Q?9bKdKXaYxoKnqLdIoCQmi7CYZEVfQ9I4RsCObzzO196o9ex9cayS5FKG?= =?Windows-1252?Q?NCQpx9we8lHJ/xmhKvuUIaKjITR2sYCrycglMia6a6ImPo8zSDn4tGoX?= =?Windows-1252?Q?sjVfADmOh1XR+5xs81jZiZjWKKFZp20ng/Y/3okIi7Q8UtV3DfhJbkeB?= =?Windows-1252?Q?gjkqVZWYfw44K1VpPKuB9db/7RuAwxJ9BxSSzaX16cRPL7vwu/DGSFSz?= =?Windows-1252?Q?gpGIOR3Jkb8Yw62OzQ=3D=3D?= X-Microsoft-Exchange-Diagnostics: 1;DM2PR0801MB586;6:1Zwvt18rCU/hknkGGB3lKySgBbmmC0FFOWmorCv+yK3wPzygKYfDQ0V/hU0piDTvsnIKbta8aKX/lTzpqZc2XgOjwa/tVRo7iRaNqxBureJ5l5eq2IWWUJO2GgAOyOL1lVNaCgVDfbFg4WgqXTXhtT8zDdXZoP4L0N4gYPFe1g5pgYOz9fq3Fmw2E9/sclfvqDxaQaK3rIGtj6VCqFQdNJ71/LbBVj9W58GMD2mL01zQ1fozr+zxxHmLpgz7gnph64hd+8/eTeR/S4gPadgCK5omwSeYW06mTJYDk3TVpdQFJlfnShPlxy5rWgBhDkyqNuOKuZr2QO8DMJuuu/CFaQdugT/rYnyeJuPJ/7DXJZZQo8oaSoxlkBkJxsvnX3/hU6uDiru3Xo/QQBwGOQeSxttStYIgoepj8Uf0VOprpudaR2/6ueENC3EBhT1ilg5VUASGsOd2NtgUwiyRQaYJbMBvyVYeCcf16G8rY0Lvd2uPF5hkXQm83hGKRg42raIGlplW5YmW2dYEZKx0SyE/NPsPJvUqjS0Y2G7JryV1KDf4jDlBavo0aw906jUGwYjt;5:3ENT46ohYa9fp7UX/WVfpI3yKOsuZQ9zb7R+a5KtLyFSZ8mvMp4wF5dAXjOtc/fIIkteaL5irqGmaNCOtV40n7c0XKjOqvjbDQQG3bPHRnKlPmua99DrM/qRf5+xYulkp5yFmycLqt/uv+/6mdEL7RNA013V+zBtyE8aI8wNEHg=;24:YYmJXt0pPDJWGaAnxID5R7yYcFbLos+yvWC70UCGYLLRQS0PFnKU2OnEpifWlaR8aQqKuKXCzX5mEOwPtPAHppq0b3KZkUo10ZPITyi854M= SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-Microsoft-Exchange-Diagnostics: 1;DM2PR0801MB586;7:L0+9BU+HVqz3YWT/tDUiywZf/AQJ1GUQ/F6NWUbi9vwKc3RKBL70HZvyDLpT7EJvbiYyiAStVs3LNvr46RrYfh4IyGtnwrTs+mk7GE0tG5bcnxDfNXDSLLrr/3KzNqykSieR0UGfbENL/LBwB7RKefHZY65zCBLvddUTkBHO+3wrIKjRzXJqG+5kLoKn+o7FUIeQuApgb2386n4aIw3ByoM2GlPuJX5WdAZDoSiUo7DfszocP36+eqbedCjJqJrVZtbJOTUoCCINZfNKepHTjaYoO4ZfgFJNTtrI4VHOvwOOiInlu5y+GgXJwR26prUmEWwB7h/f9koRUuM1++k8lA== X-OriginatorOrg: vanderbilt.edu X-MS-Exchange-CrossTenant-OriginalArrivalTime: 26 Apr 2017 13:37:04.9383 (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: DM2PR0801MB586 Subject: Re: [Caml-list] Create Array of floats from string On 04/26/2017 06:02 AM, rixed@happyleptic.org wrote: > If speed is more important than readability I would avoid creating the > intermediary list of strings and go with Str.search_forward, then extract that > string and convert it to float. > > If the separator is as simple as a space I'd expect String.index_from to be > slightly faster. Also consider BatString.find_all that returns an enum (of > starting positions - unfortunately we do not have BatString.split variant > returning an enum of substrings directly). Could be welcome into batteries. > If that's not enough you'd have to use another library to parse the string, one > that would implement something like `float_of_string_from` so that you do not > have to build all those useless substrings. This one too, BatFloat.of_string_from but we need a little bit more specification to know what's the expected behavior (especially, when does the float part of the string ends?). You can go there for any feature request: https://github.com/ocaml-batteries-team/batteries-included/issues Regards, F.