rtic/tests/cfail/token-transfer.rs

45 lines
807 B
Rust
Raw Permalink Normal View History

#![deny(unsafe_code)]
2017-07-18 22:14:39 +02:00
#![deny(warnings)]
#![feature(const_fn)]
#![feature(proc_macro)]
2018-05-29 12:23:09 +02:00
#![feature(proc_macro_gen)]
2018-05-14 21:22:50 +02:00
#![no_main]
2017-07-24 03:51:58 +02:00
#![no_std]
2017-07-18 22:14:39 +02:00
extern crate cortex_m_rtfm as rtfm;
2018-05-07 17:46:26 +02:00
extern crate panic_itm;
2017-07-18 22:14:39 +02:00
extern crate stm32f103xx;
2018-05-01 14:01:51 +02:00
extern crate typenum;
2017-07-18 22:14:39 +02:00
2018-05-14 21:22:50 +02:00
use rtfm::{app, Priority};
2018-05-01 14:01:51 +02:00
use typenum::consts::U1;
2017-07-18 22:14:39 +02:00
app! { //~ error bound `*const (): core::marker::Send` is not satisfied
2017-07-18 22:14:39 +02:00
device: stm32f103xx,
resources: {
2018-05-14 21:22:50 +02:00
static TOKEN: Option<Priority<U1>> = None;
2017-07-18 22:14:39 +02:00
},
2017-07-28 04:30:24 +02:00
idle: {
resources: [TOKEN],
},
2017-07-18 22:14:39 +02:00
tasks: {
2018-05-01 14:01:51 +02:00
exti0: {
interrupt: EXTI0,
2017-07-18 22:14:39 +02:00
resources: [TOKEN],
},
}
}
2018-05-14 21:22:50 +02:00
fn init(_ctxt: init::Context) -> init::LateResources {
init::LateResources {}
}
2017-07-18 22:14:39 +02:00
2018-05-01 14:01:51 +02:00
fn idle(_ctxt: idle::Context) -> ! {
2017-07-18 22:14:39 +02:00
loop {}
}
2018-05-01 14:01:51 +02:00
fn exti0(_ctxt: exti0::Context) {}