tree 9a13ad20b9591c5687627b26f80722aedcb699d7
parent 6b9600145e37034a165ece37b83328efefb0efe4
author Marcel van Lohuizen <mpvl@golang.org> 1611658665 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1611845420 +0000

internal/core/adt: refactor node lookup

This change distinguish path for evaluating values (evalState)
versus evaluating nodes (new: unifyNode).

Goals:
1) allow evaluation state to pass to calls. This allwos for more
precise partial evaluation.
2) more control over when to use addNotify.

For instance: for for loops, it is necessary to evaluate to
the AllArcs state, as all arcs need to be known at the
time of iteration.
For looking up values in a struct, however, it is okay to
have partial evaluation of struct arcs when looking up
in mode Partial.

Issue #667
Issue #661

Change-Id: Ib456dffc9d0161e8899c55ffdbe48c7a4b51bc17
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/8321
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>