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 98FD0801D7 for ; Tue, 24 Oct 2017 13:11:05 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=sp@orbitalfox.com; spf=None smtp.mailfrom=sp@orbitalfox.com; spf=None smtp.helo=postmaster@orbitalfox.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.com) identity=pra; client-ip=95.172.232.202; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.com) identity=mailfrom; client-ip=95.172.232.202; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@orbitalfox.com) identity=helo; client-ip=95.172.232.202; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="postmaster@orbitalfox.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AMiOpfhYHv0kSTQ4cjc7Lj+L/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpsi+bnLW6fgltlLVR4KTs6sC0LWG9f24EUU7or+/81k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i76vnYuHUD0PA9x?= =?us-ascii?q?Y+D0AZL6jsKt1un09YeATR9PgW+GWfsmNw2eqh/bt9UfhYVlOuA6zR6f8SgAQP?= =?us-ascii?q?hf2W49fQHbpB37/MrlpJM=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CRHwDvHu9Z/8rorF9cHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgzRnayeDeootkQ0mmEuEMAGBCgoCDIRTRBMBAQEBAQEBAQEBAWo?= =?us-ascii?q?ogjgigkQBBSMdAQE4DwsYAgImAgJXEwgBAYogpjFrgieDCAEBBYgUASkIgQ+CH?= =?us-ascii?q?4IHg2ILgnaEaWiCSIJhmHiIZRWWcQGJb4c4lzg3IIFbehVJgmSCTYITPzaLNwE?= =?us-ascii?q?BAQ?= X-IPAS-Result: =?us-ascii?q?A0CRHwDvHu9Z/8rorF9cHAEBBAEBCgEBFwEBBAEBCgEBgzR?= =?us-ascii?q?nayeDeootkQ0mmEuEMAGBCgoCDIRTRBMBAQEBAQEBAQEBAWoogjgigkQBBSMdA?= =?us-ascii?q?QE4DwsYAgImAgJXEwgBAYogpjFrgieDCAEBBYgUASkIgQ+CH4IHg2ILgnaEaWi?= =?us-ascii?q?CSIJhmHiIZRWWcQGJb4c4lzg3IIFbehVJgmSCTYITPzaLNwEBAQ?= X-IronPort-AV: E=Sophos;i="5.43,427,1503352800"; d="scan'208";a="297636777" Received: from orbitalfox.com ([95.172.232.202]) by mail2-smtp-roc.national.inria.fr with ESMTP; 24 Oct 2017 13:11:05 +0200 Received: from [192.168.88.5] (unknown [192.168.88.5]) by orbitalfox.com (Postfix) with ESMTPSA id E797CAA003A for ; Tue, 24 Oct 2017 11:11:03 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=orbitalfox.com; s=orbitalfox; t=1508843463; bh=56BQxJpdZ3dup9J1Re64TcZHDpWuJv7h3LYK4xlJOCg=; h=Subject:To:References:From:Date:In-Reply-To; b=zREQmG4oxhNtr9ahOHdwjqGFLHK8zE+X2cAvdvlPjD8qTsOqQe0pFjPrayiUVhGdD ef6myInTVOVbYvdBELM/LpwRME614Q92i+WXk0zEKidhk8np//qR2LIDlyyl7T8v6h Sjr9YjSlN2Kj7TYjAgKlEXAwaFVy5bp/NWlKxjvw= To: caml-list@inria.fr References: <86o9p2ywgc.fsf@gmail.com> <867evnz79e.fsf@gmail.com> From: SP Message-ID: Date: Tue, 24 Oct 2017 12:11:02 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.12; rv:52.0) Gecko/20100101 Thunderbird/52.4.0 MIME-Version: 1.0 In-Reply-To: <867evnz79e.fsf@gmail.com> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] What if exn was not an open type? On 22/10/2017 13:39, Malcolm Matalka wrote: > I'm one of those people that uses result everywhere + result monad where > the error case is a polymorphic variant. This lets me get the value of > an open type with power of an exhaustive pattern match check. No > strings needed. Nice! -- SP