tree 296d254fa0908ab7cebd3c0f5627a9a4f5c0d8e6
parent 0198c89de6d6b9b1bcce6f33db52400852ee28ab
author Marcel van Lohuizen <mpvl@golang.org> 1578904680 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1579872406 +0000

doc/ref/spec: attribute changes

- support attributes for structs and packages
- relax unification rules for field attributes

In all cases, the presence of attributes can never
fail unification in the new definition. It is now fully
up to the consumer how to interpret duplicates.

Struct and package attributes are handy in several locations,
as it turns out. For instance, CUE has a shared name
space for definitions and values. In JSON schema, for
instance, this is not the case. so a CUE mapping will
have to be structured differently. Recording this mapping
in field attributes is awkward.

See also Issue #259
Issue #190

Change-Id: Ia7b79ca6165faa5eea11fef3cc4c456054632233
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/4602
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>