Port more macros fasee #1511

andrew-johnson-4 · 2025-05-16T01:05:42Z

Describe your changes

ported assert to macros 2.0
added macro::location helper to find source location of a term
macro::location works basically like a function returning the source location of any term, including terms that have been rewritten into the subtree

[ x ] I have performed a self-review of my code
[ x ] If it is a new feature, I have added thorough tests.
[ x ] I agree to release these changes under the terms of the permissive MIT license (1).

andrew-johnson-4 · 2025-05-16T02:21:54Z

old macros feel so rotten by comparison.

andrew-johnson-4 · 2025-05-16T02:24:51Z

no. the new macro system is not slower. I just had something running in the background.

andrew-johnson-4 added 4 commits May 15, 2025 18:20

test macros before switching syntax. that way is easier

41525b5

only 3 more main macro groups

638a6ad

location is unknown

3f3c6f4

ok

cf26631

andrew-johnson-4 added 2 commits May 15, 2025 20:27

if it works it works

b58d3c5

failing an assertion will fail...

7daed41

andrew-johnson-4 merged commit 5c9e68c into Lambda-Mountain-Compiler-Backend:main May 16, 2025
1 check passed

andrew-johnson-4 deleted the port-more-macros-fasee branch May 16, 2025 03:03