tree 13c38a280aef1344ce1de88db36992f2ef65527d
parent 8872b98f20faa770ae88f86624d1d8188da91f70
author Marcel van Lohuizen <mpvl@golang.org> 1606236158 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1606330532 +0000

internal/core/subsume: various bug fixes

And making semantics close to that of v0.2.

Fixes #566

Change-Id: I97c5f9733c40d92b40f5e780cd1d6e2632de06ff
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/7743
Reviewed-by: Paul Jolly <paul@myitcv.org.uk>
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>