From 4992db78777c408a545a787e43450d4947144550 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Fri, 21 Apr 2017 00:24:54 -0500
Subject: more docs, remove Ceiling / Priority / Level traits

---
 tests/cfail/tasks-wrong-idle.rs | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

(limited to 'tests/cfail/tasks-wrong-idle.rs')

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) {}
 
-- 
cgit v1.2.3