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 8AD517EFCD for ; Sun, 5 Oct 2014 00:46:04 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of marek@xivilization.net) identity=pra; client-ip=178.63.18.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="marek@xivilization.net"; x-sender="marek@xivilization.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of marek@xivilization.net designates 178.63.18.39 as permitted sender) identity=mailfrom; client-ip=178.63.18.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="marek@xivilization.net"; x-sender="marek@xivilization.net"; 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@coaxial.xivilization.net) identity=helo; client-ip=178.63.18.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="marek@xivilization.net"; x-sender="postmaster@coaxial.xivilization.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlgGADp4MFSyPxIn/2dsb2JhbABfgw5TEUe4NJMNh0kCCnwWAXuEBAEBBEABATcBDwshJQ8SNgYTiCoDFQEIqHaFegEFgQKHeQ2HGAERAgSOFB2CFAcuhB2UBIIxhH2CEIdah1aGUYNlagWCRQEBAQ X-IPAS-Result: AlgGADp4MFSyPxIn/2dsb2JhbABfgw5TEUe4NJMNh0kCCnwWAXuEBAEBBEABATcBDwshJQ8SNgYTiCoDFQEIqHaFegEFgQKHeQ2HGAERAgSOFB2CFAcuhB2UBIIxhH2CEIdah1aGUYNlagWCRQEBAQ X-IronPort-AV: E=Sophos;i="5.04,655,1406584800"; d="asc'?scan'208";a="81960987" Received: from coaxial.xivilization.net ([178.63.18.39]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 05 Oct 2014 00:46:03 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=xivilization.net; s=xiv; h=Content-Type:MIME-Version:References:In-Reply-To:Message-ID:Subject:Cc:To:From:Date; bh=7LcP/W3lPF/Gr0Y1A+8eSCDHAa1jZjC+qhOVWdqbQuA=; b=o6QQkj9XLOG8n/a8faL6njCZg1SDpoDNl2CxHcM+I1BkAdglwB+AXtjnGc5oGE/LfW1c6/aumGhA6S+uMMJYu5gww4Mey7DGL2gNMpBGzFyxubZ7A+p+7BTJlPIYVdiu; Received: from aftr-88-217-181-150.dynamic.mnet-online.de ([88.217.181.150] helo=localhost.localdomain) by coaxial.xivilization.net with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.80) (envelope-from ) id 1XaY5N-0003E9-Ie; Sun, 05 Oct 2014 00:45:57 +0200 Date: Sun, 5 Oct 2014 00:43:38 +0200 From: Marek Kubica To: Gabriel Scherer Cc: Malcolm Matalka , Caml List Message-ID: <20141005004338.6af9622f@xivilization.net> In-Reply-To: References: <20141004150511.7e8de126@xivilization.net> <87a95cklck.fsf@gmail.com> <20141004165458.4efce446@xivilization.net> X-Mailer: Claws Mail 3.10.1 (GTK+ 2.24.24; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; boundary="Sig_/1+mrM=jj_ev_B16RHrqHDSE"; protocol="application/pgp-signature" Subject: Re: [Caml-list] [ANN] slacko-0.9.0 --Sig_/1+mrM=jj_ev_B16RHrqHDSE Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Hello Gabriel, On Sat, 4 Oct 2014 17:23:02 +0200 Gabriel Scherer wrote: > `kick` now returns a [> error_cant_kick | `Success of 'a ], while > `invite` returns [> error_cant_invite | `Success of 'a ]. Thank you for this idea, I was actually looking for a way to define subsets of polymorphic variants, I didn't know that I can just put them into other types and was unaware of the # syntax. Now my functions return just the possible error variants, not all of them anymore. I've reworked the code to get rid of the huge apierror type (which I suppose I can throw away completely, since a user of the API will never need it anyway), but it lead to quite huge blow-up of signatures: I am going to simplify these subsets a bit (since e.g. all history methods use the same polymorphic variants and some possible error types imply other error types) but it kinda looks very verbose now - any hints on what can be done? regards, Marek --Sig_/1+mrM=jj_ev_B16RHrqHDSE Content-Type: application/pgp-signature; name=signature.asc Content-Disposition: attachment; filename=signature.asc -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCgAGBQJUMHgaAAoJEFdZgtGHpuLFsVwQAKrHxnEtNXRcQ+eKsR239vvo zNeVylQ0dI5iyFGv9DbH2y2KtCtbGklFIbLc3T9pgmolIgJMk9TlfANHoToCLRsr EdFUB7tiPNUjvwdTvxbooI3TQ0dbHUdQSkmbfYOEVCR+FwFxz7JNC3sPT5v8XakR exWsvajZulDtBpKBNyOXQE0tklXJ6WSacGxlm6Zzp44gg54F+0jMUMYHeW9Q56kQ 3CyRQo59QtW0regn9kBc6PNfpzhryoPBL+rm8AgzwBpg/6DE5yCiPMNqhK+cyJtw 2rudPV5tnHECP2GdxJ7C2iplZX9MuTXNzgqtqKOwXRl1JQK3tm8DosAE60GmlIZS AdEdYfBfKbigTMKckawRE7ZCbVEyvCOaDYegLKp4v9wxfvFCoAKi182/BBvx9r05 e+ce5lMhzzD8uqAt+iN0mPZQkvCvMooIWDT6llUOsstu+DYozwtTbzksVigQuoMx diYOhl+Klj6RB6Cm4AoOu0ZgmyWPolCXyfIDiH3irP2Wodj45ZY0lxusKe4NOk2+ M+5BrkHc7cBI8V2tFiLl5cPsSpGk4xWtW+Fd3oIhM25YyRCEMlrmhO7z5e0xXIKp pEJ+YT13rkjw6g0lbyAUPaFKnEO/v1VWf2Gr1SaTzMUBJoF1/eLZ6cZY54pzPKLI 0UP386/wtuEkcvPWsdK7 =H9GW -----END PGP SIGNATURE----- --Sig_/1+mrM=jj_ev_B16RHrqHDSE--