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 c5ff346549e7 (Postfix) with ESMTPS id B91025D4 for ; Sat, 6 Feb 2021 09:22:41 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.81,157,1610406000"; d="scan'208";a="491218172" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Feb 2021 10:22:39 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 85290E01AA; Sat, 6 Feb 2021 10:22:39 +0100 (CET) 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 ACC0FE009E for ; Sat, 6 Feb 2021 10:22:32 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Markus.Elfring@web.de; spf=Pass smtp.mailfrom=Markus.Elfring@web.de; spf=None smtp.helo=postmaster@mout.web.de IronPort-PHdr: =?us-ascii?q?9a23=3A3xQepx2T31KCsp1osmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIWKPad9pjvdHbS+e9qxAeQG9mCurQY26GO6ejJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVgDexe7x/IRa5oQnNqMUdnJdvJLs2xhbVuHVDZv?= =?us-ascii?q?5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnM?= =?us-ascii?q?URGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LptRRT1ii?= =?us-ascii?q?kIKiQ5/XnJhMJwkaxVoxyvqBJwzIHIe4yVKOZyc7nBcd8GS2dMXMBcXDFBDIOm?= =?us-ascii?q?aIsPCvIMM+FCoInnpFsOsAC+DhSjCuPrxD9InH723as10+88FgzI2xYvH8gNsH?= =?us-ascii?q?TJt9X5LqgcUeS7zKnSzDXDafxW1Czz6YfWaR8tu+yDUqxpfMfX1EIgGB/LgE+K?= =?us-ascii?q?poz5IzOayP4Ns26D4udgSe6hhG4qpxxsrzavycoglofHi4ELxl3Z6yl13oU4K9?= =?us-ascii?q?2mRENnb9CpFJlduiWHOoZ3Qs0vTX9ktTo0xLMJupO2ejUBxpc/xxPHdfCLbpaE?= =?us-ascii?q?7gj9WOqPIzp0nm9pdbKlixu96UStzuPxWtOp3FtEsCZJiNvBu3MX2xDO6MWLV/?= =?us-ascii?q?1w9Vq71zmVzQDc8ORELFg0laXFL54hxaY9lp8UsUTeAi/6gkv3g7GNeUk+5+en?= =?us-ascii?q?9fzrYrTgppCCK495kh/yPrkwlsClH+g0LAoDU3KG9em8zrHu8lX1QLBQgf03lq?= =?us-ascii?q?nZvoraJcMepqOhBAFayJwj6xWiDze9ytgWkn0HLFxfeBKGiYjpNErDIf7mAvik?= =?us-ascii?q?mVijjSlky+jcPrL9GpXNMmTDkLD5cLlh8UFczQ4zwclb55JVEbEBPOn+WlTxtd?= =?us-ascii?q?zdFh82KRa4w+fhCNVn14MRQ3iDAqGDMPCajVjd7esqJ6yIZZQJkDf7MfksofD0?= =?us-ascii?q?3lEjnlpIWKCz3oYMIF28EO5nJUrRNV/lmNQcCiEnugQkTerloEKPW3hfaiDhDO?= =?us-ascii?q?oH+jgnBdf+Xs/4TYe3jenZhXbpLthtfmlDT2u0PzLtfoSAVe0LbXLAPcJr1DAJ?= =?us-ascii?q?B+H4Ft0RkCq2vQq/8IJJa+rZ/ipB7sDm08VpofLen1c++G4sVpjP4yS2V2hx21?= =?us-ascii?q?gwaXouxqkv81NwwBGP3Pogjg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BmEAD/Xh5ghwQP49RiHgEBCxIMQIFRg?= =?us-ascii?q?wpsOTGEQY9FgWqELYYzhiuJb4F7CwEDAQ0FJwECBAEBgVaEdwIdBwEENgQNAhA?= =?us-ascii?q?BAQUBAQECAQMDBAETAQEBDA0JCCmFaA2COCKDQx0BAREnNAImAmwIAQGDIoJVA?= =?us-ascii?q?QMyrkeBMoMFAQEGgkyCFR8sIk2BOwmBDiuFZxI+hzEPgU0/gTiCRAEBhXWCTIJ?= =?us-ascii?q?gg02CEZE+qEIsB4FrgRIEgRkLhwGTTgUKH4MckAYNBo9tsVCFAYFwA4F0Mxokg?= =?us-ascii?q?zhQGQ2NeAEoGoQKiidAMzcCBgoBAQMJWQEBiz0BAQ?= X-IPAS-Result: =?us-ascii?q?A0BmEAD/Xh5ghwQP49RiHgEBCxIMQIFRgwpsOTGEQY9FgWq?= =?us-ascii?q?ELYYzhiuJb4F7CwEDAQ0FJwECBAEBgVaEdwIdBwEENgQNAhABAQUBAQECAQMDB?= =?us-ascii?q?AETAQEBDA0JCCmFaA2COCKDQx0BAREnNAImAmwIAQGDIoJVAQMyrkeBMoMFAQE?= =?us-ascii?q?GgkyCFR8sIk2BOwmBDiuFZxI+hzEPgU0/gTiCRAEBhXWCTIJgg02CEZE+qEIsB?= =?us-ascii?q?4FrgRIEgRkLhwGTTgUKH4MckAYNBo9tsVCFAYFwA4F0MxokgzhQGQ2NeAEoGoQ?= =?us-ascii?q?KiidAMzcCBgoBAQMJWQEBiz0BAQ?= X-IronPort-AV: E=Sophos;i="5.81,157,1610406000"; d="scan'208";a="491218126" X-MGA-submission: =?us-ascii?q?MDEpPLBGCVIebs3uH84enSPjTz1qp2uPzDd4qE?= =?us-ascii?q?OmRTfjH0LOuYV0rI9fTbZU/x1PXSzVD2wgzlrAFWhdDuSVHx4ZlhmugF?= =?us-ascii?q?3/hIxhMJ9BLaakhJurg22h1Qal9DlTp5l7B8OR59WuYCv1ctRKynNNfA?= =?us-ascii?q?Gi9ig8niklvdnTQFtrNJHDqw=3D=3D?= Received: from mout.web.de ([212.227.15.4]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 06 Feb 2021 10:22:32 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1612603351; bh=G/3FTqU1OAIDWMAtypM9hWMFTzCy8Pb8FU759geJX2k=; h=X-UI-Sender-Class:To:From:Subject:Date; b=FOre7s2T0d7n+HOtvM+RqaNEzfd+OgeT8ZmV0YFLs5Lf4Jr1FGGQe0DD9cX0oYsjA tcPH4afPyEaiJEkRXaNz+1va7yDFO+wFzHaVQXYaQPfAQsaP8ulzofaB7tQ7pTNoPM AIb2nindTjdICVTX15kH7L14hvvdm3RUVV7XHrfA= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Received: from [192.168.1.2] ([93.132.78.171]) by smtp.web.de (mrweb004 [213.165.67.108]) with ESMTPSA (Nemesis) id 0M7VZv-1ltNpo2Ptn-00xN5Y for ; Sat, 06 Feb 2021 10:22:31 +0100 To: caml-list@inria.fr From: Markus Elfring Message-ID: Date: Sat, 6 Feb 2021 10:22:30 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.7.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Language: en-GB X-Provags-ID: V03:K1:+pZX/OIuNKuyMQg0w8GFt0r5Iy1yE6cduPEEQznojOW9Wltdx5V pTAfbhlMRQAZF85B19SRDzvbLxF2+1hAuhzCA7QYiDZehzTT1ay8wWKAgF+LSbqWuA4aKuw lZ4CivJZzSQef4uuf5wcAj8kc73ghtBNbZau4Qqce02hh1geA4UvCe5qzGuU06SjGUAuyN1 TiEmiCvg+nx5+u63STXCQ== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:QB7nsp6YccA=:Ds58wL8UExy1K8YiQXMuFK lcC1VXvTTHKJdhn2eJGsgUxHu0D0+mivqB/zROOFa/N3l53ToqCfMaJERc2iwWA1r1yLxLXFf BVxWGuez0N+3ogmvr7hcH5TzN42H/EsAyeSDpkd4LMXA9dWp8F0mfPoSCJxrVvfOBL8x9q305 wP3iook+liIBzZR0XSNECyDFapwlRleF9XoEdaG0TQ4siSeRKymzM79vbsbLs2Bk0LxrAMNwo aBeDdNUIjrUGZOE4OV+Sn6AOaYbuU2kFR/j1CEpFQvMKznZM3bNtiA4TmW/LgDTfXuXMwmi/B Y4R3ND8Lf+JGC8BlVMkcoIR8RIUXRUa6BKh5LGx6QaKbl4qJ3vmX9ZJFn4s5LOplbT5liOJ/S OejljXLEs8UNxlyA4gNSWnoJcQAlZa+x/qCxfh1hsiGSiWoMX828MjAHbhSq7SFAy2PJ9PUx7 TakmYqgTFHp30mFsVcY+GfLXLmuAY5xikk4gtQ/eX3R97wOfrhUZfp2qBAaqDS4GFxfV2oT4N o6+CcoLLAqM7KzeqgfgYcWuRiZcmXPUCKtbyGUOxNjBvuThs3koJjIRksN6pLHLAHHSMr2sS3 4i2Ay5F25oVsNFzJnQGqV7WrKNeEj4ydbVhG/E2Ms0rOQWIu/V3JVzmUcNLGCagX/BEl1Qh9E CbrsKjfVJ+Fr+yld4Wb/Wz+n1pyI/YJ+DkSXYqhk4KXdoD/AnjtyjZG79IhKN74n+pdUQRASU LzwbPJKo4+izrm1amilB4SloueasqIDx4gyaMntwJMawPCy0C4Ow12UgIMxslmEPzEZiGi0CW MLrqJLO0m5NPdoVWN1wD4Az5FKJ4hrKjccs7qjGDj7VfhgCFTAI/vdHFxsclXK5AqsfSKbhG4 WB6DDwUSgymWIGOgW52A== Subject: [Caml-list] Checking for absence of exception usage by some functions Reply-To: Markus Elfring X-Loop: caml-list@inria.fr X-Sequence: 18397 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Hello, OCaml belongs also to the category of programming languages which support to raise (or throw) exceptions. This functionality triggers some software development consequences. There are also function implementations to consider which will never raise (or throw) exceptions because they were designed in the way to provide some data only by their return values. How are the chances to express such an implementation detail in corresponding function signatures so that compilers can provide source code checks accordingly? Regards, Markus