Merge #353

353: Remove `libtock_platform`'s asynchronous API traits. r=jrvanwhy a=jrvanwhy These traits were designed to support a style of code I was calling "`'static` asynchrony", where upcalls are not tied to lifetimes and execution can potentially jump between unexpected modules. However [we never implemented `'static` asynchrony](#334), and I'm not sure it will ever be implemented. Because I don't expect these traits to ever be used, I think they should be removed from `libtock_platform`. Co-authored-by: Johnathan Van Why <[email protected]>
tock · Jan 4, 2022 · 022984f · 022984f
2 parents b2e6471 + 197685b
commit 022984f
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 92 deletions.
diff --git a/platform/src/async_traits.rs b/platform/src/async_traits.rs
diff --git a/platform/src/lib.rs b/platform/src/lib.rs
@@ -3,7 +3,6 @@
 
 pub mod allow_ro;
 pub mod allow_rw;
-mod async_traits;
 mod command_return;
 mod constants;
 mod default_config;
@@ -21,7 +20,6 @@ mod yield_types;
 
 pub use allow_ro::AllowRo;
 pub use allow_rw::AllowRw;
-pub use async_traits::{CallbackContext, FreeCallback, Locator, MethodCallback};
 pub use command_return::CommandReturn;
 pub use constants::{exit_id, syscall_class, yield_id};
 pub use default_config::DefaultConfig;