Rename grammar's NameRead to PathRead and CheckName to CheckIdentifier, so a name in the engine is only a bound name

2026-10-07 02:09:52 +02:00
parent 097fae4cd2
commit fcec9c4a2a
20 changed files with 55 additions and 55 deletions
@@ -167,7 +167,7 @@ func (p *valueProof) proveTemplate(t *template) proven.Facts {
 	o := t.compiled.ops[0]
 	body, name, args := o.Body, o.Fn, o.Args
 	switch {
-	case o.Kind == grammar.NameRead:
+	case o.Kind == grammar.PathRead:
 		var leaves []node
 		for _, a := range o.arms {
 			leaves = append(leaves, a.leaves...)