Dump variable template specializations

Signed-off-by: Roberto Raggi <roberto.raggi@gmail.com>

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*>