Auto register metafunctions (POC)

include/cpp2util.h

@@ -283,6 +283,15 @@
 #endif
 
 
+#if defined(_WIN32)
+#define CPPFRONTAPI __declspec(dllexport)
+#else
+#define CPPFRONTAPI  __attribute__ ((visibility ("default")))
+#endif
+
+#define CPP2_C_API extern "C" CPPFRONTAPI
+
+
 namespace cpp2 {
 
 
@@ -388,8 +397,8 @@ struct String
 #define CPP2_MESSAGE_PARAM  char const*
 #define CPP2_CONTRACT_MSG   cpp2::message_to_cstr_adapter
 
-auto message_to_cstr_adapter( CPP2_MESSAGE_PARAM msg ) -> CPP2_MESSAGE_PARAM { return msg ? msg : ""; }
-auto message_to_cstr_adapter( std::string const& msg ) -> CPP2_MESSAGE_PARAM { return msg.c_str(); }
+inline auto message_to_cstr_adapter( CPP2_MESSAGE_PARAM msg ) -> CPP2_MESSAGE_PARAM { return msg ? msg : ""; }
+inline auto message_to_cstr_adapter( std::string const& msg ) -> CPP2_MESSAGE_PARAM { return msg.c_str(); }
 
 class contract_group {
 public:
@@ -1111,7 +1120,9 @@ inline constexpr auto is( auto const& x, auto&& value ) -> bool
     else if constexpr (requires{ bool{x == value}; }) {
         return x == value;
     }
-    return false;
+    else {
+        return false;
+    }
 }
 
 
@@ -1996,4 +2007,41 @@ using cpp2::cpp2_new;
     #define CPP2_REQUIRES_(...) requires (__VA_ARGS__)
 #endif
 
+#ifdef _MSC_VER
+#pragma warning(push)
+#pragma warning(disable: 4251)
+#endif
+
+#include "cpp2reflect.h"
+
+// FIXME: Should be moved to somewhere inside `cpp2reflect.h` but idk how yet.
+namespace cpp2::meta {
+
+using mf_signature_in = void(cpp2::in<type_declaration>);
+using mf_signature_inout = void(type_declaration&);
+
+struct register_function {
+	register_function(const char* name, mf_signature_in* f);
+	register_function(const char* name, mf_signature_inout* f);
+	~register_function(); // TODO: Remove, used for testing.
+};
+
+// FIXME: These are *internal* to cppfront, and should never be exposed to users.
+using mf = std::variant<mf_signature_in*, mf_signature_inout*>;
+
+struct record
+{
+	std::string fully_qualified_name;
+	mf function;
+	// TODO: Extra info to give better diagnostics to the user?
+	// std::string where_its_defined;
+	// int line, column;
+};
+
+}
+
+#ifdef _MSC_VER
+#pragma warning(pop)
+#endif
+
 #endif

regression-tests/test-results/mixed-allcpp1-hello.cpp

@@ -1,3 +1,4 @@
+#line 1 "mixed-allcpp1-hello.cpp2"
 
 //  Step 1: rename .cpp to .cpp2
 

regression-tests/test-results/mixed-intro-example-three-loops.cpp

@@ -1,3 +1,4 @@
+#line 1 "mixed-intro-example-three-loops.cpp2"
 #include <iostream>
 #include <iomanip>
 #include <vector>

regression-tests/test-results/mixed-postexpression-with-capture.cpp

@@ -38,7 +38,6 @@ struct make_strings_ret { std::string a; std::string b; };
 [[nodiscard]] auto make_strings() -> make_strings_ret;
 #line 38 "mixed-postexpression-with-capture.cpp2"
 
-#line 1 "mixed-postexpression-with-capture.cpp2"
 
 //=== Cpp2 function definitions =================================================
 

regression-tests/test-results/pure2-bounds-safety-span.cpp

@@ -20,7 +20,6 @@
 auto print_and_decorate(auto const& thing) -> void;
 #line 17 "pure2-bounds-safety-span.cpp2"
 
-#line 1 "pure2-bounds-safety-span.cpp2"
 
 //=== Cpp2 function definitions =================================================
 

regression-tests/test-results/pure2-intro-example-three-loops.cpp

@@ -23,7 +23,6 @@ auto decorate_and_print(auto& thing) -> void;
 [[nodiscard]] auto main() -> int;
 #line 30 "pure2-intro-example-three-loops.cpp2"
 
-#line 1 "pure2-intro-example-three-loops.cpp2"
 
 //=== Cpp2 function definitions =================================================
 

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

@@ -19,7 +19,6 @@
 [[nodiscard]] auto main() -> int;
 #line 10 "pure2-stdio.cpp2"
 
-#line 1 "pure2-stdio.cpp2"
 
 //=== Cpp2 function definitions =================================================
 

regression-tests/test-results/pure2-type-safety-1.cpp

@@ -23,7 +23,6 @@ auto test_generic(auto const& x, auto const& msg) -> void;
 auto print(cpp2::in<std::string> msg, cpp2::in<bool> b) -> void;
 #line 35 "pure2-type-safety-1.cpp2"
 
-#line 1 "pure2-type-safety-1.cpp2"
 
 //=== Cpp2 function definitions =================================================
 

source/common.h

@@ -12,7 +12,7 @@
 
 
 #ifdef _MSC_VER
-#pragma warning(disable: 4456)
+#pragma warning(disable: 4456 4996)
 #endif
 
 #include "cpp2util.h"
@@ -86,27 +86,10 @@ struct source_line
 };
 
 
-using lineno_t = int32_t;
-using colno_t  = int32_t;   // not int16_t... encountered >80,000 char line during testing
+using cpp2::meta::lineno_t;
+using cpp2::meta::colno_t;
 
-struct source_position
-{
-    lineno_t    lineno;     // one-based offset into program source
-    colno_t     colno;      // one-based offset into line
-
-    source_position(lineno_t l = 1, colno_t  c = 1 )
-        : lineno{ l }, colno{ c }
-    {
-    }
-
-    auto operator<=>(source_position const&) const = default;
-
-    auto to_string() const
-        -> std::string
-    {
-        return "(" + std::to_string(lineno) + "," + std::to_string(colno) + ")";
-    }
-};
+using cpp2::meta::source_position;
 
 struct comment
 {
@@ -127,7 +110,7 @@ struct string_parts {
 
     string_parts(const std::string& beginseq,
                  const std::string& endseq,
-                 adds_sequences     strateg) 
+                 adds_sequences     strateg)
      : begin_seq{beginseq}
      , end_seq{endseq}
      , strategy{strateg}
@@ -144,16 +127,16 @@ struct string_parts {
     void clear() { parts.clear(); }
 
     auto generate() const -> std::string {
-        
-        if (parts.empty()) { 
-            return (strategy & on_the_beginning ? begin_seq : std::string{}) 
-                 + (strategy & on_the_end ? end_seq : std::string{}); 
+
+        if (parts.empty()) {
+            return (strategy & on_the_beginning ? begin_seq : std::string{})
+                 + (strategy & on_the_end ? end_seq : std::string{});
         }
 
-        auto result = std::visit(begin_visit{begin_seq, strategy}, 
+        auto result = std::visit(begin_visit{begin_seq, strategy},
                                  parts.front());
 
-        if (std::ssize(parts) > 1) { 
+        if (std::ssize(parts) > 1) {
             auto it1 = parts.cbegin();
             auto it2 = parts.cbegin()+1;
             for(;it2 != parts.cend(); ++it1, ++it2) {
@@ -466,6 +449,18 @@ auto to_upper(char c)
 }
 
 
+auto to_lower(char c)
+    -> char
+{
+    //  C toupper is only not-UB in [0,127] and returns the wrong type,
+    //  so wrap the range check and the type cast here in one place...
+    //  note the 126 (not 127) is intentional to avoid a GCC warning
+    if (0 <= c && c <= 126) { return static_cast<char>(std::tolower(c)); }
+    //  else
+    return c;
+}
+
+
 auto to_upper_and_underbar(std::string_view s)
     -> std::string
 {
@@ -478,6 +473,36 @@ auto to_upper_and_underbar(std::string_view s)
 }
 
 
+auto to_lower_and_collapsed_underbar(
+    std::string_view s,
+    bool prev_was_underbar = false,
+    bool drop_back_underbar = false
+    )
+    -> std::string
+{
+    auto ret = std::string{};
+    for (char c : s) {
+        if (std::isalnum(c)) {
+            ret.push_back(to_lower(c));
+            prev_was_underbar = false;
+        }
+        else if (!prev_was_underbar) {
+            ret.push_back('_');
+            prev_was_underbar = true;
+        }
+    }
+    if (
+        drop_back_underbar
+        && !ret.empty()
+        && ret.back() == '_'
+        )
+    {
+        ret.pop_back();
+    }
+    return ret;
+}
+
+
 auto is_empty_or_a_decimal_number(std::string_view s)
     -> bool
 {
@@ -918,7 +943,7 @@ class stackinstr
 
     static auto print(auto&& ee, std::string_view label) {
         std::cout << "\n=== Stack debug information: " << label << " stack ===\n";
-        for (auto& e: ee) 
+        for (auto& e: ee)
         if  (e.ptr) {
             std::cout
                 << "  " << std::setw(6)