mirror of
https://github.com/rtic-rs/rtic.git
synced 2024-12-26 20:09:33 +01:00
7fdf16eab9
closes #69 this doesn't change functionality per se but improves diagnostics in some cases. Some hard errors have becomes warnings, for example: when `resources` is empty, or when `idle.path` is set to the default `idle` path.
54 lines
1.1 KiB
Rust
54 lines
1.1 KiB
Rust
#![deny(unsafe_code)]
|
|
#![deny(warnings)]
|
|
#![feature(const_fn)]
|
|
#![feature(proc_macro)]
|
|
#![no_std]
|
|
|
|
extern crate cortex_m_rtfm as rtfm;
|
|
extern crate stm32f103xx;
|
|
|
|
use rtfm::{app, Threshold};
|
|
|
|
app! {
|
|
device: stm32f103xx,
|
|
|
|
resources: {
|
|
static SHARED: bool = false;
|
|
},
|
|
|
|
tasks: {
|
|
EXTI0: {
|
|
path: exti0,
|
|
priority: 1,
|
|
resources: [SHARED],
|
|
},
|
|
|
|
EXTI1: {
|
|
path: exti1,
|
|
priority: 2,
|
|
resources: [SHARED],
|
|
},
|
|
},
|
|
}
|
|
|
|
fn init(_p: init::Peripherals, _r: init::Resources) {}
|
|
|
|
fn idle() -> ! {
|
|
loop {}
|
|
}
|
|
|
|
fn is_send<T>(_: &T) where T: Send {}
|
|
fn is_sync<T>(_: &T) where T: Sync {}
|
|
|
|
fn exti0(_t: &mut Threshold, r: EXTI0::Resources) {
|
|
// ERROR resource proxies can't be shared between tasks
|
|
is_sync(&r.SHARED);
|
|
//~^ error `*const ()` cannot be shared between threads safely
|
|
|
|
// ERROR resource proxies are not `Send`able across tasks
|
|
is_send(&r.SHARED);
|
|
//~^ error the trait bound `*const (): core::marker::Send` is not satisfied
|
|
}
|
|
|
|
fn exti1(_t: &mut Threshold, _r: EXTI1::Resources) {
|
|
}
|