tree 651b7fa8bc564f1dfb6b5f68467d83fbcfce0d70
parent 67169f4aac6cc8bf7906aba4bf50ea2bdca514bc
author Marcel van Lohuizen <mpvl@golang.org> 1571139358 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1571497306 +0000

cue: fail if non-optional definitions are bottom

This puts the implemenation on par with the spec.
The spec has been made slightly clearer to inidicate
that a non-optional failed definition is also a failure,
just like regular fields.

The code is copied from the previously used implementation
of walk. The old implementation just walked over
concrete values, so we needed another one to visit
all fields.

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