Skip to content

Release v4.31.0

Choose a tag to compare

@github-actions github-actions released this 25 Sep 08:46
355dffb

Added

  • Reaction triggers can declare the views they decide from: reads <View> [as <alias>] [by <trigger value>], with the same alias rules as command reads. Parsing, validation, printing, the syntax walker, MCP references, and editor highlighting, completion and hover all support it.
  • Diagnostics for trigger reads: an unknown view, a repeated view without an alias, a duplicate alias, an alias that collides with a trigger value, a by that names no trigger value (PLAY0442, warning), a by under a clock trigger (PLAY0443, error), and a primitive type read as a view (PLAY0444, warning, pointing to @reads).

Changed

  • A trigger value named reads must now be written @reads. A bare reads line or reads <PrimitiveType> under a trigger reports a diagnostic that names the escape instead of being misread.
  • Clock triggers (every, at) can read whole views but cannot use by, since they take no values.
  • Neither command nor reaction reads bind at runtime yet; editor guidance says so. for each <View> stays reserved.

This is the grammar part of #69 (decision 0006).