Added test for inspect expression with multiple types

Author: hsutter

regression-tests/pure2-inspect-expression-in-generic-function-multiple-types.cpp2

@@ -0,0 +1,30 @@
+main: () -> int = {
+    v: std::variant<int, double> = 42.0;
+    a: std::any = "xyzzy" as std::string;
+    o: std::optional<int> = ();
+
+    test_generic(3.14);
+    test_generic(v);
+    test_generic(a);
+    test_generic(o);
+
+    v = 1;
+    a = 2;
+    o = 3;
+    test_generic(42);
+    test_generic(v);
+    test_generic(a);
+    test_generic(o);
+}
+
+test_generic: ( x: _ ) = {
+    std::cout
+        << std::setw(30) << typeid(x).name() 
+        << " value is "
+        << inspect x -> std::string {
+            is int = "integer " + std::to_string(x as int);
+            is std::string = '"' + x as std::string + '"';
+            is _   = "not an int or string";
+        }
+        << "\n";
+}

regression-tests/test-results/pure2-inspect-expression-in-generic-function-multiple-types.cpp

@@ -0,0 +1,43 @@
+// ----- Cpp2 support -----
+#define CPP2_USE_MODULES         Yes
+#include "cpp2util.h"
+
+
+#line 1 "pure2-inspect-expression-in-generic-function-multiple-types.cpp2"
+[[nodiscard]] auto main() -> int;
+#line 20 "pure2-inspect-expression-in-generic-function-multiple-types.cpp2"
+auto test_generic(auto const& x) -> void;
+
+//=== Cpp2 definitions ==========================================================
+
+#line 1 "pure2-inspect-expression-in-generic-function-multiple-types.cpp2"
+[[nodiscard]] auto main() -> int{
+    std::variant<int,double> v { 42.0 }; 
+    std::any a { cpp2::as<std::string>("xyzzy") }; 
+    std::optional<int> o {  }; 
+
+    test_generic(3.14);
+    test_generic(v);
+    test_generic(a);
+    test_generic(o);
+
+    v = 1;
+    a = 2;
+    o = 3;
+    test_generic(42);
+    test_generic(v);
+    test_generic(a);
+    test_generic(o);
+}
+
+auto test_generic(auto const& x) -> void{
+    std::cout 
+        << std::setw(30) << typeid(x).name() 
+        << " value is " 
+        << [&] () -> std::string { auto&& __expr = x;
+            if (cpp2::is<int>(__expr)) { if constexpr( requires{"integer " + std::to_string(cpp2::as<int>(x));} ) if constexpr( std::is_convertible_v<CPP2_TYPEOF("integer " + std::to_string(cpp2::as<int>(x))),std::string> ) return "integer " + std::to_string(cpp2::as<int>(x)); else return std::string{}; else return std::string{}; }
+            else if (cpp2::is<std::string>(__expr)) { if constexpr( requires{'"' + cpp2::as<std::string>(x) + '"';} ) if constexpr( std::is_convertible_v<CPP2_TYPEOF('"' + cpp2::as<std::string>(x) + '"'),std::string> ) return '"' + cpp2::as<std::string>(x) + '"'; else return std::string{}; else return std::string{}; }
+            else return "not an int or string"; }
+        ()
+        << "\n";
+}

regression-tests/test-results/pure2-inspect-expression-in-generic-function-multiple-types.cpp2

@@ -0,0 +1,30 @@
+main: () -> int = {
+    v: std::variant<int, double> = 42.0;
+    a: std::any = "xyzzy" as std::string;
+    o: std::optional<int> = ();
+
+    test_generic(3.14);
+    test_generic(v);
+    test_generic(a);
+    test_generic(o);
+
+    v = 1;
+    a = 2;
+    o = 3;
+    test_generic(42);
+    test_generic(v);
+    test_generic(a);
+    test_generic(o);
+}
+
+test_generic: ( x: _ ) = {
+    std::cout
+        << std::setw(30) << typeid(x).name() 
+        << " value is "
+        << inspect x -> std::string {
+            is int = "integer " + std::to_string(x as int);
+            is std::string = '"' + x as std::string + '"';
+            is _   = "not an int or string";
+        }
+        << "\n";
+}

regression-tests/test-results/pure2-inspect-expression-in-generic-function-multiple-types.cpp2-output

@@ -0,0 +1,2 @@
+pure2-inspect-expression-in-generic-function-multiple-types.cpp2... ok (all Cpp2, passes safety checks)
+