register_label_attr and local attribute

Stream: std4

[Patrick Massot]

It seems that after using register_label_attr foo, marking a declaration bar with attribute [local foo] bar actually has a global effect. Is this a know issue? Is this by design?

[Mario Carneiro]

the code ignores the local/scoped setting indeed, seems a bit lazy (normally we at least throw an error when you use a non-global kind if we don't want to support it)