tree eaa4b069622f5d7e1cc13a07ec813e8f44df79cd
parent b68adfe32a6c93121e34a99b3324b658158b9976
author Marcel van Lohuizen <mpvl@golang.org> 1595175460 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1595489835 +0000

internal/core/eval: allow closedness override

The old implementation was a bit too permissive handling
closedness in the API. The current implementation tracks
closedness status within the Vertex.

Some packages take apart the conjuncts of a value and then
reassemblem then using Unify. In this case, the closedness
information is invalidated. The added API allows passing the
closedness information of the original node to exactly specify
what is is allowed.

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