tree d7147e4d0b365a849084b3a2b066221fb3dc932a
parent 31896af43ed5dff14087580ea180f248a92be59e
author Marcel van Lohuizen <mpvl@golang.org> 1607285891 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1607352421 +0000

internal/core/adt: make progression check an assert

This allows the user to turn it off with CUE_DEBUG=0

Often the result will still be somewhat userful, and it
will help debugging as well.

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