From 1a49d67490e3c1b9cb640d459890f4c880a52096 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Tue, 31 Aug 2021 19:50:50 +0200
Subject: validate unused dispatchers

closes #521
---
 ui/unknown-interrupt.rs     | 15 +++++++++++++++
 ui/unknown-interrupt.stderr |  5 +++++
 2 files changed, 20 insertions(+)
 create mode 100644 ui/unknown-interrupt.rs
 create mode 100644 ui/unknown-interrupt.stderr

(limited to 'ui')

diff --git a/ui/unknown-interrupt.rs b/ui/unknown-interrupt.rs
new file mode 100644
index 0000000..f2bc629
--- /dev/null
+++ b/ui/unknown-interrupt.rs
@@ -0,0 +1,15 @@
+#![no_main]
+
+#[rtic::app(device = lm3s6965, dispatchers = [UnknownInterrupt])]
+mod app {
+    #[shared]
+    struct Shared {}
+
+    #[local]
+    struct Local {}
+
+    #[init]
+    fn init(cx: init::Context) -> (Shared, Local, init::Monotonics) {
+        (Shared {}, Local {}, init::Monotonics())
+    }
+}
diff --git a/ui/unknown-interrupt.stderr b/ui/unknown-interrupt.stderr
new file mode 100644
index 0000000..d223102
--- /dev/null
+++ b/ui/unknown-interrupt.stderr
@@ -0,0 +1,5 @@
+error[E0599]: no variant or associated item named `UnknownInterrupt` found for enum `Interrupt` in the current scope
+ --> examples/unknown-interrupt.rs:3:47
+  |
+3 | #[rtic::app(device = lm3s6965, dispatchers = [UnknownInterrupt])]
+  |                                               ^^^^^^^^^^^^^^^^ variant or associated item not found in `Interrupt`
\ No newline at end of file
-- 
cgit v1.2.3