[Gm2] variant records and repeated names

[Martin Kalbfuß]

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,

-- 
Martin Kalbfuß <address@hidden>