tree bb433432ef316080726720333ae717e7e20b0381
parent a846fcc1dccc46b2e21223b358cc7d3df7a07b08
author Marcel van Lohuizen <mpvl@golang.org> 1589631574 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1589898496 +0000

cue: allow # and disallow #0 as identifiers

At a later point, we will probably rewrite `#: "x": y` to `#("x"): y`. This
change will make that easier. At that time, we may prohibit # again.

We also disallow #<num> for now. We may want to assign special meaning to that later, so we will reserve them for now.

See https://github.com/cuelang/cue/discussions/388

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