Lukasz Stafiniak <lukst...@gmail.com> writes:
> 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...
Yes please.
That wouldn't eliminate the risk of the two types getting out-of-sync
and save keystrokes.
> Record unboxing might be handled as an orthogonal issue?
MfG
Goswin
--
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
