fix(macro): $repr should be able to show the representation of a macro, when given one

Author: SuperFola

CHANGELOG.md

@@ -26,6 +26,7 @@
 ### Changed
 - `$repr` shows the correct representation for macros
 - `$symcat` accepts symbols and strings as its first argument
+- `math:pow` uses a more precise way of computing values when inputs are integers
 
 ### Removed
 

lib/std

@@ -585,7 +585,15 @@ namespace Ark::internal
                 checkMacroArgCountEq(node, 1, Language::Repr.data(), true);
 
                 const Node arg = node.constList()[1];
-                node.updateValueAndType(Node(NodeType::String, arg.repr()));
+                if (arg.nodeType() == NodeType::Symbol)
+                {
+                    if (const Node* arg_as_macro = findNearestMacro(arg.string()); arg_as_macro != nullptr)
+                        node.updateValueAndType(Node(NodeType::String, arg_as_macro->repr()));
+                    else
+                        node.updateValueAndType(Node(NodeType::String, arg.repr()));
+                }
+                else
+                    node.updateValueAndType(Node(NodeType::String, arg.repr()));
             }
             else if (name == Language::AsIs)
             {

src/arkreactor/Compiler/Macros/Processor.cpp

@@ -6,16 +6,16 @@ Signature
 Arguments
   → `list' (expected List), got "live" (String)
 
-In file /lib/std/List.ark:62
-   59 | # (list:sort [4 2 3])  # [1 2 4]
-   60 | # =end
-   61 | # @author https://github.com/SuperFola
-   62 | (let sort (fun (_L) (builtin__list:sort _L)))
+In file /lib/std/List.ark:63
+   60 | # (list:sort [4 2 3])  # [1 2 4]
+   61 | # =end
+   62 | # @author https://github.com/SuperFola
+   63 | (let sort (fun (_L) (builtin__list:sort _L)))
       | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-   63 |
-   64 | # @brief Generate a List of n copies of an element
+   64 |
+   65 | # @brief Generate a List of n copies of an element
 
-[   2] In function `list:sort' (/lib/std/List.ark:62)
+[   2] In function `list:sort' (/lib/std/List.ark:63)
 [   1] In global scope (tests/unittests/resources/DiagnosticsSuite/runtime/backtrace_builtin.ark:3)
 
 Current scope variables values:

tests/unittests/resources/DiagnosticsSuite/runtime/backtrace_builtin.expected

@@ -130,8 +130,14 @@
     (test:case "builtin macros" {
         (macro nil-type ($type nil))
         (macro bool-type ($type true))
-        (test:eq "Nil" nil-type)
-        (test:eq "Bool" bool-type) })
+        (macro show-repr (v) ($repr v))
+        (test:eq nil-type "Nil")
+        (test:eq bool-type "Bool")
+        (test:eq (show-repr (macro a 5)) "(macro a 5)")
+        # function macros are evaluated on instantiation
+        (test:eq (show-repr show-repr) "(macro show-repr (v) ($repr v))")
+        # constant macros are evaluated on declaration
+        (test:eq (show-repr nil-type) "(macro nil-type \"Nil\")") })
 
     (test:case "generate valid arkscript code with macros" {
         (macro make-func (retval) (fun () retval))