oxidecomputer / idolatry

An experimental IPC interface definition language for Hubris.
Mozilla Public License 2.0
17 stars 11 forks source link

Add a "deprecated" attribute that generates #[deprecated] in rust source. #38

Open lzrd opened 11 months ago

lzrd commented 11 months ago

It is probably necessary to use some #[allow(deprecated)] in the generated code so that a well behaved user is not getting spurious warnings. How do we eventually evict a deprecated entry and maintain the serialization that has been established for the remaining entries?

diff --git a/idl/sprot.idol b/idl/sprot.idol index 0a0e1dd1..21921eaa 100644 --- a/idl/sprot.idol +++ b/idl/sprot.idol @@ -22,7 +22,8 @@ Interface( idempotent: true, ), "rot_state": (