From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pACEJ73w012607 for ; Sat, 12 Nov 2011 15:19:07 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiYDAHt/vk6DnwAInGdsb2JhbABBDpopj3ciAQEBAQEICyYlgXIBAQQBbgsFCwslIUUSBiWHcAIGtF+DUYVLYwSMd4xyjAc4 X-IronPort-AV: E=Sophos;i="4.69,499,1315173600"; d="scan'208";a="118489490" Received: from mail-out1.informatik.tu-muenchen.de ([131.159.0.8]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 12 Nov 2011 15:19:02 +0100 Received: from [172.16.1.5] (178-26-24-103-dynip.superkabel.de [178.26.24.103]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by mail.in.tum.de (Postfix) with ESMTP id 93116EBD6; Sat, 12 Nov 2011 15:18:57 +0100 (CET) Mime-Version: 1.0 (Apple Message framework v1251.1) Content-Type: text/plain; charset=iso-8859-1 From: =?iso-8859-1?Q?=22Markus_W=2E_Wei=DFmann=22?= In-Reply-To: <20111111.165707.71105223.garrigue@math.nagoya-u.ac.jp> Date: Sat, 12 Nov 2011 15:18:56 +0100 Cc: caml-list@inria.fr Message-Id: <0950FDB6-3880-4F1D-9127-BF77EA744258@in.tum.de> References: <20111111.165707.71105223.garrigue@math.nagoya-u.ac.jp> To: Jacques Garrigue X-Mailer: Apple Mail (2.1251.1) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pACEJ73w012607 Subject: Re: [Caml-list] New GADT iteration I've added a port "ocaml-devel" to MacPorts that builds the gadt-devel branch (checked out from svn, revision 11273); so for users of MacPorts you can simply deactivate your current ocaml installation and install ocaml-devel to give it a try. $> sudo port -f deactivate ocaml $> sudo port install ocaml-devel The ocaml libraries from MacPorts will not accept the development snapshot though. Best regards -Markus On 11 Nov 2011, at 08:57, Jacques Garrigue wrote: > Dear Camlers, > > Some of you may already be aware that GADTs are available in trunk, > since this summer. Information is available here: > https://sites.google.com/site/ocamlgadt/ > > As you can see in the presentation, this first iteration had some > limitations (particularly it was mostly incompatible with objects and > polymorphic variants), which led us to try a new approach. > > In this new iteration it is guaranteed that an ambiguous type cannot > escape the scope of a GADT pattern-matching, which leads to > (hopefully) more intuitive type inference, and allows to combine GADTs > with objects and polymorphic variants. The syntax is unchanged. > > As this approach depends crucially on the above property of ambiguous > types not escaping, it requires as much testing as possible. > This is why I would like to invite interested people to test it and > report strange behavior. > The new code is in the branch branches/gadts-devel, or > http://caml.inria.fr/cgi-bin/viewcvs.cgi/ocaml/branches/gadts-devel/ > > Sample code is available in the subdirectory testsuite/tests/typing-gadts. > It includes Alain Frisch's example for safe type introspection, > extended with variants. > > Please tell me if you find some unsoundness, or you cannot understand > why you get an error. > > Jacques Garrigue > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > -- Markus Weißmann, M.Sc. Technische Universität München Institut für Informatik Boltzmannstr. 3 D-85748 Garching Germany Tel. +49 (89) 2 89-1 81 05 Fax +49 (89) 2 89-1 81 07 http://wwwknoll.in.tum.de/