From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTPS id 2FF235D4
	for <caml-list@inbox.ocaml.org>; Fri, 15 Jun 2018 16:34:45 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.51,227,1526335200"; 
   d="asc'?scan'208";a="332015344"
Received: from sympa.inria.fr ([193.51.193.213])
  by mail2-relais-roc.national.inria.fr with ESMTP; 15 Jun 2018 18:34:43 +0200
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id D289F82487; Fri, 15 Jun 2018 18:34:43 +0200 (CEST)
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 4E0BB82416
	for <caml-list@sympa.inria.fr>; Fri, 15 Jun 2018 18:34:39 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.51,227,1526335200"; 
   d="asc'?scan'208";a="268947229"
Received: from cbg35-2-78-242-14-140.fbx.proxad.net (HELO top.local) ([78.242.14.140])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 15 Jun 2018 18:34:38 +0200
From: Alan Schmitt <alan.schmitt@polytechnique.org>
To: Markus Mottl <markus.mottl@gmail.com>
Cc: OCaml List <caml-list@inria.fr>
References: <m2efh8rudt.fsf@charm-ecran.irisa.fr>
	<CAP_800rujga7GgLMcU_5PSgz2VuMRVrM98VvKaHJTwaqy4DMPQ@mail.gmail.com>
Date: Fri, 15 Jun 2018 18:34:36 +0200
In-Reply-To: <CAP_800rujga7GgLMcU_5PSgz2VuMRVrM98VvKaHJTwaqy4DMPQ@mail.gmail.com>
	(Markus Mottl's message of "Fri, 15 Jun 2018 11:21:10 -0400")
Message-ID: <m2a7rwrotf.fsf@polytechnique.org>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (darwin)
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
	micalg=pgp-sha512; protocol="application/pgp-signature"
Subject: Re: [Caml-list] a question about GADTs
Reply-To: Alan Schmitt <alan.schmitt@polytechnique.org>
X-Loop: caml-list@inria.fr
X-Sequence: 16943
Errors-to: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Post: <mailto:caml-list@inria.fr>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>

--=-=-=
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

Hello Markus,

On 2018-06-15 11:21, Markus Mottl <markus.mottl@gmail.com> writes:

> I don't think that you can currently do this.  According to the manual
> entry for GADTs: "This return type must use the same type constructor as
> the type being defined, and have the same number of parameters."
>
> But I guess it would be a supportable feature to perform type substitutio=
ns
> until the above is satisfied if at all possible.  Substituting manually is
> probably the only thing you can do until then.

Thank you for your reply. I'll use the explicit form for the moment with
some comments on the side.

Best,

Alan

=2D-=20
OpenPGP Key ID : 040D0A3B4ED2E5C7
Monthly Athmospheric CO=E2=82=82, Mauna Loa Obs. 2018-05: 411.25, 2017-05: =
409.65

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - https://gpgtools.org

iQEzBAEBCgAdFiEE6lXof/BsSVW56ZmGBA0KO07S5ccFAlsj6p4ACgkQBA0KO07S
5ccg9ggAlOxw0k6nH1JAigDishPmDZMAYrxr9uz0LYOsEYXApgHyHNny9L+rbpEI
FGW2uCIP5YClWudmAtBRdLWvc6Fv8Xuw+FMR2Srho5UAH+UBavxR/M2wTePtL9OS
8V2iwfjTbbiDbRAjgCGxoMliL/biEvgH/C5YQc2BPcc0rjGBC2HCuU/sYZXGrCaJ
V25AwbDWoAE9SEpX3hOWsaKqwqcAJprlAfz9HiVVX83mJfKnYxjcFBe8bHe1sTRo
K0BWgty+O35tb1HarXUL0oU+zi5XICdkPi9GSXtG1l99TadPmx9pHmi+TzYCLH8Y
+TMGlwn8i95ifMc7XnZ/pYWyXyXiaw==
=ee81
-----END PGP SIGNATURE-----
--=-=-=--