Macro fungi_lang::fgi_listing_expect
source · macro_rules! fgi_listing_expect {
[ [ $($outcome:tt)+ ] $($e:tt)+ ] => { ... };
}
Expand description
Fungi program listing that we test.
These program listings give, e.g., tutorial examples or examples from technical reports.
Under the hood, this macro creates a helper function that runs in a separate thread and returns whether the given Fungi program listing parses and type checks.