diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 00:24:54 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 00:24:54 -0500 |
| commit | 4992db78777c408a545a787e43450d4947144550 (patch) | |
| tree | 3d8de8a9d209be9fd86540ae2a5601fa827f3a53 /tests/cfail/tasks-wrong-init.rs | |
| parent | 0a6583ddc6909215e5db10e8df9da48cc7bffe1a (diff) | |
more docs, remove Ceiling / Priority / Level traits
Diffstat (limited to 'tests/cfail/tasks-wrong-init.rs')
| -rw-r--r-- | tests/cfail/tasks-wrong-init.rs | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/tests/cfail/tasks-wrong-init.rs b/tests/cfail/tasks-wrong-init.rs index 368772f..8b8359c 100644 --- a/tests/cfail/tasks-wrong-init.rs +++ b/tests/cfail/tasks-wrong-init.rs @@ -5,19 +5,21 @@ extern crate core; extern crate cortex_m; #[macro_use] -extern crate cortex_m_srp; +extern crate cortex_m_rtfm as rtfm; -use cortex_m_srp::{C1, P0, P1}; +use rtfm::{C1, P0, P1}; use device::interrupt::Exti0; tasks!(device, { j1: (Exti0, P1), }); -// WRONG. `init` must have signature `fn(P0, C16)` -fn init(_: P0, _: C1) {} +// WRONG. `init` must have signature `fn(P0, &C16)` +fn init(_: P0, _: &C1) {} -fn idle(_: P0) {} +fn idle(_: P0) -> ! { + loop {} +} fn j1(_task: Exti0, _prio: P1) {} |