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 q2OJ0L2R027233 for ; Sat, 24 Mar 2012 20:00:21 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AosBAHMYbk9KfVK2kGdsb2JhbAAqGrgZCCIBAQEBCQkNBxQEI4IJAQEBBBICLAEbHQEDDAYFCw0uIgERAQUBHAYTIodoCymaYAqMFoJxhCQ/iHYBBQuJZoc3BJVggRGNPT2ECg X-IronPort-AV: E=Sophos;i="4.73,642,1325458800"; d="scan'208";a="137566935" Received: from mail-we0-f182.google.com ([74.125.82.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Mar 2012 20:00:16 +0100 Received: by wern13 with SMTP id n13so5648864wer.27 for ; Sat, 24 Mar 2012 12:00:16 -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; bh=S1HCe/vdyoI8urRbO8gOKfOvXbLfQdky8qEWaTigSKE=; b=Te5YnMDf5W8W5YdAaVepEdMvNKeIb58FOPVmkSxEhVSk4QTSsagjqg7LAlFz2ekHJG roft+0x0Ra5nQ+dM5ntKmUiGB9jkMECLgO1EiTkyoWdMfWvMhtOaYbdz9nhwBZlQsCdR ppmFJo255oq/IW7EGaQyhmG07H4rlzwMVohcP1OLJ5//7+sj1UWAT8GAA1DXfqdm3BSB WUXjdWCT4ObDSgGili7OvOkPd5ihNBmfZurzfbbSN6ES3qqhiKCp6ThIyrvgeLx1lLfv poYOnnH7BqsQyq5Dclf4tLnH5tw9vJiCZbpMvL0bWFmPlRTspuPJh2HGteFguN25fUR6 51aw== Received: by 10.216.131.34 with SMTP id l34mr9225948wei.54.1332615615941; Sat, 24 Mar 2012 12:00:15 -0700 (PDT) MIME-Version: 1.0 Received: by 10.180.19.97 with HTTP; Sat, 24 Mar 2012 11:59:55 -0700 (PDT) In-Reply-To: References: <87fwcx6ejm.fsf@frosties.localnet> From: Lukasz Stafiniak Date: Sat, 24 Mar 2012 19:59:55 +0100 Message-ID: To: Wojciech Meyer Cc: Goswin von Brederlow , caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] Wish: mutable variant types, equivalence with records On Sat, Mar 24, 2012 at 7:45 PM, Wojciech Meyer wrote: > > Please see [1], Alain Frisch has been working recently on implementing > in-line records for constructor arguments. > > It's more implementation/design implications than people might think. > > [1] http://caml.inria.fr/mantis/view.php?id=5528 Wow, I hope it gets merged into 4.0 or 4.1! (Sorry for the noise, just wanted to give the thumbs-up.)