tree d90e71e59e6a57ae229848d582f706bdc4b242f5
parent b99fd082b67050750b8bc63f1eb4c6959ca2dc92
author Marcel van Lohuizen <mpvl@golang.org> 1605445607 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1605449868 +0000

internal/core/eval: fix spurious cycle detection

When evaluating a Vertex for a selector, outside the usual
arc evaluation path, it is not necessarily on a cycle path.
Delay marking such a Vertex as "EvaluatingArcs" to prevent
spurious cycle detection. If there is indeed a cycle, then
this will be marked as such as the cycle will be triggered
at the usual path anyway.

Fixes #588

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