polymorphism is now supported by concrete syntax

robertmuth · Jun 7, 2024 · afaab0f · afaab0f
1 parent 578e328
commit afaab0f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/FrontEnd/Makefile b/FrontEnd/Makefile
@@ -37,6 +37,8 @@ TESTS_CONCRETE = $(LANG_TESTS) $(TESTS) \
     Lib/bytestream_test.cw \
     Lib/checksum.cw \
     Lib/checksum_test.cw \
+    Lib/fmt.cw \
+    Lib/fmt_test.cw \
     Lib/hashtab32.cw \
     Lib/heapsort.cw \
     Lib/huffman.cw \
@@ -53,8 +55,7 @@ TESTS_CONCRETE = $(LANG_TESTS) $(TESTS) \
 
 #	Lib/flate.cw   ***
 #	Lib/flate_test.cw
-#	Lib/fmt.cw   poly
-#	Lib/fmt_test.cw
+
 
 # not the clean part will be run out of order but the early targets are not
 # relying on the cleaning so things work out with "make -j"

diff --git a/FrontEnd/parse.py b/FrontEnd/parse.py
@@ -1100,7 +1100,7 @@ def _ParseTopLevel(inp: Lexer):
         else:
             body = _ParseStatementList(inp, kw.column)
         return cwast.DefMacro(name.text, cwast.MACRO_PARAM_KIND[kind.text],
-                              params, gen_ids, body)
+                              params, gen_ids, body,**_ExtractAnnotations(kw))
     elif kw.text == "type":
         name = inp.match_or_die(TK_KIND.ID)
         inp.match_or_die(TK_KIND.ASSIGN)