fixed a few issues

- remove fatal error when homebrew isn't used
- added a simple build procedure to the Makefile
- added an example using suspend_never
- added completion signatures to inline_scheduler
- removed some gibberish from store_receiver.hpp

Author: dietmarkuehl

Makefile

@@ -107,7 +107,23 @@ endif
 # TODO: beman.execution.examples.modules
 # FIXME: beman.execution.execution-module.test beman.execution.stop-token-module.test
 
-default: module
+default: simple
+
+SIMPLE_BUILD = build/simple-$(shell uname -s)
+
+.PHONY: simple simple-configure simple-build simple-test
+
+simple: simple-test
+
+simple-config:
+	cmake -G Ninja -S . -B $(SIMPLE_BUILD) -DBEMAN_USE_MODULES=OFF -DCXXFLAGS=
+
+simple-build: simple-config
+	CXXFLAGS= cmake --build $(SIMPLE_BUILD)
+
+simple-test: simple-build
+	ctest --test-dir $(SIMPLE_BUILD)
+
 
 all: $(SANITIZERS)
 

cmake/prelude.cmake

@@ -124,7 +124,7 @@ if(
         # gersemi: on
     else()
         message(
-            FATAL_ERROR
+            STATUS
             "File does NOT EXISTS! ${CMAKE_CXX_STDLIB_MODULES_JSON}"
         )
     endif()

examples/CMakeLists.txt

@@ -17,7 +17,7 @@ if(PROJECT_IS_TOP_LEVEL)
     enable_testing()
 endif()
 
-set(TODO stop_token) #-dk:TODO
+set(TODO stop_token) #-dk:TODO including that causes a linker error
 set(EXAMPLES
     allocator
     doc-just
@@ -31,6 +31,7 @@ set(EXAMPLES
     sender-demo
     stackoverflow
     stopping
+    suspend_never
     when_all-cancel
 )
 

examples/suspend_never.cpp

@@ -0,0 +1,32 @@
+#include <beman/execution/execution.hpp>
+#include <iostream>
+#include <new>
+#include <memory>
+
+namespace ex = beman::execution;
+
+void* operator new(std::size_t n) {
+    auto p = std::malloc(n);
+    std::cout << "global new(" << n << ")->" << p << "\n";
+    return p;
+}
+void operator delete(void* ptr) noexcept {
+    std::cout << "global operator delete()" << ptr << "\n";
+}
+
+int main() {
+    struct resource: std::pmr::memory_resource {
+        void* do_allocate(std::size_t n, std::size_t) override {  return std::malloc(n); }
+        void do_deallocate(void* p, std::size_t n, std::size_t) override { std::free(p); } 
+        bool do_is_equal(const std::pmr::memory_resource& other) const noexcept override{
+            return this == &other;
+        }
+    } res{};
+
+    ex::sync_wait(
+        ex::write_env(
+            std::suspend_never(),
+            ex::env{ex::prop{ex::get_allocator, std::pmr::polymorphic_allocator<std::byte>(&res)}}
+        )
+    );
+}

include/beman/execution/detail/inline_scheduler.hpp

@@ -53,6 +53,10 @@ struct inline_scheduler {
     struct sender {
         using sender_concept        = ::beman::execution::sender_t;
         using completion_signatures = ::beman::execution::completion_signatures<::beman::execution::set_value_t()>;
+        template <typename...>
+        static consteval auto get_completion_signatures() noexcept -> completion_signatures {
+            return {};
+        }
 
         static constexpr auto get_env() noexcept -> env { return {}; }
 

include/beman/execution/detail/store_receiver.hpp

@@ -1,4 +1,4 @@
-//-dk:TODO rRW/// include/beman/execution/detail/store_receiver.hpp                  -*-C++-*-
+// include/beman/execution/detail/store_receiver.hpp                  -*-C++-*-
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
 #ifndef INCLUDED_INCLUDE_BEMAN_EXECUTION_DETAIL_STORE_RECEIVER