doc/ref/spec.md: a few fixes
- boolean_lit -> bool_lit
- removed reference to top_lit
- added bottom_lit
Fixes #773
Fixes #777
Change-Id: I40e103d5fdd73f1ef99c89a10333b6abb5aad6d3
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/8741
Reviewed-by: Paul Jolly <paul@myitcv.org.uk>
diff --git a/doc/ref/spec.md b/doc/ref/spec.md
index 5809fec..e46add0 100644
--- a/doc/ref/spec.md
+++ b/doc/ref/spec.md
@@ -837,6 +837,10 @@
Implementations may associate error strings with different instances of bottom;
logically they all remain the same value.
+```
+bottom_lit = "_|_" .
+```
+
### Top
@@ -859,7 +863,7 @@
It is unordered with respect to any other value.
```
-null_lit = "null"
+null_lit = "null" .
```
```
@@ -877,7 +881,7 @@
element in the lattice.
```
-boolean_lit = "true" | "false"
+bool_lit = "true" | "false" .
```
```
@@ -1623,7 +1627,7 @@
and an unlimited number of elements as its upper bound.
```
-ListLit = "[" [ ElementList [ "," [ Ellipsis ] ] [ "," ] "]" .
+ListLit = "[" [ ElementList [ "," [ Ellipsis ] ] [ "," ] ] "]" .
ElementList = Embedding { "," Embedding } .
```
@@ -1853,7 +1857,7 @@
Operand = Literal | OperandName | "(" Expression ")" .
Literal = BasicLit | ListLit | StructLit .
BasicLit = int_lit | float_lit | string_lit |
- null_lit | bool_lit | bottom_lit | top_lit .
+ null_lit | bool_lit | bottom_lit .
OperandName = identifier | QualifiedIdent .
```