tree 19a61596ee353eb684f39a66b678ba1ff170246d
parent 651d3796ab32145f064568e1f9c3bc3b882140e9
author Marcel van Lohuizen <mpvl@golang.org> 1595275589 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1595490946 +0000

internal/core/eval: tweak to disjunction

Except for a small bug, that is also fixed in this CL, the
new evaluator implemented disjunctions according to
spec before this CL. The old evaluator, however, didn't...

It turns out the semantics of the spec is somewhat awkward,
though theoretically nicer. It seems like we do need to change
the definition somewhat to make it less awkward, or at least
come up with a good workaround before adopting the spec.

This CL introduces a hack that mimic the old behavior for scalar
values, where this is the most relevant.

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