code wiki / (root) / nx_macro_v2_test.nx

nx_macro_v2_test.nx

buildroot/runtime/nx_macro_v2_test.nx

3899 B112 linesdepth 6pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic macro

about

nx_macro_v2_test.nx -- exercise multi-line {} bodies + $$ident gensym.

imports: nx_kernel_v2.nx

imported by: nobody (leaf or entry point)

none

none

26	func double_three() -> nx_int { SAFE_DOUBLE(3) } called by 1: test_gensym_isolation
27	func double_seven() -> nx_int { SAFE_DOUBLE(7) } called by 1: test_gensym_isolation
45	func test_multiline_basic() -> nx_int called by 1: main
53	func test_gensym_isolation() -> nx_int called by 1: main calls 2: double_three double_seven
61	func test_gensym_within_one_body() -> nx_int called by 1: main calls 2: nx_term_const nx_k2_axiom
76	func test_multiple_axiom_macros() -> nx_int called by 1: main calls 1: nx_k2_chain_new
84	func main() -> nx_exit calls 4: test_multiline_basic test_gensym_isolation test_gensym_within_one_body test_multiple_axiom_macros