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 q2OIgaaR026350
	for <caml-list@sympa-roc.inria.fr>; Sat, 24 Mar 2012 19:42:36 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ao0BAOEUbk/RVdSuimdsb2JhbABEuBkIIgEBAQoJDQcSBiOCCQEBAQQSAiwBGx0BAwwGBQsNLiEBAREBBQEcBhMIGodomxMKjBaCcYQrP4h2AQULiWaHNwSVYIsxgx09hAo
X-IronPort-AV: E=Sophos;i="4.73,642,1325458800"; 
   d="scan'208";a="137565911"
Received: from mail-wi0-f174.google.com ([209.85.212.174])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Mar 2012 19:42:31 +0100
Received: by wibhr17 with SMTP id hr17so2766195wib.9
        for <caml-list@inria.fr>; Sat, 24 Mar 2012 11:42:30 -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=UR2wpRY0Gb53SzTCeyBFuXci7SgTRI3yLGcizS7yzz4=;
        b=cifCiwrcUCBQjUyMTInrBKDNe6rDvlwZSoDQelGS0YkKTdo5iW6Ick8vbBo3iiINV6
         t/P4H5J7uHx+JrtcbfUfBDaqiTA9VonDcvaK7CFA8Qse4UIxRgLwWR0+D+8MI5cNdKYV
         E+A8dJNc4XZHK8WGZEZwJyhxKyMbUn1EwfU+SV11qKKvJ46IZY91b1ICrP+z57Nmg6NK
         C0PucdbhZZhI5wOyzdQ7hh7QrBB8F2dTT2jpJpT0muOtMWhwZK605cb7+bfL4gd+fjv+
         4eksQfkxQZnCeRZ+xZ87pGV96XuOS8etuHo3Gga7qdQjxRB0sW8AlGwtebIO3zpdYXCA
         JopA==
Received: by 10.180.79.72 with SMTP id h8mr6575236wix.1.1332614550784; Sat, 24
 Mar 2012 11:42:30 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.180.19.97 with HTTP; Sat, 24 Mar 2012 11:42:10 -0700 (PDT)
In-Reply-To: <CAJMfKEU80uhksOLOa3a44Ma-Uf1_ciRrfvo=E58YBe4q_fqxKQ@mail.gmail.com>
References: <87fwcx6ejm.fsf@frosties.localnet> <CAJMfKEWjsCLOxv8qD9YE7DJjb7NUAO778DEXvM-ZkLA2r5nidg@mail.gmail.com>
 <CAJMfKEU80uhksOLOa3a44Ma-Uf1_ciRrfvo=E58YBe4q_fqxKQ@mail.gmail.com>
From: Lukasz Stafiniak <lukstafi@gmail.com>
Date: Sat, 24 Mar 2012 19:42:10 +0100
Message-ID: <CAJMfKEVuZvCv3ridDL00_H507cQE7KoDgi9YtL5pQdeG5T3Fow@mail.gmail.com>
To: Goswin von Brederlow <goswin-v-b@web.de>
Cc: 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:39 PM, Lukasz Stafiniak <lukstafi@gmail.com> wrote:
> On Sat, Mar 24, 2012 at 7:32 PM, Lukasz Stafiniak <lukstafi@gmail.com> wrote:
>>
>> I'm not sure about mutable but I'd appreciate labels :D
>
> As for syntax, I think that "unboxed anonymous records" would be better.

For starters, one could make a Camlp4 extension that generates a
record type named "typ_Variant" for a type "typ" and its constructor
"Variant" whose fields are defined as a record. Hmm...

Record unboxing might be handled as an orthogonal issue?