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 BA19E7FA5E for ; Fri, 12 May 2017 16:34:28 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jon.kleiser@ceres.no; spf=Pass smtp.mailfrom=jon.kleiser@ceres.no; spf=None smtp.helo=postmaster@mail-forward01.uio.no Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jon.kleiser@ceres.no) identity=pra; client-ip=129.240.10.58; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jon.kleiser@ceres.no"; x-sender="jon.kleiser@ceres.no"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of jon.kleiser@ceres.no designates 129.240.10.58 as permitted sender) identity=mailfrom; client-ip=129.240.10.58; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jon.kleiser@ceres.no"; x-sender="jon.kleiser@ceres.no"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-forward01.uio.no) identity=helo; client-ip=129.240.10.58; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jon.kleiser@ceres.no"; x-sender="postmaster@mail-forward01.uio.no"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AMqdcph2DejbcTTfgsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIULPad9pjvdHbS+e9qxAeQG96Kt7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q89pDXbAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmiD?= =?us-ascii?q?kJOSMl8G/ZicJwjb5Urh2uqBFk347be4SVOOZicq/Bf94XQ3dKUMZLVyxGB4Ox?= =?us-ascii?q?d48BD+0HPe1Fqof9o0UBrRqlBQayHuPk1zhFhn3x3a08yeghEgXG0xIhH9IVrn?= =?us-ascii?q?vUts74O7sMXuCv0qbI1i/Pb/VR2Trk7oXDbx4vofaJXb1qcMrRz1EiFx7EjlWX?= =?us-ascii?q?s4DlOTSV2+IQuGaY9+ptTf+jh3Ajpg1rvDSiydsghpPUio4J0FzJ9SZ0zJ4oKd?= =?us-ascii?q?GmTEN3e8CoHZRMuy2AKod7Q8cvT3totSs+0rEGt4C0cSsWxJkiwhPQdeGIfJaJ?= =?us-ascii?q?7x/mW+udPSp0hHxgdb2jmxm971Wvx+j/W8Wqy1lHrixImcTWuH8XzRzc8M2HR+?= =?us-ascii?q?N9/ki/3TaP0Bje6uReLkA1karXMpAhwrkqlpsdq0vDBDL5lFnrgKOMa0Uk+++o?= =?us-ascii?q?5/7hYrXhvpOcNol0hR/iMqk2h8CzH+A1PhIQU2WU5eiwzqDv8VHjTLhKjfA6iq?= =?us-ascii?q?zZv4rbJcQfqK65GQhV0oM75ha9CDem1s4UnXoDLF1beRKHlJbmO0vVLf/kE/i/?= =?us-ascii?q?mUqjkCxxy/DAOb3tGo/NIWTbkLf9YbZ97FZRxxYpwtBa45JYE7UBIPPoWk/tr9?= =?us-ascii?q?HYFR84Mwmsw+n9Etl914UeWXiOAqCDKq/Sv0WItaoTJLzGb4YQvHP5KuM5z//o?= =?us-ascii?q?l34w31EHN+H91pISbDW8H+96C0Sfe3vlxNkbRzQkpA07Gc7tjhWhVTNSfHuoF/?= =?us-ascii?q?Y+4Td9C4arDJzOXKimjaaMx2G9GcsFNSh9FlmQHCKwJM2/UPAWZXfKLw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DrBQDXxhVZhzoK8IFcHQYMGQYMgmWBK?= =?us-ascii?q?IEMAQaDZLN5LIYUhH9DFAEBAQEBAQEBAQEBEgEBAQoLCQgoJAuCMyKCbRFXASI?= =?us-ascii?q?CJgIEMBUSBIo2AQ2fMJALgiaLAIELhVSCCYplL4IxBZ4KghCFDIt/gWxtjxKUQ?= =?us-ascii?q?zaBK0+BDgGEc4FvdodeAYEMAQEB?= X-IPAS-Result: =?us-ascii?q?A0DrBQDXxhVZhzoK8IFcHQYMGQYMgmWBKIEMAQaDZLN5LIY?= =?us-ascii?q?UhH9DFAEBAQEBAQEBAQEBEgEBAQoLCQgoJAuCMyKCbRFXASICJgIEMBUSBIo2A?= =?us-ascii?q?Q2fMJALgiaLAIELhVSCCYplL4IxBZ4KghCFDIt/gWxtjxKUQzaBK0+BDgGEc4F?= =?us-ascii?q?vdodeAYEMAQEB?= X-IronPort-AV: E=Sophos;i="5.38,330,1491256800"; d="scan'208";a="223435162" Received: from mail-forward01.uio.no ([129.240.10.58]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 12 May 2017 16:34:27 +0200 Received: from exim by mail-out01.uio.no with local-bsmtp (Exim 4.82_1-5b7a7c0-XX) (envelope-from ) id 1d9BeE-0008F0-Uq for caml-list@inria.fr; Fri, 12 May 2017 16:34:26 +0200 Received: from mail-mx06.uio.no ([129.240.10.40]) by mail-out01.uio.no with esmtp (Exim 4.82_1-5b7a7c0-XX) (envelope-from ) id 1d9BeE-0008Ew-Sw for caml-list@inria.fr; Fri, 12 May 2017 16:34:26 +0200 Received: from mail-ex12.exprod.uio.no ([129.240.120.74]) by mail-mx06.uio.no with esmtps (TLSv1.2:AES256-SHA:256) (Exim 4.82_1-5b7a7c0-XX) (envelope-from ) id 1d9BeE-0003u1-9O for caml-list@inria.fr; Fri, 12 May 2017 16:34:26 +0200 Received: from mail-ex13.exprod.uio.no (2001:700:100:120::75) by mail-ex12.exprod.uio.no (2001:700:100:120::74) with Microsoft SMTP Server (TLS) id 15.0.1236.3; Fri, 12 May 2017 16:34:25 +0200 Received: from mail-ex13.exprod.uio.no ([fe80::ede6:401f:cced:82b5]) by mail-ex13.exprod.uio.no ([fe80::ede6:401f:cced:82b5%19]) with mapi id 15.00.1236.000; Fri, 12 May 2017 16:34:25 +0200 From: Jon Kleiser To: "caml-list@inria.fr" Thread-Topic: Is there a way to abort Stream.iter ? Thread-Index: AQHSyyzaX64Y/Q24HkSS84wGpO/4Hw== Date: Fri, 12 May 2017 14:34:25 +0000 Message-ID: <2490F692-502C-408E-9E60-30216557DF15@mail.uio.no> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-exchange-messagesentrepresentingtype: 1 x-ms-exchange-transport-fromentityheader: Hosted x-originating-ip: [129.240.169.59] Content-Type: text/plain; charset="utf-8" Content-ID: <112A984E9F0BE245908F4BCD07EF3FF8@mail.uio.no> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-UiO-SPF-Received: Received-SPF: neutral (mail-mx06.uio.no: 129.240.120.74 is neither permitted nor denied by domain of ceres.no) client-ip=129.240.120.74; envelope-from=jon.kleiser@ceres.no; helo=mail-ex12.exprod.uio.no; X-UiO-Ratelimit-Test: rcpts/h 1 msgs/h 1 sum rcpts/h 4 sum msgs/h 1 total rcpts 8214 max rcpts/h 42 ratelimit 0 X-UiO-Spam-info: not spam, SpamAssassin (score=-2.2, required=5.0, autolearn=disabled, AWL=-0.592,RCVD_IN_DNSWL_MED=-2.3,SPF_NEUTRAL=0.652, uiobl=NO, uiouri=NO) X-UiO-Scanned: 5D205160D3384C0AE3831843FE7AB9CBF12AFF1B X-UiO-SPAM-Test: remote_host: 129.240.120.74 spam_score: -21 maxlevel 80 minaction 2 bait 0 mail/h: 106 total 2332053 max/h 2494 blacklist 0 greylist 0 ratelimit 0 X-UiOonly: 8B03D5DC339BB0860A701071239AF5936810A71E Subject: [Caml-list] Is there a way to abort Stream.iter ? SW4gbXkgbGl0dGxlIHByb2dyYW0gaGVyZSA8aHR0cDovL2ZvbGsudWlvLm5v L2prbGVpc2VyL29jYW1sL3JlYWRfdmVjLm1sPiBJ4oCZbSByZWFkaW5nIGFu ZCBwcm9jZXNzaW5nIGEgdGV4dCBmaWxlIGJ5IGRvaW5nIHRoaXM6DQoNCmxl dCBwcm9jZXNzX2xpbmVzIGxpbmVzID0NCiAgbGV0IHN0YXJ0X3RpbWUgPSBT eXMudGltZSAoKSBpbg0KICBTdHJlYW0uaXRlciBwcm9jZXNzX2xpbmUgbGlu ZXM7DQogIGxldCBmaW5pc2hfdGltZSA9IFN5cy50aW1lICgpIGluDQogIFBy aW50Zi5wcmludGYgIlxuVGltZSB1c2VkOiAlZiBzZWNzXG4iIChmaW5pc2hf dGltZSAtLiBzdGFydF90aW1lKQ0KDQouIC4gLiB3aGVyZSB0aGUg4oCYbGlu ZXPigJkgaW5wdXQgaXMgY29taW5nIGZyb20g4oCYKGxpbmVfc3RyZWFtX29m X2NoYW5uZWwgaW5fY2hhbm5lbCnigJkuDQoNCklzIHRoZXJlIGEgd2F5IHRv IGFib3J0IHRoZSBTdHJlYW0uaXRlciBwcm9jZXNzaW5nIGJhc2VkIG9uIHNv bWUgY29uZGl0aW9uIGRldGVjdGVkIGJ5IHRoZSDigJhwcm9jZXNzX2xpbmXi gJkgZnVuY3Rpb24/IENvdWxkIGl0IGJlIGRvbmUgYnkgdGhyb3dpbmcgYW4g ZXhjZXB0aW9uPyBNYXliZSBJIHNob3VsZCB1c2Ugc29tZXRoaW5nIGVsc2Ug dGhhbiBTdHJlYW0uaXRlciA/DQoNCi9Kb24=