mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-09-11 05:45:30 +03:00
[RFC] Make change suggested by Damir.
This commit is contained in:
parent
ae26d4c7d4
commit
582dfed17d
@ -62,7 +62,7 @@ the evaluation involves the bounded recursion analysis described in a separate R
|
||||
ASTs for function declarations are extended with a boolean flag `const_`.
|
||||
|
||||
If a `const` function has a non-`const` parameter,
|
||||
an AST error occurs.
|
||||
an ASG error occurs.
|
||||
|
||||
If the body of a `const` function references the `input` variable or calls a non-`const` function,
|
||||
an ASG error occurs.
|
||||
|
Loading…
Reference in New Issue
Block a user