Macros

Current boundary:

• the def-based meta family (macros, alternatives, defaults, templates) is planned for a future release; none of it is part of the current compiler surface
• everything below describes intended design, not current behavior

Macros are intended to support source-level replacement. They will not be able to redefine the compiler-owned ownership surface: the bracketed operations ([mov], [bor], [ref], [drf], [cpy], [cln], …) and the binding sigils that remain in the language have fixed ownership, borrowing, and pointer semantics.

def '$'(a: any): mac = '.to_string'