Re: [Gm2] variant records and repeated names

[Gaius Mulley]

Martin Kalbfuß <address@hidden> writes:

> Hi,
>
> I have a variant record.
> the different variants have equaly named fields.
>
> If I try to compile I get
>
> EventBase.def:331:14: error: field state is already present inside
> record Event
> EventBase.def:336:14: error: field which is already present inside
> record Event
> EventBase.def:337:14: error: field state is already present inside
> record Event
> EventBase.def:344:14: error: field which is already present inside
> record Event
> EventBase.def:346:14: error: field state is already present inside
> record Event
> EventBase.def:347:14: error: field y is already present inside record
> Event
> EventBase.def:347:14: error: field x is already present inside record
> Event
> EventBase.def:351:14: error: field which is already present inside
> record Event
> EventBase.def:357:14: error: field which is already present inside
> record Event
> EventBase.def:364:14: error: field which is already present inside
> record Event
> EventBase.def:366:14: error: field value is already present inside
> record Event
> EventBase.def:374:14: error: field which is already present inside
> record Event
> EventBase.def:375:14: error: field button is already present inside
> record Event
> EventBase.def:376:14: error: field state is already present inside
> record Event
>
>
> Shouldn't it be allowed to have equaly named fields for different
> variants of the record?
>
> Thanks,

Hi Martin,

please can you give a code example..

thanks Gaius