From 013e4912833ebe5db705a0e8b3bd1c2ef62ef453 Mon Sep 17 00:00:00 2001
From: lemon <lsof@mailbox.org>
Date: Mon, 8 Aug 2022 10:22:43 +0200
Subject: expand macros at toplevel

---
 bootstrap/parse.c   | 7 +++++++
 bootstrap/test2.cff | 4 +++-
 2 files changed, 10 insertions(+), 1 deletion(-)

(limited to 'bootstrap')

diff --git a/bootstrap/parse.c b/bootstrap/parse.c
index fd2d703..ccdb510 100644
--- a/bootstrap/parse.c
+++ b/bootstrap/parse.c
@@ -2962,7 +2962,14 @@ parsedecl(decl_yielder_t yield, void *yarg, struct parser *P, bool toplevel) {
       free(cf.decls.d);
       lexexpect(P, ';');
       return;
+   } else if (lexmatch(P, &tok, TKident)) {
+      const struct decl *dm = finddecl(P, tok.str);
+      if (!dm || dm->t != Dmacro)
+         goto err;
+      parseexpandmacro(P, &dm->macro);
+      return parsedecl(yield, yarg, P, toplevel);
    } else {
+   err:
       fatal(P, tok.span, "expected declaration (near %s)",
             tok2str(tok));
    }
diff --git a/bootstrap/test2.cff b/bootstrap/test2.cff
index 0d5d086..a48247e 100644
--- a/bootstrap/test2.cff
+++ b/bootstrap/test2.cff
@@ -16,7 +16,9 @@ struct Bit<T> {
    !fn foo(x T) T { return ~x + Y; }
 }
 
-def Y = 3.3;
+defmacro def2(x, v) [def x = (v)]
+
+def2(Y, 3.3);
 
 enum union Value {
    None,
-- 
cgit v1.2.3