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 6EF538018B for ; Thu, 6 Jul 2017 07:50:07 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ygrek@autistici.org; spf=Pass smtp.mailfrom=ygrek@autistici.org; spf=Pass smtp.helo=postmaster@perdizione.investici.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ygrek@autistici.org) identity=pra; client-ip=94.23.50.208; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ygrek@autistici.org"; x-sender="ygrek@autistici.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of ygrek@autistici.org designates 94.23.50.208 as permitted sender) identity=mailfrom; client-ip=94.23.50.208; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ygrek@autistici.org"; x-sender="ygrek@autistici.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@perdizione.investici.org designates 94.23.50.208 as permitted sender) identity=helo; client-ip=94.23.50.208; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ygrek@autistici.org"; x-sender="postmaster@perdizione.investici.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3ACyJvVx+FULkEFv9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?0ewcTK2v8tzYMVDF4r011RmSDNqds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2e2//5/ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMNboRr4oRzut86ZrSAfpiC?= =?us-ascii?q?gZMT457HrXgdF0gK5CvR6tuwBzz4vSbYqINvRxY7ndcMsUS2RBQMhfSi9PDYGy?= =?us-ascii?q?b4UIAOUOIelWopLhp1YMtxayGROhCP/xxjJOm3T43bc60+MkEQze3A0gEMgOv2?= =?us-ascii?q?rXrN7oM6oTUe+1zLPWwjXAdP5Zwyr96JTJchA6vfGMXK5/ccvLxUkoDQPFgUyd?= =?us-ascii?q?pIr4ND2WzuQAq2yW4uV6We6xhWMrsQF8riS1yssyloXEhYQYwU3e+ypj2oY6P9?= =?us-ascii?q?i4RVZ7YdG6FJtQsDmXN5NoTcM4Xm5ouSc7yrwBuZ69YicG0pUnxxjBa/OZaIiI?= =?us-ascii?q?/hPjW/qQITtig3JlYr2/iw6z8Uim1OL8StG53VJFoyZfjNXBuGoB2hzP5sSdVP?= =?us-ascii?q?dx4kSs1S6K1w/J6+FEJU40lbDcK54k2rMxlpUTsV7dES/1g0j5lrKWdlkl+uiz?= =?us-ascii?q?9+TnY6nppp6GO49zkAH+PbwimtajDuQgLggOQ2+b9Pyg27L5+E35RKxGjvk3kq?= =?us-ascii?q?nCrJDXPt8bp668Aw9NyIkv8Re/DzG80NQZh3YLNlxFeAjUx7TubnPJO/CwJ/ql?= =?us-ascii?q?j1WqnX8/xffdPpXrD4/BL37O1rHsYeAuxVRbzV8iwspS5NoAG74bLfHbU1Lttc?= =?us-ascii?q?fEDxQ4dQuuzLC0W51GyooCVDfXUeeiO6TIvArNv7p3Lg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AqAwBfzl1ZS9AyF15cHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgy6Bc59ymBSGHAKDH0MUAQEBAQEBAQEBAQEFAQEYFS8vgjMkAYJ?= =?us-ascii?q?BAQQBOgYBATcBBAsLCRglDzQUBhOKJwyvHoMRgwcBAQWIOAEBAQEBAQEBAgEBA?= =?us-ascii?q?QEBGwiDJ4EyghmFBopekVaNOoMDkHUNgXQBiS+GepU2NoErgQIISYUEgjJWiQM?= =?us-ascii?q?BAQE?= X-IPAS-Result: =?us-ascii?q?A0AqAwBfzl1ZS9AyF15cHAEBBAEBCgEBFwEBBAEBCgEBgy6?= =?us-ascii?q?Bc59ymBSGHAKDH0MUAQEBAQEBAQEBAQEFAQEYFS8vgjMkAYJBAQQBOgYBATcBB?= =?us-ascii?q?AsLCRglDzQUBhOKJwyvHoMRgwcBAQWIOAEBAQEBAQEBAgEBAQEBGwiDJ4Eyghm?= =?us-ascii?q?FBopekVaNOoMDkHUNgXQBiS+GepU2NoErgQIISYUEgjJWiQMBAQE?= X-IronPort-AV: E=Sophos;i="5.40,315,1496095200"; d="scan'208";a="230620123" Received: from perdizione.investici.org ([94.23.50.208]) by mail3-smtp-sop.national.inria.fr with ESMTP; 06 Jul 2017 07:50:06 +0200 Received: from [94.23.50.208] (perdizione [94.23.50.208]) (Authenticated sender: ygrek@autistici.org) by localhost (Postfix) with ESMTPSA id 556781205D1; Thu, 6 Jul 2017 05:50:04 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=autistici.org; s=stigmate; t=1499320205; bh=oLTdLwfGYLCQSaf/8MwH+iBSyn7HUtbsdrITvBbdtrw=; h=Date:From:To:Cc:Subject:In-Reply-To:References; b=e/rSHO3g05U12cBKjFU7Si3AiEM96F+SbvzCmmo+hlVBIm577tkPIzIFHqgE4My5Z nl6QBpuqyOsUzRt02wewHyOP30VEYUZPlSjhYNO91JqFg48/KZ8xFBBmpTeBNThhH3 NNSASHc3PhmarOQTehIc2H02RAUmglkhb5/MUUGA= Date: Wed, 5 Jul 2017 22:50:02 -0700 From: ygrek To: Josh Berdine Cc: caml-list@inria.fr Message-ID: <20170705225002.33c30017@kiwi.local.tld> In-Reply-To: References: <20170704012122.71fe4a55@kiwi.local.tld> X-Mailer: Claws Mail 3.14.1 (GTK+ 2.24.30; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] They have different arities On Tue, 04 Jul 2017 10:15:06 +0100 Josh Berdine wrote: > 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' > ``` Indeed, this will work. Thanks! Still original error looks puzzling :) --