Feature: Rust-style AST-aware macros #15

New Issue

j · 2024-03-01T09:07:56Z

j commented

2024-03-01 09:07:56 +00:00

Feature Progress

Decide on macro syntax
Define AST nodes to store that syntax in
Implement macro syntax within parser

Feature description

Many popular programming languages have code templating/generation syntax, commonly called "macros".

Implementing some kind of macro->expansion system would go a long way toward improving the usability of Conlang.

Possible syntax

Macro           = Path '!' DelimitedTokens ;
DelimitedTokens = `'('` Tokens* `')'` | `'{'` Tokens* `'}'` | `'['` Tokens* `']'` ;
Tokens          = DelimitedTokens | Token ;

Example

// Assume there's some macro `macro_foo!` in scope

fn main () {
    let x = macro_foo!{
        {}({}){({})} "this is a macro, the contents of this delimited token tree don't matter!"
    };
    x
}

# Feature Progress  - [ ] Decide on macro syntax - [ ] Define AST nodes to store that syntax in - [ ] Implement macro syntax within parser - [ ] # Feature description  Many popular programming languages have code templating/generation syntax, commonly called "macros". Implementing some kind of macro->expansion system would go a long way toward improving the usability of Conlang. ## Possible syntax ```ebnf Macro = Path '!' DelimitedTokens ; DelimitedTokens = `'('` Tokens* `')'` | `'{'` Tokens* `'}'` | `'['` Tokens* `']'` ; Tokens = DelimitedTokens | Token ; ``` # Example  ```rust // Assume there's some macro `macro_foo!` in scope fn main () { let x = macro_foo!{ {}({}){({})} "this is a macro, the contents of this delimited token tree don't matter!" }; x } ```

j added the

enhancement

label 2024-03-01 09:07:56 +00:00

Sign in to join this conversation.