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 006255D5 for ; Thu, 17 Jan 2019 09:46:19 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,488,1539640800"; d="scan'208";a="364473989" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Jan 2019 10:46:18 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id D9D058256B; Thu, 17 Jan 2019 10:46:18 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id B7E047FEFC for ; Thu, 17 Jan 2019 10:46:14 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=christopher@gmerlin.de; spf=None smtp.mailfrom=christopher@gmerlin.de; spf=None smtp.helo=postmaster@mout.kundenserver.de IronPort-PHdr: =?us-ascii?q?9a23=3AuXJqUx/8RweTLP9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?2uwcTK2v8tzYMVDF4r011RmVBdWds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2O2+557ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRhHohi?= =?us-ascii?q?kZKjA382bZhcNsg69ArxKtuwZyzpTObY2JKvZzeL7Wc9MARWpGW8ZcTzJMAoOm?= =?us-ascii?q?b4sOFOoBIeFYr5H9p1QQtxu1GAqjBOLqyj9NmHD2x6g63P4nEQHAwQctGM4BsH?= =?us-ascii?q?TOrNX0L6cSTee1zLHIzTrddfNbwjj96I3WfRA7pfGMXLRwfdDMxkYxDg7IiEib?= =?us-ascii?q?p4LiPzOQzOsNsm6b4vJvVeKqlWEnsQVxojmpxss2l4bGmIQYwU3H+yVh2Is5O8?= =?us-ascii?q?C0RFBhbdK6DpddtTuWO5Z0T884Xm1ltj42x74GtJKhYiQG1YorywTCZ/GIcYWE?= =?us-ascii?q?+A/vWeefLDp+mXlrYqiwhwyo/kil0uD8Vte70FJNriddl9nMsW0N1wDJ5siEV/?= =?us-ascii?q?t9+Fqu1iiJ1wDI9O5EO140mrTBK5I737E/iIIfsUXFHiDohEX7lLGaelg69uSy?= =?us-ascii?q?9ejrfLfrqoWBO4J2kA3yL6ojltS6AesiMwgOW2ab+f671L3m5UD2XLVKjuc3kq?= =?us-ascii?q?nCrJDaItwbpq6nDA9PyYsj5BO/ACm80NQcnHkHKkhJdw+ZgITxIVHBPOj4Deuj?= =?us-ascii?q?g1SriDpk2+rJPrjlApnUKnjDkazhfapm5k5HyAszyMhf6IhOBrEAJvLzQE7xu8?= =?us-ascii?q?bCAh83KQzni9rgXd5004dbXWOUHoeYNrnTuBmG/LEBOe6JMaQVojfmN/895/P0?= =?us-ascii?q?xU04nFoQZ6yg251fPHu4BPV9P0KBYXf2qtgEHH0Ovwx4QOG82w7KaiJae3vnB/?= =?us-ascii?q?F03To8Eo/zVd6SFLDou6SI2WKAJrMTY2lHDl6WFnKxLdeLXvoWbCOUZMNswGRd?= =?us-ascii?q?CeqRDrQ53BTrjzfUjqJ9J7OOqCIduIjn1d4z6+CBzUhvpwwxNNyU1iS2d08xnm?= =?us-ascii?q?4MQGVsjqV4vFA7yUqF3aV+mPFCC9FJof9EAF83?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BPAAAVTkBcgA0R49RjHgEGBwaBUQkLA?= =?us-ascii?q?YJpgQInl32CHGSXC4F7CAUfDAGHFhoGBjAJDQEDAQECAQEBAQETAQEJDQkIJyU?= =?us-ascii?q?MgjoigxyBDhMhhASCBQEKq10zijOCbYlSF4F/gRGGR4IZhRMCohAJgReBGYRyi?= =?us-ascii?q?mUkZXFch2mHcI8Yi3aBRmCBLnGDOwmGM4ohPjOBBQEBiiwBAQ?= X-IPAS-Result: =?us-ascii?q?A0BPAAAVTkBcgA0R49RjHgEGBwaBUQkLAYJpgQInl32CHGS?= =?us-ascii?q?XC4F7CAUfDAGHFhoGBjAJDQEDAQECAQEBAQETAQEJDQkIJyUMgjoigxyBDhMhh?= =?us-ascii?q?ASCBQEKq10zijOCbYlSF4F/gRGGR4IZhRMCohAJgReBGYRyimUkZXFch2mHcI8?= =?us-ascii?q?Yi3aBRmCBLnGDOwmGM4ohPjOBBQEBiiwBAQ?= X-IronPort-AV: E=Sophos;i="5.56,488,1539640800"; d="scan'208";a="364473967" Received: from mout.kundenserver.de ([212.227.17.13]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 17 Jan 2019 10:46:13 +0100 Received: from mortimer.gmerlin.de ([85.212.147.163]) by mrelayeu.kundenserver.de (mreue107 [212.227.15.183]) with ESMTPSA (Nemesis) id 1M8xwu-1gq7zm3jEM-006BQW for ; Thu, 17 Jan 2019 10:46:12 +0100 Date: Thu, 17 Jan 2019 10:46:11 +0100 From: Christopher Zimmermann To: caml-list@inria.fr Message-ID: <20190117104611.3288dd5a@mortimer.gmerlin.de> X-Mailer: Claws Mail 3.17.1 (GTK+ 2.24.32; x86_64-unknown-openbsd6.4) MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; boundary="Sig_/uT8gsGCkwY2kTZYiwPmws3Y"; protocol="application/pgp-signature" X-Provags-ID: V03:K1:ROUD8n+eEZrkWE8CQRGmxyCXcB9b0iPAZ0EDxMB54EdekMjqMf9 z5nzwcjmmIJxdbQIwIRd+M6P6go+3dOOf6FNN5FhAy7BspOr0ETRb0E6qziki7xdJstVWOl Q1FiR3uKdl3yIj2nydFZWSw7ao/tFJe2ryaYQK2FyAu4i763bBu8dYi8DywQ4juUwDSD80K S7KDjAz6Srp+4NHCuXPFQ== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:uOkFVV3BKaE=:FXZX1usxUPtYrImuE/MaeP h/dzzM7t2FzDVhODG6ulSj6RgjZCv8uCyeai8BSKpcEpopvi/AWkjeNtsp+90DeV8JXXiczCN juVqPTZZSs85jJis7qbYyUBJt50W346yXIMScO7OAwbWMRlRVqd9xQNuerV/wrujRNrXoUn21 8Nz93NI08PYoALD075HTEE0TBylg43TJSLdB9ST6BxZEnjq/mTuwHfzjyg261qSedjlM2jsKA zBJ3HvhO2ZJu56QMzmi5jovITSCVKyGyEQU5zbBus+ilLWWtc2NJZxphTTd1u2FgHWhuFbRhd AB072Ysv5Xqfqzifhp48BTAvxzKEPuD/HestGnrOjSxIA9yfvlZvaP5++gFGj4DdDwrkSFAgC 1qUg92wnqmUbAldUuTOdVOYceODy2l03nEx6pGpzSk77FFi/IuOsRohSg6TX78LQGzNkEdouy a42DlUuu4Y1T93F3Y4gWmFQn919QU1CEuwemZW3ZELREW9ELYnIkLpXUv46UGrdEW+zkDU0We jXOrbMDkMMlg5xTL81R1f8hLDJ3VX4xBaqstFFQ8El7aLlPruvau0HueFxGJaUUB68BueYA+E 0RRijcntWIqRFzNOKCjHy9ZsCGcn9cQUcW8t18aClJn7K6OWgeg3VFTHcHRYBtbLjfm/hyGEA atTgkNO1PG1li6eJsaaoEoIOa97Wguq8MEy9XGK71l3vuUhdJT5YjEsVtQtrlNrcRsvYl/Mer XnkRv6avNDUEowjJQOQ20sO0KWMil8ZW0uTV+r8uNEru38qRCGOD0mPo+jA= Subject: [Caml-list] matching GADT option types Reply-To: Christopher Zimmermann X-Loop: caml-list@inria.fr X-Sequence: 17306 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: --Sig_/uT8gsGCkwY2kTZYiwPmws3Y Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Hi, why does the f type correctly while g fails to type? Christopher type 'a t =3D | A : unit t let f =3D fun (type a) ~(p :a t option) () -> match p with | Some A -> () | None -> () let g =3D fun (type a) ~(p :a t option) () -> match p with | Some A (* TYPING ERROR HERE *) | None -> () Error: This pattern matches values of type unit t but a pattern was expected which matches values of type a t Type unit is not compatible with type a --=20 http://gmerlin.de OpenPGP: http://gmerlin.de/christopher.pub CB07 DA40 B0B6 571D 35E2 0DEF 87E2 92A7 13E5 DEE1 --Sig_/uT8gsGCkwY2kTZYiwPmws3Y Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE+CT73l6XX3KFKq8nJS8PWAcyqzQFAlxATuMACgkQJS8PWAcy qzQgLRAAokGGyCOtvJckfAcj74l5SHM6IY9m95cWtoHPEASPnWheCLSq29UFQ98p 4BuBkNxMbaF8JcXn9sA+qSEced2Hl+7qYNRRmmv3/CMGk7CACDuQv38djtBnbECi ZksLmEKreDA5d96XYFScMvSBtn61UpM0cXoKFnEdPNsat15v4GQhSLmtSNmtiFNt 9QHRAPzi/bnDWI/H3IC2aFtJObAmxAi95Pe0fdymholuIqF2kzKAbhjIw44ZkwrP B7c8hWJH57CHQNF/dI+6apu+5iVZ1a53QFX6vSfcgn71ex3JuCwtPV55rn4Oa1Jo Lp97058zjGpNy24tdFM+gC9gVa8WiTPq/apSfSRxyupmx4X46s0rys1F8aBC+Vyz vNy7wr0DjFvwllwkjheQaROuop4KgF5Pp16DglPY7IWzvZfhbbebxpW+2f9/g6ow UeyvQhp2xHs/BZ0XxrWi6Q+7fBGVgKNJ3LaS9yfEi+lQTzSKadoYeCulz7edusHq Fg6JhaCc1YkfPh3IikNILfl2KhW72MRrk1DzT4Vs0XDdGWHNrmiJine2BY5tRxIR rRwaPjjkYC+u2ZskwMfQWDveVQA117fL4mhCivrvd6ujyxDwJPiVPjRh0yCw8e8C ARnsPnz+zBaM13xhS2fUaPzCq32WDstE5hTFV7QiWRmtZ7o2Ptc= =6Hj0 -----END PGP SIGNATURE----- --Sig_/uT8gsGCkwY2kTZYiwPmws3Y--