doc/ref/spec.md: remove "dead code"
This removed section is outdated and incorrect.
The relevant matter is discussed in the sections below.
Fixes #939
Change-Id: Id8bff5b790132177c95617621e87cfc613c28590
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/9701
Reviewed-by: Paul Jolly <paul@myitcv.org.uk>
diff --git a/doc/ref/spec.md b/doc/ref/spec.md
index f0e968c..ebbc1fc 100644
--- a/doc/ref/spec.md
+++ b/doc/ref/spec.md
@@ -1895,33 +1895,6 @@
Primary expressions are the operands for unary and binary expressions.
-
-```
-
-Slice: indices must be complete
-([0, 1, 2, 3] | [2, 3])[0:2] => [0, 1] | [2, 3]
-
-([0, 1, 2, 3] | *[2, 3])[0:2] => [0, 1] | [2, 3]
-([0,1,2,3]|[2,3], [2,3])[0:2] => ([0,1]|[2,3], [2,3])
-
-Index
-a: (1|2, 1)
-b: ([0,1,2,3]|[2,3], [2,3])[a] => ([0,1,2,3]|[2,3][a], 3)
-
-Binary operation
-A binary is only evaluated if its operands are complete.
-
-Input Maximum allowed evaluation
-a: string string
-b: 2 2
-c: a * b a * 2
-
-An error in a struct is if the evaluation of any expression results in
-bottom, where an incomplete expression is not considered bottom.
-```
-<!-- TODO(mpvl)
- Conversion |
--->
```
PrimaryExpr =
Operand |
@@ -1962,7 +1935,6 @@
(s + ".txt")
f(3.1415, true)
m["foo"]
-s[i : j + 1]
obj.color
f.p[i].x
```
