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 451F180199 for ; Tue, 4 Jul 2017 11:15:12 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=josh@berdine.net; spf=Pass smtp.mailfrom=josh@berdine.net; spf=None smtp.helo=postmaster@out1-smtp.messagingengine.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of josh@berdine.net) identity=pra; client-ip=66.111.4.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="josh@berdine.net"; x-sender="josh@berdine.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of josh@berdine.net designates 66.111.4.25 as permitted sender) identity=mailfrom; client-ip=66.111.4.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="josh@berdine.net"; x-sender="josh@berdine.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@out1-smtp.messagingengine.com) identity=helo; client-ip=66.111.4.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="josh@berdine.net"; x-sender="postmaster@out1-smtp.messagingengine.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3APPoBfBRE/kE8uhiRkE6PmO5HbNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69ZxGN2/xhgRfzUJnB7Loc0qyN4v+mATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSijewZbF/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY0/mHJhMJtjq1brhyvqR9wzIHIe4yVKOZyc7nBcd8GWWZNQsBcXDFBDIOm?= =?us-ascii?q?aIsPCvIMM+Jfr4nmp1sFsAazChe2BOzyyz9IgGH51rA93uQjFgHGxwwgEskVv3?= =?us-ascii?q?vKttX6KaYSUearw6XSyzXMce9W1C775YPVcR4huemBULNxfMbL1EUjCh7Jgk+f?= =?us-ascii?q?pID/IT+Y1vwBv3Wf4udkT+6jlXIrpxxrrjWux8ogkJXFi4QIwV7e7yp52pw6Jd?= =?us-ascii?q?igRU57f9GkFJxQujmdN4trXsMuXnhkuD0/yr0aoZ63Zi0Kx4o8xx7EcfOHfImI?= =?us-ascii?q?4hTsVOmPJzd4i3NleLShiBqo7Uegzej8WtG10FZMsCVFjsHBu3EM2hDJ98SLV+?= =?us-ascii?q?Zx8l2u1DqVyQze6vlIIUUumqraL54hzKQwlp0WsUnbHC/2n172jK+Ne0o/5Oeo?= =?us-ascii?q?8fnoYrTgppCCLYN0jB/xMrg2lsylHes4KhQOX3Sc+emkyLLs50j5QLFTgv0yk6?= =?us-ascii?q?nZq4zaKN8Apq+5Bg9Vypws5wy+DzegytQYnGMIIEhLeBKd3MDVPATfL+r1Dr/r?= =?us-ascii?q?klu2nTRDzu3aP6b9A57MaH/Zn+GlNb107koZzAso0fhe4YhVA/cPOqHdQEj04f?= =?us-ascii?q?7fFR9xGQGuz+fhBZ0p1IQFWUqFD7WVMaXf91mF+rR8cKG3eIYJtWOleLAe7Pn0?= =?us-ascii?q?gCphlA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AuAgA4W1tZhxkEb0JcHgYMGQYMhSGOe?= =?us-ascii?q?ZEAmBGGHAKDA0MUAQEBAQEBAQEBAQESAQEBCA0JCCgvgjMigkQBAgIBQAEBOAQ?= =?us-ascii?q?LCyElDwEcKwYBijkIryyDEYMHAQEFiDkBAQgBAQEBARsIgyeIUYpenwuUdIEFi?= =?us-ascii?q?R2HDZUzNoErMSEIJgpJhQQfgXN1iSoBAQE?= X-IPAS-Result: =?us-ascii?q?A0AuAgA4W1tZhxkEb0JcHgYMGQYMhSGOeZEAmBGGHAKDA0M?= =?us-ascii?q?UAQEBAQEBAQEBAQESAQEBCA0JCCgvgjMigkQBAgIBQAEBOAQLCyElDwEcKwYBi?= =?us-ascii?q?jkIryyDEYMHAQEFiDkBAQgBAQEBARsIgyeIUYpenwuUdIEFiR2HDZUzNoErMSE?= =?us-ascii?q?IJgpJhQQfgXN1iSoBAQE?= X-IronPort-AV: E=Sophos;i="5.40,307,1496095200"; d="scan'208";a="230360197" Received: from out1-smtp.messagingengine.com ([66.111.4.25]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 04 Jul 2017 11:15:11 +0200 Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailout.nyi.internal (Postfix) with ESMTP id 9878F20B34; Tue, 4 Jul 2017 05:15:09 -0400 (EDT) Received: from frontend1 ([10.202.2.160]) by compute1.internal (MEProxy); Tue, 04 Jul 2017 05:15:09 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=berdine.net; h= content-type:date:from:in-reply-to:message-id:mime-version :references:subject:to:x-me-sender:x-me-sender:x-sasl-enc :x-sasl-enc; s=fm1; bh=JYFvCLPSvVzd5zF5nFwHs49Kq/BdqMFNN0SUCWXK7 ik=; b=aOIy3k1b5cO6SbNEdaQXTb8usgyLee9msfcqVusSEzXUkeuHQThBrgDP0 9WTYtjBqqpGHbvGBvsyVjASA47HdWGrymaFmSFyZgolMCaE+nNb8IYNBrEwQybT+ npeYhz7F+sVZRVv9A0yhxH2SI6+CA2aWzis36mK0P1EpazFhL3QCsIt67scKtT1G itAXhuLAU2FhXbi5HHR00YoGOGhyDQI6a2oNo8kJaZ6NlQ4xIWn5GjgBocTEGYhP nFvjHu+BTqkyfdp/kB9AGr1zYXbO7rGo9hgf3XEt5AuMTuGzPhJ9TmZ2IM84RWLQ US1MkakuvD1spE5d5BSzCHUhFKOUA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-sender :x-me-sender:x-sasl-enc:x-sasl-enc; s=fm1; bh=JYFvCLPSvVzd5zF5nF wHs49Kq/BdqMFNN0SUCWXK7ik=; b=Qqn3LDQR1SN25BQsy7ebBElk1qljJZs5uX 0wYRMEkiPeeY3/GucOcxlyR2EfF9zsEFT0jl1n6JXF5vUBbLL+EtQFn292l1MctS wRVvq9yjmWlzuCECnHee3vnvH2Vwj8/EQwnHJENwfVK85NIBGMKXqKzIiD8jHVw+ c2DK6NynaEq3Q4f6YtCk0JCWVDzuk2q/++gWtbqr8wbf8ZV+v3qPM6JySQkDT5bU lRVf33C2B8XvSjVieJwsHfZriu+AER1Jt8HGkv7pnbLBQAJKw6ceSrMoIJuoo7PK 7UjWSTmXjTYaO6N+E39vZ8RR8W7iGEBdysIJLdl5ox7X4mfSvZoA== X-ME-Sender: X-Sasl-enc: 1MGBPYvvwKayGtpQIZ1CNSu2KLqab+P16qFsGKRzSpBU 1499159709 Received: from jjb-mbp.localdomain (unknown [199.201.66.0]) by mail.messagingengine.com (Postfix) with ESMTPA id 4F7797E816; Tue, 4 Jul 2017 05:15:09 -0400 (EDT) Received: by jjb-mbp.localdomain (Postfix, from userid 994052071) id E1E2FAEA8F1D; Tue, 4 Jul 2017 10:15:07 +0100 (BST) From: Josh Berdine To: ygrek , caml-list@inria.fr In-Reply-To: <20170704012122.71fe4a55@kiwi.local.tld> References: <20170704012122.71fe4a55@kiwi.local.tld> Date: Tue, 04 Jul 2017 10:15:06 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] They have different arities On Tue, Jul 04 2017, ygrek wrote: > Consider the following : > ``` > # type t' = int option;; > type t' = int option > # type t = int option = None | Some of int;; > Characters 0-40: > type t = int option = None | Some of int;; > ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ > Error: This variant or record definition does not match that of type > int option > They have different arities. > ``` As a workaround, is it feasible for you to do the re-export and instantiation in separate steps? ``` type 'a t' = 'a option = None | Some of 'a type t = int t' ```