From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id DADBA5D5 for ; Mon, 28 Oct 2019 16:45:57 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.68,240,1569276000"; d="scan'208";a="408860777" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 28 Oct 2019 17:45:29 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7B3257F30F; Mon, 28 Oct 2019 17:45:29 +0100 (CET) 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 777E27ED20 for ; Mon, 28 Oct 2019 17:45:27 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rixed@happyleptic.org; spf=Pass smtp.mailfrom=rixed@happyleptic.org; spf=Pass smtp.helo=postmaster@out2-smtp.messagingengine.com IronPort-PHdr: =?us-ascii?q?9a23=3A4dJPmhdCV7QoEoFg0q7dzLlblGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcu6YR7h7PlgxGXEQZ/co6odzbaP6OaxCCdRuN6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9vIhi6twHcu80ZjYZmN6o61wfErGZPd+?= =?us-ascii?q?lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q6VAADspL2466svrtQLe?= =?us-ascii?q?TQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms86tnVBnlgz?= =?us-ascii?q?oBOjUk8m/Yl9Zwgbpcrh2vqBNxwIzbYI+bOvR+YK3TYM8VS2VaU8ZNTixMGJ+w?= =?us-ascii?q?YpEVAucDO+tTsonzp0EJrRu7HQSsHuLvyzBWiXDrxqA60/4uERne3A0gG9IBrm?= =?us-ascii?q?zUrMn0NKgOS+y1y7PIzTrFYvhL2jn98JDFfxEgrP2WQL58bNfdxVMgGg/fkFmd?= =?us-ascii?q?qIroNC6P2OsXqWiU9e9gWPqvi2E5rwFxpSCixsAxionVmI4Z00vE9SBlwIYtP9?= =?us-ascii?q?G4TVB0YcW/EJRKuCGaNo12Qsw8TGFutyY6y7sGtoChcCcWz5QnwgbTa/2Bc4eW?= =?us-ascii?q?/hLuTOecLDZiiH54Zb6zmgy+/Ee6xuHiV8S4yFNKoTBEktnIuHANzRvT6s2fR/?= =?us-ascii?q?tn/0eg1iiA2B3I5+FEO080jbLbKp4lwrEujpoTrUXDETPslEXxlq+WeV0o+vK0?= =?us-ascii?q?5OT/frXmupicOpdohQ7kN6QuntWzAeA5MggVQ2iW4v+81b3m/U3hWrpGlPw2kq?= =?us-ascii?q?/DsJDbP8sXvKC5AxVT340+9Ru/Cyqm0M8EnXYZNlJLZROHjon3NFzWPPyrRcu4?= =?us-ascii?q?1l+llTMuw/HdIpXgBI/MJz7NiuTPZ7F4vlRd2Ac/5dBW/4pFDrwZPPP4HEjru4?= =?us-ascii?q?+LRiQlOhC5lr60QO520ZkTDDrWX/2pdZjKuFrN3doBZumBYIhO4WT6NuR/ouXr?= =?us-ascii?q?kWd/nFIGZqCm3J0YZXa3H/JrZU6eZCi124tTISIxpgM7CdfSphiaSzcKOCSyVr?= =?us-ascii?q?ok9zU2EJ6nBsHEXI//2OXQjhf+JYVfYyV9Mn7JFH7pc4ueXPJVN3CSK9d5gzgJ?= =?us-ascii?q?TaSgQMkmzx787QI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DiBgApGrddhxoEb0JlHAEBAQEBBwEBE?= =?us-ascii?q?QEEBAEBgXsCg18BMSqEKIkDh24lmRqBegkBAwEMLwEBhEACg0odBgEENgQNAgw?= =?us-ascii?q?BAQQBAQECAQIDBAETAQEBCgsJCCmFPgyCOyKCdQECAgEjHQEBOAQLCxoCJgICL?= =?us-ascii?q?CuDO4JYILENgTKCfgEBBYI+g1uBKQmBDigBhzWCFIJFGIF/gTgMgl8+hRKCQ4J?= =?us-ascii?q?erWyXViGCLAGXLagvgWwJgW59Qy6CPlAQFIMGGoNZhRSFQEABAjCQVAEB?= X-IPAS-Result: =?us-ascii?q?A0DiBgApGrddhxoEb0JlHAEBAQEBBwEBEQEEBAEBgXsCg18?= =?us-ascii?q?BMSqEKIkDh24lmRqBegkBAwEMLwEBhEACg0odBgEENgQNAgwBAQQBAQECAQIDB?= =?us-ascii?q?AETAQEBCgsJCCmFPgyCOyKCdQECAgEjHQEBOAQLCxoCJgICLCuDO4JYILENgTK?= =?us-ascii?q?CfgEBBYI+g1uBKQmBDigBhzWCFIJFGIF/gTgMgl8+hRKCQ4JerWyXViGCLAGXL?= =?us-ascii?q?agvgWwJgW59Qy6CPlAQFIMGGoNZhRSFQEABAjCQVAEB?= X-IronPort-AV: E=Sophos;i="5.68,240,1569276000"; d="scan'208";a="324867698" X-MGA-submission: =?us-ascii?q?MDHw/9a7Z2tpp44QU29yRI6SgLBPJ0iQQOvkr8?= =?us-ascii?q?0t2Uv/jxfrw7Jf2anekC1gaaj20q/7BGcPPACNdWbf+JhCtJkGtsgEow?= =?us-ascii?q?8EjJcD1E5IWTI/AKnO60Sjzb9akU8vPz7FDsFdFAJVkrUGiVEO3hN2jx?= =?us-ascii?q?oI/QJ9tqeexmJW8990y8G/Sg=3D=3D?= Received: from out2-smtp.messagingengine.com ([66.111.4.26]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 28 Oct 2019 17:45:26 +0100 Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.nyi.internal (Postfix) with ESMTP id 3FF9221BBA for ; Mon, 28 Oct 2019 12:45:24 -0400 (EDT) Received: from imap2 ([10.202.2.52]) by compute3.internal (MEProxy); Mon, 28 Oct 2019 12:45:24 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=happyleptic.org; h=mime-version:message-id:in-reply-to:references:date:from:to :subject:content-type:content-transfer-encoding; s=fm1; bh=SgkLY yxzZ7JrD+Obyu0KIowGhtKtIUBNucdkzCWDGsA=; b=ojPTR12DjdrnT6RGYGCOJ 85LWPquWEsl/uTZw9orLFhw0nMlDawvN0Esqe5zXwOwijc5Sm/BDuejAvuAc+sGP Dw8JhJ86DbGe8uU+Spf5EvTjEGk/sZWFWX2IPGUe3MYthxqCbwxzxMxheFeDCdKh TrSv/QlbZAFFMu0Bp20JqL2ErhI8tf7LWBhiiOR9w9wnF0TA2neBlRxvfaxchu+M BC58N+blouxrlsL3aZkmUV5je/+BrSVwUpa5PRJ0kp3bqG1DpN6Mh1bipTAuF1Fd aRq6833l8UeUYPhJIJ4CVl3JLDtOgzNwcEGX7uphbtG0EFv84AqcRO4DqyXF/i7+ Q== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender :x-sasl-enc; s=fm1; bh=SgkLYyxzZ7JrD+Obyu0KIowGhtKtIUBNucdkzCWDG sA=; b=sKL3mp5/BkQNERx2D73xQUBWPhEJ9GirodFWBMi9tU32AqRi/sslmr7wV refYs4iFIMS4LYwO6U9vnCoJMYhM5+NZRij7enqeo4pZzclqJsSfW+GX76HdYBXh UIJQ0oAOKr+7sfs8Nk1b7003zC48UVvpgdMNmCDpcvgh06YkE/ZTQUiNFFKASMqY W25bo9UjBue0F+BXk6EnwMi23t9E8+732lUjix6iaBa3pXOh8tfjYOU6euxl/kkq 3JrhFZZGg3LcAEdkuC/NTMn0YwOCv/Vf3S72Gfx7LpaTZlwcPdGFzSPXk3uvktCs GQJvekhZ5RXKVtog9+/2JxVPcUZdA== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedufedrleelgdelvdcutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecunecujfgurhepofgfggfkjghffffhvffutgfgsehtqh ertderreejnecuhfhrohhmpehrihigvggusehhrghpphihlhgvphhtihgtrdhorhhgnecu rfgrrhgrmhepmhgrihhlfhhrohhmpehrihigvggusehhrghpphihlhgvphhtihgtrdhorh hgnecuvehluhhsthgvrhfuihiivgeptd X-ME-Proxy: Received: by mailuser.nyi.internal (Postfix, from userid 501) id 868F4E00A3; Mon, 28 Oct 2019 12:45:23 -0400 (EDT) X-Mailer: MessagingEngine.com Webmail Interface User-Agent: Cyrus-JMAP/3.1.7-470-gedfae93-fmstable-20191021v4 Mime-Version: 1.0 Message-Id: <4d6123c6-4c5e-40fa-9599-eee48170a9f6@www.fastmail.com> In-Reply-To: References: Date: Mon, 28 Oct 2019 17:45:04 +0100 From: rixed@happyleptic.org To: caml-list@inria.fr Content-Type: text/plain;charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] phantom types and coercion Reply-To: rixed@happyleptic.org X-Loop: caml-list@inria.fr X-Sequence: 17854 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: > Your best bet is to write a double coercion. >=20 > =C2=A0=C2=A0 (s2 : _ M.t :> string) Works indeed. Thank you!