tree 400cd60a5fcac64ed27d4971a9fbb4cbe2a0bf89
parent 5b8ab47cd667bcac9b6bc7d0e45820bc83899662
author Marcel van Lohuizen <mpvl@golang.org> 1620649352 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1620659709 +0000

internal/core/export: fix export of disjunction with eliminated defaults

This was a remnant of old semantics of defaults.

Fixes #950

Change-Id: I282192320c6dd327ace8dbca1cce0f81e88f0534
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/9725
Reviewed-by: Paul Jolly <paul@myitcv.org.uk>
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>