fix(cpp1): emit template template parameters

Author: JohelEGP

regression-tests/pure2-bugfix-for-template-template-parameter.cpp2

@@ -0,0 +1,5 @@
+t: @struct <T: <_, _: _>> type = { }
+
+u: @struct <T, V: _> type = { }
+
+main: () = { _ = :t<u> = (); }

regression-tests/test-results/gcc-13/pure2-bugfix-for-template-template-parameter.cpp.execution

@@ -0,0 +1,28 @@
+
+#define CPP2_IMPORT_STD          Yes
+
+//=== Cpp2 type declarations ====================================================
+
+
+#include "cpp2util.h"
+
+template<template <typename , auto> class T> class t;
+
+template<typename T, auto V> class u;
+
+
+//=== Cpp2 type definitions and function declarations ===========================
+
+template<template <typename , auto> class T> class t {};
+
+template<typename T, auto V> class u {};
+
+auto main() -> int;
+
+
+//=== Cpp2 function definitions =================================================
+
+
+#line 5 "pure2-bugfix-for-template-template-parameter.cpp2"
+auto main() -> int{static_cast<void>(t<u>{}); }
+

regression-tests/test-results/gcc-13/pure2-bugfix-for-template-template-parameter.cpp.output

@@ -0,0 +1,2 @@
+pure2-bugfix-for-template-template-parameter.cpp2... ok (all Cpp2, passes safety checks)
+

regression-tests/test-results/pure2-bugfix-for-template-template-parameter.cpp

@@ -3889,7 +3889,8 @@ class cppfront
     auto emit(
         parameter_declaration_node const& n,
         bool                              is_returns            = false,
-        bool                              is_template_parameter = false
+        bool                              is_template_parameter = false,
+        bool                              emit_identifier       = true
     )
         -> void
     {
@@ -3972,15 +3973,32 @@ class cppfront
         //  Handle type parameters
 
         if (n.declaration->is_type()) {
+            assert (n.declaration->identifier);
             printer.print_cpp2("typename ", n.declaration->identifier->position());
             if (n.declaration->is_variadic) {
                 printer.print_cpp2(
                     "...",
                     n.declaration->identifier->position()
                 );
             }
+            if (emit_identifier) {
+                emit(*n.declaration->identifier);
+            }
+            return;
+        }
+
+        //-----------------------------------------------------------------------
+        //  Handle template parameters
+
+        if (n.declaration->is_template()) {
             assert (n.declaration->identifier);
-            emit(*n.declaration->identifier);
+            printer.print_cpp2("template ", n.declaration->identifier->position());
+            emit(*n.declaration->template_parameters, is_returns, true, false);
+            printer.print_cpp2(" class", n.declaration->identifier->position());
+            if (emit_identifier) {
+                printer.print_cpp2(" ", n.declaration->identifier->position());
+                emit(*n.declaration->identifier);
+            }
             return;
         }
 
@@ -3992,9 +4010,11 @@ class cppfront
 
         if (is_template_parameter) {
             emit( type_id );
-            printer.print_cpp2(" ", type_id.position());
-            assert (n.declaration->identifier);
-            emit(*n.declaration->identifier);
+            if (emit_identifier) {
+                printer.print_cpp2(" ", type_id.position());
+                assert (n.declaration->identifier);
+                emit(*n.declaration->identifier);
+            }
             return;
         }
 
@@ -4208,7 +4228,8 @@ class cppfront
     auto emit(
         parameter_declaration_list_node const& n,
         bool                                   is_returns            = false,
-        bool                                   is_template_parameter = false
+        bool                                   is_template_parameter = false,
+        bool                                   emit_identifier       = true
     )
         -> void
     {
@@ -4236,7 +4257,7 @@ class cppfront
             }
             prev_pos = x->position();
             assert(x);
-            emit(*x, is_returns, is_template_parameter);
+            emit(*x, is_returns, is_template_parameter, emit_identifier);
             if (!x->declaration->has_name("this")) {
                 first = false;
             }

regression-tests/test-results/pure2-bugfix-for-template-template-parameter.cpp2.output

@@ -2822,6 +2822,8 @@ struct declaration_node
 
     auto is_function_expression () const -> bool
         { return is_function() && !identifier;  }
+    auto is_template() const -> bool
+        { return template_parameters != nullptr; }
 
     auto is_polymorphic() const // has base types or virtual functions
         -> bool