tree ee48e85a35611d1c3ba637d233d127a1f8986cc2
parent a086f74cccec201579910cc55e4e29ad9d7290bd
author Marcel van Lohuizen <mpvl@golang.org> 1610814360 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1610815166 +0000

internal/core/adt: fix regression in close builtin

Would in some cases recursively close.

Now uses just one method for marking closedness. Marking
Closed in the Vertex was only used so that the debug printer
would show the closed status. This has now fixed. This was
not possible before but is now as the code was recently
simplified.

Fixes #642

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