diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-02-23 22:35:29 +0100 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-02-23 22:35:29 +0100 |
| commit | 73529ea650573196762ee4135a37682845501255 (patch) | |
| tree | 078c047e4605c79da7c50aa919e5ca7f588d31b0 /ci | |
| parent | 6b61cd2e3ff26d96615a7bfc386077ccf6505c28 (diff) | |
reject duplicate arguments in #[interrupt] and #[exception]
This program was being accepted:
``` rust
#[task(
capacity = 1,
capacity = 2,
priority = 1,
priority = 2,
)]
fn foo() {}
```
now it will trigger a compiler error
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions