cue: implement attribute declarations
This only allows attributes in places that can
clearly be considered to be part of the
package fields. The spec has been adjusted
accordingly.
Issue #259
Change-Id: I3c8b65554096502577b48082c638c662eee98ac5
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/4823
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>
diff --git a/doc/ref/spec.md b/doc/ref/spec.md
index a9e207b..c1fc803 100644
--- a/doc/ref/spec.md
+++ b/doc/ref/spec.md
@@ -2842,7 +2842,7 @@
to a data format
```
-SourceFile = { attribute "," } [ PackageClause "," ] { ImportDecl "," } { Declaration "," } .
+SourceFile = [ PackageClause "," ] { ImportDecl "," } { Declaration "," } .
```
```
