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 q066QPLC025664 for ; Fri, 6 Jan 2012 07:26:25 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlEBACGTBk9KfVK2kGdsb2JhbABDhQ+nawgiAQEBAQkJDQcUBCGBcgEBAQQSAg9mCwsPAiYCAiISAQUBHAY1oQYKix+RNoEviUyBFgSVB41+PYN7 X-IronPort-AV: E=Sophos;i="4.71,466,1320620400"; d="scan'208";a="125790033" Received: from mail-we0-f182.google.com ([74.125.82.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 06 Jan 2012 07:26:19 +0100 Received: by werb13 with SMTP id b13so1708640wer.27 for ; Thu, 05 Jan 2012 22:26:19 -0800 (PST) MIME-Version: 1.0 Received: by 10.216.131.29 with SMTP id l29mr2554605wei.5.1325831179285; Thu, 05 Jan 2012 22:26:19 -0800 (PST) Received: by 10.180.106.8 with HTTP; Thu, 5 Jan 2012 22:26:19 -0800 (PST) In-Reply-To: References: Date: Fri, 6 Jan 2012 07:26:19 +0100 Message-ID: From: Andrej Bauer To: caml Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Proposal for extensible open datatypes I would be interested to hear what propeties of Ocaml you had to give up to get this interesting extension working? For example, what happens with checking for exhaustivness of match? Caml performs various optimizations in pattern matching, why are those still ok now that new alternatives may appear later? With kind regards, Andrej