tree 162125fd34a9cf97b9e3765cbb8b0635f1f15911
parent 37293f950120fd02f380e475021b9bd4b0309c9e
author Marcel van Lohuizen <mpvl@golang.org> 1606413603 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1606572941 +0000

internal/core/adt: introduce base value type

New type hierarchy:

      Expr      BaseValue
          \.             /
            Value

Struct- and ListMarker are now only a
BaseValue and thus cannot be passed
as either a Value or Expr.

This makes the compiler enforce that List and
StructMarkers are not passed around as values.

The next step is to do some renaming.

Fixes #598

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