From 81275bfa4f41e2066770087f3a33cad4227eab41 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Thu, 13 Jun 2019 23:56:59 +0200
Subject: rtfm-syntax refactor + heterogeneous multi-core support

---
 examples/not-send.rs | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'examples/not-send.rs')

diff --git a/examples/not-send.rs b/examples/not-send.rs
index c1b6bcd..f240e51 100644
--- a/examples/not-send.rs
+++ b/examples/not-send.rs
@@ -5,11 +5,10 @@
 #![no_main]
 #![no_std]
 
-extern crate panic_halt;
-
 use core::marker::PhantomData;
 
 use cortex_m_semihosting::debug;
+use panic_halt as _;
 use rtfm::app;
 
 pub struct NotSend {
@@ -38,13 +37,13 @@ const APP: () = {
     }
 
     #[task(priority = 2, resources = [SHARED])]
-    fn baz(mut c: baz::Context) {
+    fn baz(c: baz::Context) {
         // scenario 2: resource shared between tasks that run at the same priority
         *c.resources.SHARED = Some(NotSend { _0: PhantomData });
     }
 
     #[task(priority = 2, resources = [SHARED])]
-    fn quux(mut c: quux::Context) {
+    fn quux(c: quux::Context) {
         // scenario 2
         let _not_send = c.resources.SHARED.take().unwrap();
 
-- 
cgit v1.2.3


From 9195038c87703fc94b6e99f6de593886d51c2b19 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Wed, 10 Jul 2019 22:42:44 +0200
Subject: implement RFC #212

---
 examples/not-send.rs | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

(limited to 'examples/not-send.rs')

diff --git a/examples/not-send.rs b/examples/not-send.rs
index f240e51..d27cc82 100644
--- a/examples/not-send.rs
+++ b/examples/not-send.rs
@@ -17,7 +17,10 @@ pub struct NotSend {
 
 #[app(device = lm3s6965)]
 const APP: () = {
-    static mut SHARED: Option<NotSend> = None;
+    struct Resources {
+        #[init(None)]
+        shared: Option<NotSend>,
+    }
 
     #[init(spawn = [baz, quux])]
     fn init(c: init::Context) {
@@ -36,16 +39,16 @@ const APP: () = {
         // scenario 1
     }
 
-    #[task(priority = 2, resources = [SHARED])]
+    #[task(priority = 2, resources = [shared])]
     fn baz(c: baz::Context) {
         // scenario 2: resource shared between tasks that run at the same priority
-        *c.resources.SHARED = Some(NotSend { _0: PhantomData });
+        *c.resources.shared = Some(NotSend { _0: PhantomData });
     }
 
-    #[task(priority = 2, resources = [SHARED])]
+    #[task(priority = 2, resources = [shared])]
     fn quux(c: quux::Context) {
         // scenario 2
-        let _not_send = c.resources.SHARED.take().unwrap();
+        let _not_send = c.resources.shared.take().unwrap();
 
         debug::exit(debug::EXIT_SUCCESS);
     }
-- 
cgit v1.2.3