aboutsummaryrefslogtreecommitdiff
path: root/tests/cfail/tasks-wrong-init.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/cfail/tasks-wrong-init.rs')
-rw-r--r--tests/cfail/tasks-wrong-init.rs91
1 files changed, 0 insertions, 91 deletions
diff --git a/tests/cfail/tasks-wrong-init.rs b/tests/cfail/tasks-wrong-init.rs
deleted file mode 100644
index d12b427d..00000000
--- a/tests/cfail/tasks-wrong-init.rs
+++ /dev/null
@@ -1,91 +0,0 @@
-// error-pattern: mismatched types
-
-#![feature(used)]
-
-#[macro_use]
-extern crate cortex_m_rtfm as rtfm;
-
-use rtfm::{P0, P1, T0, T1, TMax};
-use device::interrupt::Exti0;
-
-tasks!(device, {
- j1: Task {
- interrupt: Exti0,
- priority: P1,
- enabled: true,
- },
-});
-
-// WRONG. `init` must have signature `fn(P0, &TMax)`
-fn init(_: P0, _: &T1) {}
-
-fn idle(_: P0, _: T0) -> ! {
- loop {}
-}
-
-fn j1(_task: Exti0, _prio: P1, _thr: T1) {}
-
-// fake device crate
-extern crate core;
-extern crate cortex_m;
-
-mod device {
- pub mod interrupt {
- use cortex_m::ctxt::Context;
- use cortex_m::interrupt::Nr;
-
- extern "C" fn default_handler<T>(_: T) {}
-
- pub struct Handlers {
- pub Exti0: extern "C" fn(Exti0),
- pub Exti1: extern "C" fn(Exti1),
- pub Exti2: extern "C" fn(Exti2),
- }
-
- pub struct Exti0;
- pub struct Exti1;
- pub struct Exti2;
-
- pub enum Interrupt {
- Exti0,
- Exti1,
- Exti2,
- }
-
- unsafe impl Nr for Interrupt {
- fn nr(&self) -> u8 {
- 0
- }
- }
-
- unsafe impl Context for Exti0 {}
-
- unsafe impl Nr for Exti0 {
- fn nr(&self) -> u8 {
- 0
- }
- }
-
- unsafe impl Context for Exti1 {}
-
- unsafe impl Nr for Exti1 {
- fn nr(&self) -> u8 {
- 0
- }
- }
-
- unsafe impl Context for Exti2 {}
-
- unsafe impl Nr for Exti2 {
- fn nr(&self) -> u8 {
- 0
- }
- }
-
- pub const DEFAULT_HANDLERS: Handlers = Handlers {
- Exti0: default_handler,
- Exti1: default_handler,
- Exti2: default_handler,
- };
- }
-}