diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-07-23 20:51:52 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-07-23 20:51:52 -0500 |
| commit | 05feb7b018817f88123900c9196e830d51608a5f (patch) | |
| tree | a54556e201b9728030cd4228537090a6fe7d310a | |
| parent | f3b397f460bf06ee843bd429d332bb04768e99d6 (diff) | |
update examples
| -rw-r--r-- | examples/full-syntax.rs | 7 | ||||
| -rw-r--r-- | examples/modules.rs | 11 |
2 files changed, 2 insertions, 16 deletions
diff --git a/examples/full-syntax.rs b/examples/full-syntax.rs index d146678..7ac42e3 100644 --- a/examples/full-syntax.rs +++ b/examples/full-syntax.rs @@ -25,9 +25,6 @@ app! { }, idle: { - locals: { - static COUNTER: u32 = 0; - }, path: idle_, // this is a path to the "idle" function resources: [OWNED, SHARED], }, @@ -48,10 +45,8 @@ app! { fn init_(_p: init::Peripherals, _r: init::Resources) {} -fn idle_(t: &mut Threshold, l: &mut idle::Locals, mut r: idle::Resources) -> ! { +fn idle_(t: &mut Threshold, mut r: idle::Resources) -> ! { loop { - *l.COUNTER += 1; - **r.OWNED != **r.OWNED; if **r.OWNED { diff --git a/examples/modules.rs b/examples/modules.rs index 5b23d0e..f938461 100644 --- a/examples/modules.rs +++ b/examples/modules.rs @@ -25,9 +25,6 @@ app! { }, idle: { - locals: { - static COUNTER: u32 = 0; - }, path: main::idle, resources: [OWNED, SHARED], }, @@ -51,14 +48,8 @@ mod main { pub fn init(_p: ::init::Peripherals, _r: ::init::Resources) {} - pub fn idle( - t: &mut Threshold, - l: &mut ::idle::Locals, - mut r: ::idle::Resources, - ) -> ! { + pub fn idle(t: &mut Threshold, mut r: ::idle::Resources) -> ! { loop { - *l.COUNTER += 1; - **r.OWNED != **r.OWNED; if **r.OWNED { |