diff options
Diffstat (limited to 'changelog.md')
| -rw-r--r-- | changelog.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/changelog.md b/changelog.md index 32f6e0a1b..46b4a49b2 100644 --- a/changelog.md +++ b/changelog.md @@ -169,6 +169,10 @@ echo f enabling things like lvalue references, see `byaddr.byaddr` - `macro pragmas` can now be used in type sections. +- 5 new pragmas were added to Nim in order to make the upcoming tooling more + convenient to use. Nim compiler checks these pragmas for syntax but otherwise + ignores them. The pragmas are `requires`, `ensures`, `assume`, `assert`, `invariant`. + ## Language changes |