tree cf94ae2eda61aa77d104206f9e5bcc6a354543b3
parent c8b7fe0c7be85cb757188cc4357d7eb607efafa2
author Marcel van Lohuizen <mpvl@golang.org> 1618147773 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1618152277 +0000

internal/core/export: fix decl export printing and extraction

Fixes #894

A few related fixes:

- Extract from all evaluated structs, not just unevaluated
conjuncts, which results in dropping merged values.
(Note that unlike with fields attributes, the the declaration
attributes are value-bound, and thus need to be included.)

- Decl attrs were not always printed in export. This has now
been fixed.

- Changed the (internal) API to accept a Vertex, instead
of a list of conjuncts, which is a better abstraction.

Change-Id: Id598fefa88aff88aefd126fb80f1637b3f50c7fb
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/9382
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>
Reviewed-by: Paul Jolly <paul@myitcv.org.uk>
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>