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 4BBAE7FC86 for ; Thu, 19 Mar 2015 01:40:00 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of milanst@gmail.com) identity=pra; client-ip=209.85.213.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="milanst@gmail.com"; x-sender="milanst@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of milanst@gmail.com designates 209.85.213.179 as permitted sender) identity=mailfrom; client-ip=209.85.213.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="milanst@gmail.com"; x-sender="milanst@gmail.com"; 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@mail-ig0-f179.google.com) identity=helo; client-ip=209.85.213.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="milanst@gmail.com"; x-sender="postmaster@mail-ig0-f179.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CyAACqGQpVlLPVVdFcg1haBIMJsweQC4V1AoFQB0wBAQEBAQERAQEBAQcLCwkSMIQQAQEEEhEdARsSCwEDDAYFCw0CAgkdAgIiAREBBQEKEgYTEhCHeAEDEQ2lVz4xizGBa4J3kHAKGScDClSEXAEBAQEGAQEBAQEXAQUOgROJdoQ+MweCaIFFBYUICo8ihX+BVZEHEiOBDAmELCIxgkMBAQE X-IPAS-Result: A0CyAACqGQpVlLPVVdFcg1haBIMJsweQC4V1AoFQB0wBAQEBAQERAQEBAQcLCwkSMIQQAQEEEhEdARsSCwEDDAYFCw0CAgkdAgIiAREBBQEKEgYTEhCHeAEDEQ2lVz4xizGBa4J3kHAKGScDClSEXAEBAQEGAQEBAQEXAQUOgROJdoQ+MweCaIFFBYUICo8ihX+BVZEHEiOBDAmELCIxgkMBAQE X-IronPort-AV: E=Sophos;i="5.11,426,1422918000"; d="scan'208";a="103904487" Received: from mail-ig0-f179.google.com ([209.85.213.179]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Mar 2015 01:39:59 +0100 Received: by igbud6 with SMTP id ud6so9571033igb.1 for ; Wed, 18 Mar 2015 17:39:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding; bh=WE+NdTIWo/0N49//3M04jbliAcpSISYnvgmXflLxSfg=; b=xRMVt5NCI1FxFtozzkTmRIYgFVh57hPnsFqlYwv/fI2en2bkUkKbwAB2p1PPYB19pZ MjkU/aycdB0er0IVAvOw1pindf1FLgjpJiLfKt7S4UL5r7ncTPgSF9plny/YEMYA3THL En+u4VL//4Aw7JvdYXVeM7Kg6igq8WHChEwWLiUfV7EV26wruuAm1ZIzv8vmb9mLpUNZ 3Qg6K2BYkOeFEH5gApcFrQMNn+0422Td9sS4RcYQNPMjg8qXMf6zt36O3dCZvi2yZnsC KT2p4zvW3bwCOqXF3PXEBDLvsQUF59HR04UyDHnmtllHaCL/na4c2WhtPJ796x/+JNPi rYPw== X-Received: by 10.42.106.204 with SMTP id a12mr99196509icp.90.1426725598232; Wed, 18 Mar 2015 17:39:58 -0700 (PDT) MIME-Version: 1.0 Received: by 10.64.154.134 with HTTP; Wed, 18 Mar 2015 17:39:18 -0700 (PDT) In-Reply-To: <2AB388B4D07D4DDABA30298A7C890319@erratique.ch> References: <2AB388B4D07D4DDABA30298A7C890319@erratique.ch> From: =?UTF-8?Q?Milan_Stanojevi=C4=87?= Date: Wed, 18 Mar 2015 20:39:18 -0400 Message-ID: To: =?UTF-8?Q?Daniel_B=C3=BCnzli?= Cc: Caml-list Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] GADT existential escape What do you mean exactly? Can you give some hypothetical example code ? On Wed, Mar 18, 2015 at 8:29 PM, Daniel B=C3=BCnzli wrote: > Hello, > > Is it possible to escape a GADT existential using some kind of witness th= e same way a universal type would allow me ? I think the answer is no, but = I'd love to be proven wrong. > > Best, > > Daniel > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs