From 1f1cf84ab41ec26ac58c31260667f97507def0d0 Mon Sep 17 00:00:00 2001 From: Jorge Aparicio Date: Tue, 18 Jul 2017 15:14:39 -0500 Subject: add cfail tests --- tests/cfail/idle.rs | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 tests/cfail/idle.rs (limited to 'tests/cfail/idle.rs') diff --git a/tests/cfail/idle.rs b/tests/cfail/idle.rs new file mode 100644 index 0000000..e517170 --- /dev/null +++ b/tests/cfail/idle.rs @@ -0,0 +1,16 @@ +#![deny(warnings)] +#![feature(proc_macro)] + +extern crate cortex_m_rtfm as rtfm; +extern crate stm32f103xx; + +use rtfm::app; + +app! { //~ error mismatched types + device: stm32f103xx, +} + +fn init(_p: init::Peripherals) {} + +// ERROR `idle` must be a diverging function +fn idle() {} -- cgit v1.2.3