tree b69c8f8b97cb37d88854b81d292dc6b5ddc93e44
parent 3d863fc0ecc3ea5d72ce09260ebfb1554a54eb62
author Marcel van Lohuizen <mpvl@golang.org> 1599722985 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1599897338 +0000

internal/core/eval: rewrite of closedness algorithm

Spec did not change, but simplified algorithm.
Fixes many bugs.

This also adds a new compaction algorithm. This will be
enabled in a follow-up CL.

Also:
- "not allowed" failure is now registered with child. This
allows multiple failures to be recorded naturally, and
also retains more of the correct structure. But more
importantly, it prevents descending into the substructure,
preventing spurious errors.
- Position information has changed slightly, mostly for
the better.

This introduces a regression on trim. See tools/trim/trim_test.go

Fixes #271
Fixes #320
Fixes #370
Fixes #471
Fixes #476
Fixes #483
Fixes #490
Fixes #491
Fixes #493
Fixes #494
Fixes #496
Fixes #497

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