tree da586072d9f70029ed7dad11a2d09c2bf1b436df
parent 6659da2a95af276b1e8d83e0a1ea3f75e8f3272c
author Marcel van Lohuizen <mpvl@golang.org> 1560680327 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1566139551 +0000

doc/ref: define defintions, closed structs and embedding

- The definition of optional has now been integrated
in the original definition of unification to stress the
fact that a bottom optional field does not fail
unification, but merely makes that field no longer
an option.
- This will allow the currently supported (and somehwat
hideous) hidden values to be deprecated.

Issue #40

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