tree 8abfa37d189ee13fdccded510d340872a93aa402
parent 19f6f3f67e25b83a810f4927621565d943708bce
author Marcel van Lohuizen <mpvl@golang.org> 1606406778 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1606572749 +0000

internal/core/adt: add methods for concreteness

This is the first step to make marker value a different
type as to let the compiler prevent them from
being passed around as values.

Issue #598

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