gh-133412: amend docs for the inst definition (#133708)

nybblista · web-flow · commit f77dac66e186 · 2025-05-09T09:06:22.000+02:00
The `stack_effect` is incorrectly documented as being allowed to be optional.
diff --git a/Tools/cases_generator/interpreter_definition.md b/Tools/cases_generator/interpreter_definition.md
@@ -81,7 +81,7 @@ and a piece of C code describing its semantics:
     (definition | family | pseudo)+
 
   definition:
-    "inst" "(" NAME ["," stack_effect] ")" "{" C-code "}"
+    "inst" "(" NAME "," stack_effect ")" "{" C-code "}"
     |
     "op" "(" NAME "," stack_effect ")" "{" C-code "}"
     |

Original file line number	Diff line number	Diff line change
`@@ -81,7 +81,7 @@ and a piece of C code describing its semantics:`
`81`	`81`	`(definition \| family \| pseudo)+`
`82`	`82`
`83`	`83`	`definition:`
`84`		`- "inst" "(" NAME ["," stack_effect] ")" "{" C-code "}"`
	`84`	`+ "inst" "(" NAME "," stack_effect ")" "{" C-code "}"`
`85`	`85`	`\|`
`86`	`86`	`"op" "(" NAME "," stack_effect ")" "{" C-code "}"`
`87`	`87`	`\|`