fix(to_cpp1): emit template template parameters

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/pure2-bugfix-for-template-template-parameter.cpp

@@ -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/pure2-bugfix-for-template-template-parameter.cpp2.output

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

source/parse.h

@@ -2824,6 +2824,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

source/to_cpp1.h

@@ -3933,7 +3933,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
     {
@@ -4036,13 +4037,27 @@ class cppfront
             if (identifier == "_") {
                 printer.print_cpp2( "UnnamedTypeParam" + std::to_string(n.ordinal), identifier_pos );
             }
-            else {
+            else if (emit_identifier) {
                 printer.print_cpp2( identifier, identifier_pos );
             }
 
             return;
         }
 
+        //-----------------------------------------------------------------------
+        //  Handle template parameters
+
+        if (n.declaration->is_template()) {
+            printer.print_cpp2("template ", identifier_pos);
+            emit(*n.declaration->template_parameters, is_returns, true, false);
+            printer.print_cpp2(" class", identifier_pos);
+            if (emit_identifier) {
+                printer.print_cpp2(" ", identifier_pos);
+                printer.print_cpp2( identifier, identifier_pos );
+            }
+            return;
+        }
+
         //-----------------------------------------------------------------------
         //  Else handle template non-type parameters
 
@@ -4051,8 +4066,10 @@ class cppfront
 
         if (is_template_parameter) {
             emit( type_id );
-            printer.print_cpp2(" ", type_id.position());
+            if (emit_identifier) {
+                printer.print_cpp2(" ", type_id.position());
                 printer.print_cpp2( identifier, identifier_pos );
+            }
             return;
         }
 
@@ -4263,7 +4280,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
     {
@@ -4291,7 +4309,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;
             }