doc/ref/spec.md: bring scoping in line with reality
Change-Id: I4b977dbb414304c0600150b8c03445ffefd8786f
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/3520
Reviewed-by: Jonathan Amsterdam <jba@google.com>
diff --git a/doc/ref/spec.md b/doc/ref/spec.md
index f6205c9..cc6ad2c 100644
--- a/doc/ref/spec.md
+++ b/doc/ref/spec.md
@@ -1615,7 +1615,9 @@
CUE is lexically scoped using blocks:
1. The scope of a [predeclared identifier](#predeclared-identifiers) is the universe block.
-1. The scope of an identifier denoting a field or alias
+1. The scope of an identifier denoting a field
+ declared at top level (outside any struct literal) is the package block.
+1. The scope of an identifier denoting an alias
declared at top level (outside any struct literal) is the file block.
1. The scope of the package name of an imported package is the file block of the
file containing the import declaration.
@@ -1695,7 +1697,7 @@
foo: string // not visible outside mypackage
-Foo :: { // visible outside mypackage
+Foo :: { // visible outside mypackage
a: 1 // visible outside mypackage
B: 2 // visible outside mypackage
