fix(parse): add pretty_print_visualize for specialization template arguments

Author: JohelEGP

regression-tests/pure2-print.cpp2

@@ -99,6 +99,15 @@ outer: @print type = {
 
 }
 
+std: namespace = {
+    common_type: @struct @print specialize<outer, outer> type = {
+        type: type == outer;
+    }
+    numbers: namespace = {
+        pi_v: /*@print*/ specialize<outer> const double = pi_v<double>;
+    }
+}
+
 main: () = {
     outer::test();
 }

regression-tests/test-results/pure2-print.cpp

@@ -10,6 +10,15 @@
 #line 4 "pure2-print.cpp2"
 class outer;
 
+#line 102 "pure2-print.cpp2"
+namespace std {
+
+#line 106 "pure2-print.cpp2"
+    namespace numbers {
+
+    }
+}
+
 
 //=== Cpp2 type definitions and function declarations ===========================
 
@@ -84,6 +93,15 @@ CPP2_REQUIRES_ (cpp2::cmp_greater_eq(sizeof(Args)...,0))
 #line 100 "pure2-print.cpp2"
 };
 
+namespace std {
+    template<> class common_type<outer,outer> {
+        public: using type = outer;
+    };
+    namespace numbers {
+              /*@print*/
+    }
+}
+
 auto main() -> int;
 
 
@@ -200,6 +218,14 @@ requires (cpp2::cmp_greater_eq(sizeof(Args)...,0))
         return (... && args);  }
 
 #line 102 "pure2-print.cpp2"
+namespace std {
+
+#line 106 "pure2-print.cpp2"
+    namespace numbers {
+        template<> double const pi_v<outer> {pi_v<double>}; 
+    }
+}
+
 auto main() -> int{
     outer::test();
 }

regression-tests/test-results/pure2-print.cpp2.output

@@ -146,5 +146,11 @@ outer: type =
 
     all: <Args...: type>(in args...: Args) -> move bool = (... && args);
 }
+
+
+common_type: specialize<outer, outer> type = 
+{
+    public type: type == outer;
+}
  ok (all Cpp2, passes safety checks)
 

source/parse.h

@@ -4748,6 +4748,11 @@ auto pretty_print_visualize(declaration_node const& n, int indent, bool include_
         template_params += " " + pretty_print_visualize(*n.template_parameters, indent + 1, true);
     }
 
+    auto specialization_params = std::string{};
+    if (n.specialization_template_arguments) {
+        specialization_params += " " + pretty_print_visualize(*n.specialization_template_arguments, indent + 1);
+    }
+
     auto requires_clause = std::string{};
     if (n.requires_clause_expression) {
         requires_clause += " requires (" + pretty_print_visualize(*n.requires_clause_expression, indent) + ")";
@@ -4832,7 +4837,8 @@ auto pretty_print_visualize(declaration_node const& n, int indent, bool include_
         auto& type_id = std::get<declaration_node::an_object>(n.type);
         assert(type_id);
         ret += metafunctions
-            + template_params;
+            + template_params
+            + specialization_params;
         if (!n.has_wildcard_type()) {
             ret += " " + pretty_print_visualize(*type_id, indent);
         }
@@ -4844,6 +4850,7 @@ auto pretty_print_visualize(declaration_node const& n, int indent, bool include_
         assert(t);
         ret += metafunctions
             + template_params
+            + specialization_params
             + " " + pretty_print_visualize(*t)
             + initializer;
     }