Something went wrong. Try again.
forked from verus-lang/verus
Something went wrong. Try again.
4 folders · 1 file
README.md
dump-syntax #
Little utility to parse a Rust source file into a syn::File and print out a
debug representation of the syntax tree.
heapsize #
An example implementation of a derive macro that generates trait impls.
lazy-static #
An example of parsing a custom syntax within a functionlike!(...) procedural
macro. Demonstrates how to trigger custom warnings and error messages on
individual tokens of the input.
trace-var #
An attribute procedural macro that uses a syntax tree traversal to transform certain syntax tree nodes in a function body.