tree cdc3904de6d77666d6c8875c00fba5e8b182d6b7
parent f52a0ed82c425a7266e016e4d5ad5ee8fb5cb56b
author Marcel van Lohuizen <mpvl@golang.org> 1607352184 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1608128164 +0000

internal/core/eval: keep semantics for [K]: T

We were contemplating to redefine [string]: T to
be JSON Schema semantics. For this purpose, tool
fix rewrote it into a form that means the same in
both interpretations.

In the end, the original CUE semantics seem useful
enough to keep with the benefit of not breaking
people. We now anticipate to add the JSON semantics
using the notation: `[...K]: V`. With this approach, any
additional fields are always indicated with `...`.

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