Dump variable template specializations

Signed-off-by: Roberto Raggi <[email protected]>

Author: robertoraggi

src/parser/cxx/symbol_printer.cc

@@ -288,11 +288,35 @@ struct DumpSymbols {
     if (symbol->isConstinit()) out << " constinit";
     if (symbol->isInline()) out << " inline";
 
-    out << std::format(" {}\n", to_string(symbol->type(), symbol->name()));
+    out << std::format(" {}", to_string(symbol->type(), symbol->name()));
+
+    if (!symbol->templateArguments().empty()) {
+      out << "<";
+      std::string_view sep = "";
+      for (auto arg : symbol->templateArguments()) {
+        auto symbol = std::get_if<Symbol*>(&arg);
+        if (!symbol) continue;
+        auto sym = *symbol;
+        if (sym->isTypeAlias()) {
+          out << std::format("{}{}", sep, to_string(sym->type()));
+        } else if (auto var = symbol_cast<VariableSymbol>(sym)) {
+          auto cst = std::get<std::intmax_t>(var->constValue().value());
+          out << std::format("{}{}", sep, cst);
+        } else {
+          cxx_runtime_error("todo");
+        }
+        sep = ", ";
+      }
+      out << std::format(">");
+    }
+
+    out << "\n";
 
     if (symbol->templateParameters()) {
       dumpScope(symbol->templateParameters());
     }
+
+    dumpSpecializations(symbol->specializations());
   }
 
   void operator()(FieldSymbol* symbol) {

tests/unit_tests/sema/template_var_01.cc

@@ -6,3 +6,12 @@ constexpr bool is_integral_v = __is_integral(T);
 static_assert(is_integral_v<int>);
 static_assert(is_integral_v<char>);
 static_assert(is_integral_v<void*> == false);
+
+// clang-format off
+//      CHECK:namespace
+// CHECK-NEXT:  template variable constexpr const bool is_integral_v
+// CHECK-NEXT:    parameter typename<0, 0> T
+// CHECK-NEXT:    [specializations]
+// CHECK-NEXT:      variable constexpr bool is_integral_v<int>
+// CHECK-NEXT:      variable constexpr bool is_integral_v<char>
+// CHECK-NEXT:      variable constexpr bool is_integral_v<void*>