diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2018-11-04 19:46:49 +0100 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2018-11-04 19:46:49 +0100 |
| commit | 22d758ddacddda429c9aaeaa0e132ae1c1fd4a2f (patch) | |
| tree | ed877bafbc9b926972091c91521cf5a1bdb35529 /tests/cpass/resource.rs | |
| parent | 37a0692a0fe5d9b41b65728d496b6856a1152dcc (diff) | |
fix codegen
Diffstat (limited to 'tests/cpass/resource.rs')
| -rw-r--r-- | tests/cpass/resource.rs | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/tests/cpass/resource.rs b/tests/cpass/resource.rs index 6a7a873..5718a4a 100644 --- a/tests/cpass/resource.rs +++ b/tests/cpass/resource.rs @@ -8,7 +8,7 @@ extern crate lm3s6965; extern crate panic_halt; extern crate rtfm; -use rtfm::app; +use rtfm::{app, Exclusive}; #[app(device = lm3s6965)] const APP: () = { @@ -59,11 +59,11 @@ const APP: () = { // owned by interrupt == `&mut` let _: &mut u32 = resources.O3; - // no `Mutex` when access from highest priority task - let _: &mut u32 = resources.S1; + // no `Mutex` proxy when access from highest priority task + let _: Exclusive<u32> = resources.S1; - // no `Mutex` when co-owned by cooperative (same priority) tasks - let _: &mut u32 = resources.S2; + // no `Mutex` proxy when co-owned by cooperative (same priority) tasks + let _: Exclusive<u32> = resources.S2; // `&` if read-only let _: &u32 = resources.S3; @@ -74,7 +74,7 @@ const APP: () = { // owned by interrupt == `&` if read-only let _: &u32 = resources.O5; - // no `Mutex` when co-owned by cooperative (same priority) tasks - let _: &mut u32 = resources.S2; + // no `Mutex` proxy when co-owned by cooperative (same priority) tasks + let _: Exclusive<u32> = resources.S2; } }; |
