tree f6a8c6b03bcee79c6f98a2bb2e2b9646b3eb60cf
parent 10a48e900d7f4496bb9c55f1540185f311a2937b
author Marcel van Lohuizen <mpvl@golang.org> 1611851833 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1611931396 +0000

internal/core/export: don't embed proper conjuncts

This now makes the distinction between conjuncts
and embeddings, fixing a bug that resulted from the
slight semantics changes in embeddings introduced in
https://cue-review.googlesource.com/c/cue/+/8229

Note that scalar values can still always be embedded
as it doesn't affect closedness.
Also recersively nested embeddings can be merged.
Nested closed conjunctions need to remain conjunctions.

Change-Id: I14c1a30802132effe0c6c27a4a8e363236df5771
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/8363
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>