more docs, remove Ceiling / Priority / Level traits

1 files changed, 7 insertions, 5 deletions

diff --git a/tests/cfail/tasks-wrong-idle.rs b/tests/cfail/tasks-wrong-idle.rs
index 8d6ef4b..77afef6 100644
--- a/tests/cfail/tasks-wrong-idle.rs
+++ b/tests/cfail/tasks-wrong-idle.rs
@@ -5,20 +5,22 @@
 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::{C16, P0, P1};
 use device::interrupt::Exti0;
+use rtfm::{C16, P0, P1};
 
 /// Tasks can't have priority 0. Only idle has priority 0
 tasks!(device, {
     j1: (Exti0, P1),
 });
 
-fn init(_: C16) {}
+fn init(_: P0, _: &C16) {}
 
-// WRONG. `idle` must have signature `fn(P1)`
-fn idle(_: P1) {}
+// WRONG. `idle` must have signature `fn(P0) -> !`
+fn idle(_: P1) -> ! {
+    loop {}
+}
 
 fn j1(_task: Exti0, _prio: P1) {}