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 8C7347F61E for ; Sun, 5 Nov 2017 19:02:14 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=paurkedal@gmail.com; spf=Pass smtp.mailfrom=paurkedal@gmail.com; spf=None smtp.helo=postmaster@mail-wr0-f170.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of paurkedal@gmail.com) identity=pra; client-ip=209.85.128.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="paurkedal@gmail.com"; x-sender="paurkedal@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of paurkedal@gmail.com designates 209.85.128.170 as permitted sender) identity=mailfrom; client-ip=209.85.128.170; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wr0-f170.google.com) identity=helo; client-ip=209.85.128.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="paurkedal@gmail.com"; x-sender="postmaster@mail-wr0-f170.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AhcCkWxf+DNOn5IdwMuAb3gJ9lGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc66Yh7h7PlgxGXEQZ/co6odzbGJ4+a9ASQp2tWojjMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpRZbIBj0NBJ0?= =?us-ascii?q?K+LpAcaSyp3vj6Hhs6HUNk9yhTG9aKl+ZCrwiEOZlM4QjJAoYvIryxDJinJOfe?= =?us-ascii?q?lGxGouIkicyUXS/MC1qdRb/jhMtuhp3ogIbL/5cqgxSfYQWCwvLno26cHisTHM?= =?us-ascii?q?SAKO4j0XVWBAwUkAOBTM8ByvBsS5iSD9rOconXDCZcA=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DiBACZUP9ZhqqAVdFcHAEBBAEBCgEBh?= =?us-ascii?q?BhuJweDdpk4iz6NBYIQCiOEAwGBFAKEUAdGEQEBAQEBAQEBAQESAQEBCAsLCCg?= =?us-ascii?q?vgjgFAR4BBYI9AwMjHQEbHQEDDAYFCw8CJgICIgERAQUBHAYuiW8BAxUQnU9Aj?= =?us-ascii?q?AyCBQUBHIMKBYNZChknDViCbgEBAQEGAQEBAQEbAgYSfYIfggeGZogmgmIFog4?= =?us-ascii?q?Ch2SNFoF8kTiMYYkhFAUfgRU5A4IHel41gi8JgkQfgXRANgWKGoFVAQEB?= X-IPAS-Result: =?us-ascii?q?A0DiBACZUP9ZhqqAVdFcHAEBBAEBCgEBhBhuJweDdpk4iz6?= =?us-ascii?q?NBYIQCiOEAwGBFAKEUAdGEQEBAQEBAQEBAQESAQEBCAsLCCgvgjgFAR4BBYI9A?= =?us-ascii?q?wMjHQEbHQEDDAYFCw8CJgICIgERAQUBHAYuiW8BAxUQnU9AjAyCBQUBHIMKBYN?= =?us-ascii?q?ZChknDViCbgEBAQEGAQEBAQEbAgYSfYIfggeGZogmgmIFog4Ch2SNFoF8kTiMY?= =?us-ascii?q?YkhFAUfgRU5A4IHel41gi8JgkQfgXRANgWKGoFVAQEB?= X-IronPort-AV: E=Sophos;i="5.44,348,1505772000"; d="scan'208";a="299382653" Received: from mail-wr0-f170.google.com ([209.85.128.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 05 Nov 2017 19:02:14 +0100 Received: by mail-wr0-f170.google.com with SMTP id q66so2963545wrb.13 for ; Sun, 05 Nov 2017 10:02:14 -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=Jz+ck8+Db4C2j15GDQkJeIUa2V6ZHh+QP6ReuWasq1Y=; b=uipwlaHRmFzuSc5o/2VS7oZe4IzVJP4+YEOtyDH43FAxLYO6zl7q0uH8gYlh9Q106Z Q6GXLX5rdflt1S/C1lW947WklR+2ILr9x4EYYnac5ELGPSEXomof7nNM8gMAPMGTuFaX rtR8b/g0dzXZgaujvYW2sMHqRFlP/t7IkUKRoZC4MMGXmACsRioXtVKFqdaiyS5E3Cu5 kFxY8z3c0n0dAtvHX4O15bwppgGkecdBfub2d9EXbB9UufbVlh1xuCiu49KDFjDiytW8 3qnsKto55MtDbIqxoOOow0DXsMT1I+WVZkb9RXv315OjgZBRAVEfw8ppyselg264VD/c J8ag== 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=Jz+ck8+Db4C2j15GDQkJeIUa2V6ZHh+QP6ReuWasq1Y=; b=eUBb+5VyoCgSEeesf7zsVW4I91J41zGA7dspVlrXkn6BCkPECd0Ul9SY3VrKkHbLAO GJWjpq2qtkNNtwWib2gQACE7ZziKuyVqBKoKH1qzc8RrMKCdbrlBCdDgHbhRuLla5/us JCkUNpCuUL3EuTnZsdicxUb9TAMEbJDyNsjzTmxEu6Sb4P19IGEW0Iu+oo/LuLoFkDOk +sl+oQmje97lIMWEGA2mzDb0AGpdMdCiYft5e3h9N3RxmT8pkZTzSURTqX018Ys9VRUX jPrrXzRLogCHZU4uIIw+A8F0scZ7xulUHimbxelXqbl+Zqu8Kv0n0lfyKtj9OLrw4Cq2 Mq1g== X-Gm-Message-State: AJaThX7M6UXDqfxrDaCXTM4QACbr6td+xvkkp3SS4PBT8X9/3YgqpJbh eHGkmrMwnW8FStlfBvQmRdsIspiZ+iZJ5Y66joBFqw== X-Google-Smtp-Source: ABhQp+TgfGYYn0AIYP+cKPPPa035cHnxHz/XIIr7We3vJyIpA2xYttSStRJxpK43KMj3+STCbVDIXu1QVBBbionh3zc= X-Received: by 10.223.151.49 with SMTP id r46mr2136405wrb.238.1509904933772; Sun, 05 Nov 2017 10:02:13 -0800 (PST) MIME-Version: 1.0 Received: by 10.223.156.209 with HTTP; Sun, 5 Nov 2017 10:02:12 -0800 (PST) In-Reply-To: <20171104184401.3el2vbha2tgpvse5@annexia.org> References: <86o9p2ywgc.fsf@gmail.com> <20171020113815.GD32138@nunchakus.loria.fr> <20171024133026.uovvzdbnamnzoknv@annexia.org> <20171104184401.3el2vbha2tgpvse5@annexia.org> From: "Petter A. Urkedal" Date: Sun, 5 Nov 2017 19:02:12 +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? I vouch for octachron solution to the lack of polymorphism in the return function. I tried to reformat the inspect_fs_unix_fstab.ml more along my own coding style to get a feel for the issue: https://gist.github.com/paurkedal/80b89c8fabe041e62eccc596d51f382b What doesn't work with this style is falling though to the next block, though I'm not sure that's I good for maintainability anyway. This is, however, even further away from the C style. Petter