Bugfix for missing semaphore in typed template parameters.

Author: MaxSagebaum

regression-tests/pure2-variadics.cpp2

@@ -6,6 +6,12 @@ x: <Ts...: type> type = {
     func: () = {}
 }
 
+//  int pack expansion
+y: <Ts...: int> type = {
+
+    func: () ( 0 + ... + Ts);
+}
+
 left_fold_print: <Args...: type> (inout out: std::ostream, args...: Args) = {
     //  Binary left fold expression
     (out << ... << args);
@@ -31,4 +37,6 @@ main: ()
 
     std::cout << "\nfirst all() returned (all(true, true, true, false))$";
     std::cout << "\nsecond all() returned " << all(true, true, true, true) as std::string;
+
+    std::cout << "\nsum of (1, 2, 3, 100) is: " << y<1,2,3,100>().func() as std::string;
 }

regression-tests/test-results/gcc-13/pure2-variadics.cpp.execution

@@ -3,4 +3,5 @@ plu
 abr
 3.14word-1500
 first all() returned false
-second all() returned true
+second all() returned true
+sum of (1, 2, 3, 100) is: 106

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

@@ -12,6 +12,10 @@
 template<typename ...Ts> class x;
 
 
+#line 10 "pure2-variadics.cpp2"
+template<int ...Ts> class y;
+
+
 //=== Cpp2 type definitions and function declarations ===========================
 
 #line 1 "pure2-variadics.cpp2"
@@ -29,12 +33,23 @@ template<typename ...Ts> class x {
 #line 7 "pure2-variadics.cpp2"
 };
 
+//  int pack expansion
+template<int ...Ts> class y {
+
+    public: [[nodiscard]] static auto func() -> auto;
+    public: y() = default;
+    public: y(y const&) = delete; /* No 'that' constructor, suppress copy */
+    public: auto operator=(y const&) -> void = delete;
+
+#line 13 "pure2-variadics.cpp2"
+};
+
 template<typename ...Args> auto left_fold_print(std::ostream& out, Args const& ...args) -> void;
 
-#line 14 "pure2-variadics.cpp2"
+#line 20 "pure2-variadics.cpp2"
 template<typename ...Args> [[nodiscard]] auto all(Args const& ...args) -> bool;
 
-#line 18 "pure2-variadics.cpp2"
+#line 24 "pure2-variadics.cpp2"
 template     <typename ...Args> [[nodiscard]] auto make_string(Args&& ...args) -> auto;
 
 template  <typename T, typename ...Args> [[nodiscard]] auto make(Args&& ...args) -> auto;
@@ -48,7 +63,10 @@ auto main() -> int;
 #line 6 "pure2-variadics.cpp2"
     template <typename ...Ts> auto x<Ts...>::func() -> void{}
 
-#line 9 "pure2-variadics.cpp2"
+#line 12 "pure2-variadics.cpp2"
+    template <int ...Ts> [[nodiscard]] auto y<Ts...>::func() -> auto { return (0 + ... + Ts);  }
+
+#line 15 "pure2-variadics.cpp2"
 template<typename ...Args> auto left_fold_print(std::ostream& out, Args const& ...args) -> void{
     //  Binary left fold expression
     (out << ... << args);
@@ -64,7 +82,7 @@ template  <typename T, typename ...Args> [[nodiscard]] auto make(Args&& ...args)
 
 auto main() -> int
 {
-    x<int,long,std::string> auto_24_5 {}; 
+    x<int,long,std::string> auto_30_5 {}; 
 
     std::cout << std::string("xyzzy", 3) << "\n";
     std::cout << make_string("plugh", cpp2::u8{3}) << "\n";
@@ -74,5 +92,7 @@ auto main() -> int
 
     std::cout << "\nfirst all() returned " + cpp2::to_string(all(true, true, true, false));
     std::cout << "\nsecond all() returned " << cpp2::as_<std::string>(all(true, true, true, true));
+
+    std::cout << "\nsum of (1, 2, 3, 100) is: " << cpp2::as_<std::string>(CPP2_UFCS(func)(y<1,2,3,100>()));
 }
 

source/to_cpp1.h

@@ -4291,7 +4291,10 @@ class cppfront
         if (is_template_parameter) {
             emit( type_id );
             printer.print_cpp2(" ", type_id.position());
-                printer.print_cpp2( identifier, identifier_pos );
+            if (n.declaration->is_variadic) {
+                printer.print_cpp2("...",identifier_pos);
+            }
+            printer.print_cpp2( identifier, identifier_pos );
             return;
         }