On Sat, Mar 24, 2012 at 7:39 PM, Lukasz Stafiniak <lukst...@gmail.com> wrote: > On Sat, Mar 24, 2012 at 7:32 PM, Lukasz Stafiniak <lukst...@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? -- 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