syntax tweaks, relax check, add set_pending(), deal with imported types

- allow trailing commas in list of resources

- make task.resources optional

- add rtfm::set_pending function which can be used to force an interrupt into
  the pending state. This is a replacement of the old rtfm::request.
  rtfm::set_pending takes the Interrupt enum provided by the device crate as
  argument. (The old rtfm::request took a task function as argument)

- the user may want to use types they imported into the root of the crate. These
  types are not available in e.g. `mod idle` so `idle::Resources` *can't* be
  defined in that module. To workaround this problem `idle::Resources` will be
  defined in the root, with some other name, and then be re-exported in the
  `idle` module.

- remove the "a resource only used by one task should be local data" check. In
  some cases you do want a resource owned by a single task instead of local
  data since `init` can access resources but not a task local data.

1 files changed, 8 insertions, 13 deletions

diff --git a/macros/src/check.rs b/macros/src/check.rs
index ddd9abc..7c86326 100644
--- a/macros/src/check.rs
+++ b/macros/src/check.rs
@@ -1,17 +1,12 @@
-use syntax::Resources;
-use util::{Ceiling, Ceilings};
+use syntax::Statics;
+use util::Ceilings;
 
-pub fn resources(resources: &Resources, ceilings: &Ceilings) {
+pub fn resources(resources: &Statics, ceilings: &Ceilings) {
     for resource in resources.keys() {
-        if let Some(ceiling) = ceilings.get(&resource) {
-            assert_ne!(
-                *ceiling,
-                Ceiling::Owned,
-                "{} should be local data",
-                resource
-            );
-        } else {
-            panic!("resource {} is unused", resource)
-        }
+        assert!(
+            ceilings.get(&resource).is_some(),
+            "resource {} is unused",
+            resource
+        );
     }
 }