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 3F5277F61E for ; Sun, 5 Nov 2017 19:55:38 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=paurkedal@gmail.com; spf=Pass smtp.mailfrom=paurkedal@gmail.com; spf=None smtp.helo=postmaster@mail-wr0-f174.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of paurkedal@gmail.com) identity=pra; client-ip=209.85.128.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="paurkedal@gmail.com"; x-sender="paurkedal@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of paurkedal@gmail.com designates 209.85.128.174 as permitted sender) identity=mailfrom; client-ip=209.85.128.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="paurkedal@gmail.com"; x-sender="paurkedal@gmail.com"; 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-wr0-f174.google.com) identity=helo; client-ip=209.85.128.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="paurkedal@gmail.com"; x-sender="postmaster@mail-wr0-f174.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AXyviSBzQs1GfBtfXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0eoQIJqq85mqBkHD//Il1AaPBtqLra8cw8Pt8IneGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2TxTor3az9T8fHAnkfUow?= =?us-ascii?q?f7ytW92as8Pindqz8J3aeQkAu3yYJ/tQKxO7tk+Z4tMXiotKI6A3xwvIqz1PYe?= =?us-ascii?q?sAlk1yIlfG1S7x+tu95tZKtWxtofEs+8dEG+2uZ60lV79VAD0iG28w7czv8xLE?= =?us-ascii?q?SF3ctTMnTmwKn08QUED+5xbgU8K063Oiuw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BhAQC/Xf9Zf66AVdFcGwEBAQMBAQEJA?= =?us-ascii?q?QEBhQYnB4N2mTiBfIlCjxUKhCYBgRQChFAHQhUBAQEBAQEBAQEBEgEBCQsLCCY?= =?us-ascii?q?xgjgFAR4BBYI8AQEBAQIBIx0BGx0BAwELBgULDQICJgICIgERAQUBHAYTCIoCA?= =?us-ascii?q?QMNCJ1QQIwMggUFARyDCgWDWQoZJw1Ygm4BAQEBBgEBAQEBGwIGEn2CH4IHhma?= =?us-ascii?q?IJoJiBaIOAotLiS+BfJE4lgIUBR+BFTWCDnpeNYIvgk2CE0A2ih+BVQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BhAQC/Xf9Zf66AVdFcGwEBAQMBAQEJAQEBhQYnB4N2mTi?= =?us-ascii?q?BfIlCjxUKhCYBgRQChFAHQhUBAQEBAQEBAQEBEgEBCQsLCCYxgjgFAR4BBYI8A?= =?us-ascii?q?QEBAQIBIx0BGx0BAwELBgULDQICJgICIgERAQUBHAYTCIoCAQMNCJ1QQIwMggU?= =?us-ascii?q?FARyDCgWDWQoZJw1Ygm4BAQEBBgEBAQEBGwIGEn2CH4IHhmaIJoJiBaIOAotLi?= =?us-ascii?q?S+BfJE4lgIUBR+BFTWCDnpeNYIvgk2CE0A2ih+BVQEBAQ?= X-IronPort-AV: E=Sophos;i="5.44,348,1505772000"; d="scan'208";a="243484607" Received: from mail-wr0-f174.google.com ([209.85.128.174]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 05 Nov 2017 19:55:37 +0100 Received: by mail-wr0-f174.google.com with SMTP id 15so6652187wrb.5 for ; Sun, 05 Nov 2017 10:55:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=d5ps8AN68GHso8MXFO3sRidAsByca91+VeK8RzGyBcw=; b=W4d7FHxDlJdFdRLwnECua+3+QIpsSgf1Fv8T/fy2r5Ga+jm1wf3dPyYcL1Ud8UQBCH ABAMeI+RFSMk0DIKC8y1eeEXY2ZuybCnUE4Nft5YTVOnzifLDMaZ0WnszlruiaLmlG/i jh1Wmu+fPIG+SdZ0P8r9xmJonBmdRijotyAORSFCKOU3kLNA2UKVI0E/KbIqV6fzuKWi 232K6lmkfdn8jaVz0vFmRK4uZYlyVMs2ipd8iAaMAy6xEh1eyWit9bETY7eeKIDat4La EFvfScKr3MEoTIY5fbSrSBqXV4zzAUCGpGA8mAYFugxGxv2wNriM0+7tjwHN1AvsgJhF MCdw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=d5ps8AN68GHso8MXFO3sRidAsByca91+VeK8RzGyBcw=; b=tcRJiAy7L+Kav9UzrYZjin7dvzEqT27OlA3EAyZcn+eVNl90O05/ws5i+9wDMFRhXI VIeSTqo23/g/vVZoc+naIFetDxQ5QDYdLmORYIoJbvdNL8mi5NPVR6VR3JeOuUfxUJHV IrLplqIaM+UOBkdKxhRLbb3cKiU86CIupiFTb79wKzpTnt9/sBBI1ZsRrW3pdI/tHAQX VlJgeIY85VsorbKWAPvcCLW1Y6k4Swv0nxUgOgSnHFT6lcg10v6vxGqsvBT63uYy/NDY zyDgZdvULDIk/uRYOgO8O07VuTyHGw4Tcx9DDVeRKf7u5pMX9krTDxyqgNJRn/8hCqze Smgg== X-Gm-Message-State: AJaThX5/KvVIf0KvPlnEKpbM+mC+5Zu4EDXrkO6Fj3UcUYzEyabrcRW/ GxN79KcTNBSglNhZR/VA5YYX6Yd3dvMqAD9NKRA= X-Google-Smtp-Source: ABhQp+QQG2RNVP6k07eDPnUMut1go4GTBJf43ZqJtzuVTWnvrL5Qk7Weh9311+mFCbLAhUPvYEQea2ShHj4cW7Dnks8= X-Received: by 10.223.197.17 with SMTP id q17mr7176024wrf.270.1509908137240; Sun, 05 Nov 2017 10:55:37 -0800 (PST) MIME-Version: 1.0 Received: by 10.223.156.209 with HTTP; Sun, 5 Nov 2017 10:55:36 -0800 (PST) In-Reply-To: <20171105182456.bcx2ueyxulcqouyp@annexia.org> References: <86o9p2ywgc.fsf@gmail.com> <20171020113815.GD32138@nunchakus.loria.fr> <20171024133026.uovvzdbnamnzoknv@annexia.org> <20171104184401.3el2vbha2tgpvse5@annexia.org> <20171105182456.bcx2ueyxulcqouyp@annexia.org> From: "Petter A. Urkedal" Date: Sun, 5 Nov 2017 19:55:36 +0100 Message-ID: To: "Richard W.M. Jones" Cc: caml-list Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] What if exn was not an open type? On 5 November 2017 at 19:24, Richard W.M. Jones wrote: > That appears to mainly play with indentation, which just means that > our tools won't work well. Indeed. I missed your motivation to keep this as close to the C code as possible, as you explain: > For those wondering why, the aim here is to translate the code from C > to OCaml as closely as possible (at first) in order to minimize the > inevitable bugs that will be added during the translation. The C code > is very well tested over years. I have plans to rework the code > completely later to make real use of OCaml, but first don't break > things. Petter