9 Commits

Author	SHA1	Message	Date
Paolo Tranquilli	f1233b14e8	Rust: fix generated hierarchy	2024-09-16 10:06:01 +02:00
Paolo Tranquilli	8f93f5e34b	Rust: move to Label<T> and mark unsafety of from_untyped	2024-09-13 17:17:19 +02:00
Paolo Tranquilli	faf1eeeb0d	Rust: introduce typed labels	2024-09-13 13:57:14 +02:00
Paolo Tranquilli	56e127849f	Rust/Codegen: fix generated list files	2024-09-09 12:31:09 +02:00
Paolo Tranquilli	3cd8aaf4b0	Rust: simplify rust doc test annotation	2024-09-09 08:59:17 +02:00
Paolo Tranquilli	8c5cc2efdc	Rust: generate test code from schema docstrings ... This generates test source files from code blocks in class docstrings. By default the test code is generated as is, but it can optionally: * be wrapped in a function providing an adequate context using `@rust.doc_test_function(name, *, lifetimes=(), return_type="()", **kwargs)`, with `kwargs` providing both generic and normal params depending on capitalization * be skipped altogether using `@rust.skip_doc_test` So for example an annotation like ```python @rust.doc_test_function("foo", lifetimes=("a",), T="Eq", x="&'a T", y="&'a T", return_type="&'a T") ``` will result in the following wrapper: ```rust fn foo<'a, T: Eq>(x: &'a T, y: &'a T) -> &'a T { // example code here } ```	2024-09-06 14:24:42 +02:00
Paolo Tranquilli	7e1290aa74	Rust: reuse shared rust trap library	2024-08-30 16:08:37 +02:00
Paolo Tranquilli	4f0fe1ce3a	Rust: bazel packaging	2024-08-30 13:05:46 +02:00
Paolo Tranquilli	f40901f391	Rust: archiving + skeleton def translator	2024-08-28 17:15:49 +02:00