tree 7cf244da5a735824eaa75a824f8abf8fdc0cb63f
parent 50bcd970ea0d8c86ea3f455a6779174283af9961
author Marcel van Lohuizen <mpvl@golang.org> 1587540807 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1587624896 +0000

cue/cmd/cue: disallow quoted identifiers by default

These were deprecated a while back. Now step up the
enforcement.

Also bumps the syntax check level.

Issue #339

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