Skip to content

Fix typos #283

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Sep 22, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion docs/writing-reactors/actions.mdx
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ An action declaration has one of the following forms:
```

The `min_delay`, `min_spacing`, and `policy` are all optional.
If only one argument is given in parentheses, then it is interpreted as an `min_delay`,
If only one argument is given in parentheses, then it is interpreted as a `min_delay`,
if two are given, then they are interpreted as `min_delay` and `min_spacing`.
The `min_delay` and `min_spacing` are time values.
The `policy` argument is a string that can be one of the following:
Expand Down
2 changes: 1 addition & 1 deletion docs/writing-reactors/reactions.mdx
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ Each reaction declares its triggers, uses, and effects:

Reactions may optionally be named. The name is cosmetic and may serve as additional documentation. Note that reactions cannot be called like functions, even if they are named.

The reaction's behavior is defined by its body, which should be given in the target programming language. Note that the reaction body may only read from actions and ports that it has declared as triggers or uses, and it may only write to actions and ports that is has declared as an effect. The target code generators implement a scoping mechanism, such that only variables that are declared in the reaction signature are accessible in the reaction body.
The reaction's behavior is defined by its body, which should be given in the target programming language. Note that the reaction body may only read from actions and ports that it has declared as triggers or uses, and it may only write to actions and ports that it has declared as an effect. The target code generators implement a scoping mechanism, such that only variables that are declared in the reaction signature are accessible in the reaction body.

In some targets, the reaction body may be omitted and the body can be defined natively in the target language in an external file. See the section on [Bodyless Reactions](#bodyless-reactions) for details.

Expand Down
Loading