Added support for cpp2::-unqualified new

For `unique.new` and `shared.new`
And made default `new` available globally via `cpp2_new` wartification (the only thing we've injected outside the `cpp2` namespace so far...)

Author: hsutter

cpp2util.h

@@ -71,20 +71,20 @@ namespace cpp2 {
 //
 struct {
     template<typename T, typename... Args>
-    [[nodiscard]] auto new_(auto ...args) const -> std::unique_ptr<T> {
+    [[nodiscard]] auto cpp2_new(auto ...args) const -> std::unique_ptr<T> {
         return std::make_unique<T>(CPP2_FORWARD(args)...);
     }
 } unique;
 
 struct {
     template<typename T, typename... Args>
-    [[nodiscard]] auto new_(auto ...args) const -> std::unique_ptr<T> {
+    [[nodiscard]] auto cpp2_new(auto ...args) const -> std::shared_ptr<T> {
         return std::make_shared<T>(CPP2_FORWARD(args)...);
     }
 } shared;
 
 template<typename T, typename... Args>
-[[nodiscard]] auto new_(auto ...args) -> std::unique_ptr<T> {
+[[nodiscard]] auto cpp2_new(auto ...args) -> std::unique_ptr<T> {
     return std::make_unique<T>(CPP2_FORWARD(args)...);
 }
 
@@ -389,7 +389,9 @@ int main() {
 
 */
 
-
 }
 
+using cpp2::cpp2_new;
+
+
 #endif

cppfront.cpp

@@ -826,7 +826,7 @@ class cppfront
     auto emit(token const& n) -> void
     {
         if (n == "new") {
-            printer.print_cpp2("new_", n.position());
+            printer.print_cpp2("cpp2_new", n.position());
         }
         else {
             printer.print_cpp2(n, n.position());
@@ -893,6 +893,16 @@ class cppfront
     //
     auto emit(qualified_id_node const& n) -> void
     {
+        //  Implicit "cpp2::" qualification of "unique.new" and "shared.new"
+        if (n.ids.size() == 2 &&
+            (*n.ids[0].id->identifier == "unique" || *n.ids[0].id->identifier == "shared") &&
+            *n.ids[1].scope_op == "." &&
+            *n.ids[1].id->identifier == "new"
+            )
+        {
+            printer.print_cpp2("cpp2::", n.position());
+        }
+
         auto ident = std::string{};
         printer.emit_to_string(&ident);