From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <sp@orbitalfox.com>
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 3B9977EE89
	for <caml-list@sympa.inria.fr>; Wed, 25 Oct 2017 19:47:25 +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=3A4ZeRvBL7fRSJ8u0y/NmcpTZWNBhigK39O0sv0rFi?=
 =?us-ascii?q?tYgXLvjxwZ3uMQTl6Ol3ixeRBMOAtKIC1rKempujcFJDyK7JiGoFfp1IWk1Nou?=
 =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBWB6kG1uDUbHxG6MQtu?=
 =?us-ascii?q?Osz0HJTThoK5zbOc4ZrWNj5wzG6meZt1Nh+3sQzVuM4Gx4BlL/BimVPyvnJUdr?=
 =?us-ascii?q?EOlitTLlWJkkOk6w=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AHCgBxzfBZ/8rorF9bHAEBBAEBCgEBF?=
 =?us-ascii?q?wEBBAEBCgEBgzRnayeDepkqgVQmmEuEMAGBCgoCDIRhQxQBAQEBAQEBAQEBAWo?=
 =?us-ascii?q?ogjgigkQBBSMdAQE4DwsYAgImAgJXEwgBAReKCah7a4IngwgBAQWHaAEpCIEPg?=
 =?us-ascii?q?h+CB4NiC4J2hVGCSIJhoWMVlnMBiXCHOZc6NiGBW3oVSYJkgk0PHIFoPzaMCgE?=
 =?us-ascii?q?BAQ?=
X-IPAS-Result: =?us-ascii?q?A0AHCgBxzfBZ/8rorF9bHAEBBAEBCgEBFwEBBAEBCgEBgzR?=
 =?us-ascii?q?nayeDepkqgVQmmEuEMAGBCgoCDIRhQxQBAQEBAQEBAQEBAWoogjgigkQBBSMdA?=
 =?us-ascii?q?QE4DwsYAgImAgJXEwgBAReKCah7a4IngwgBAQWHaAEpCIEPgh+CB4NiC4J2hVG?=
 =?us-ascii?q?CSIJhoWMVlnMBiXCHOZc6NiGBW3oVSYJkgk0PHIFoPzaMCgEBAQ?=
X-IronPort-AV: E=Sophos;i="5.43,432,1503352800"; 
   d="scan'208";a="297906232"
Received: from orbitalfox.com ([95.172.232.202])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Oct 2017 19:47:24 +0200
Received: from [192.168.88.5] (unknown [192.168.88.5])
	by orbitalfox.com (Postfix) with ESMTPSA id A28B1AA002D
	for <caml-list@inria.fr>; Wed, 25 Oct 2017 17:47:23 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=orbitalfox.com;
	s=orbitalfox; t=1508953643;
	bh=ektp/tp8/zlh+S+a783JxeXBffPSVGTPMz+VTIzycLk=;
	h=Subject:To:References:From:Date:In-Reply-To;
	b=WrjB+VAhyx0RXTo1PD25VlM+wvKq2+uvHroWQYwE86G02uIewm6AY5cmJqDiZzLi4
	 6Tu4spF8m70YRO1dDZ1Xv/qIyV36RonuCCg6iFuy20YHUErxJkO1gmbfpoj1PZeTLp
	 nNYII5p3yuynWr0izdBs4PGs/kNw+7nUpyJTiObk=
To: caml-list@inria.fr
References: <86o9p2ywgc.fsf@gmail.com>
 <E51C5B015DBD1348A1D85763337FB6D9016D523CA2@Remus.metastack.local>
 <CALdWJ+zsx4vNWj8_32rev9pKt2j6yacGhai6UJQ7tsGVVLqYCg@mail.gmail.com>
 <20171020113815.GD32138@nunchakus.loria.fr>
 <20171024133026.uovvzdbnamnzoknv@annexia.org>
 <CALa9pHQ-nhWf4T0U5gDiKTduPiEeXSZPQ=DY6N1YNbCXqRohPQ@mail.gmail.com>
 <20171025083530.gvggcenrgxolduse@annexia.org>
 <CAOOOohSr1jKEDkS753g9ON+GLiSvYo1daPmcgrA-FgneMYaztw@mail.gmail.com>
 <20171025145247.5rxad7qixivzn4vj@annexia.org>
 <CALdWJ+xzT9J7BeyhyEGsdttkzJo8FiZKCz2LJkKUvkqW-R4R2g@mail.gmail.com>
From: SP <sp@orbitalfox.com>
Message-ID: <23e8cde7-d088-8897-bde1-e18bbfbdb294@orbitalfox.com>
Date: Wed, 25 Oct 2017 18:47:23 +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: <CALdWJ+xzT9J7BeyhyEGsdttkzJo8FiZKCz2LJkKUvkqW-R4R2g@mail.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 25/10/2017 17:37, Ivan Gotovchits wrote:
> With all this said, I think, that your code should rely on exceptions, not
> the monads. Since libguestfs is totally imperative library, that deals with
> imperative primitives, using OCaml exceptions is a perfectly valid
> solution. 
But try, if you can, to not let these exceptions cross any of your APIs.

-- 
    SP