utilities for computing completions during constant evaluation (#2032)

Author: ericniebler

.vscode/launch.json

@@ -85,6 +85,17 @@
             "environment": [{"CUDA_LAUNCH_BLOCKING": "1"}],
             "args": ["--iterations=1000", "--N=512", "--run-stream-scheduler"],
         },
+        {
+            "name": "(Windows) Launch",
+            "type": "cppvsdbg",
+            "request": "launch",
+            "program": "${command:cmake.launchTargetPath}",
+            "args": [],
+            "stopAtEntry": false,
+            "cwd": "${fileDirname}",
+            "environment": [],
+            "console": "externalTerminal"
+        },
     ],
     "inputs": [
         // These require the Tasks Shell Input extension:

include/exec/detail/basic_sequence.hpp

@@ -127,6 +127,6 @@ namespace STDEXEC::__detail
   extern decltype(_DescriptorFn()) __desc_of_v<exec::__seqexpr<_DescriptorFn>>;
 
   template <auto _DescriptorFn>
-  extern __declfn_t<__minvoke<decltype(_DescriptorFn()), __q<exec::__basic_sequence_sender_t>>>
+  extern __mtype<__minvoke<decltype(_DescriptorFn()), __q<exec::__basic_sequence_sender_t>>>
     __demangle_v<exec::__seqexpr<_DescriptorFn>>;
 }  // namespace STDEXEC::__detail

include/exec/repeat_until.hpp

@@ -275,11 +275,11 @@ namespace experimental::execution
         using __eptr_completion_t        = set_error_t(std::exception_ptr);
         constexpr auto __eptr_completion = (__eptr_completion_t *) nullptr;
 
-        STDEXEC_COMPLSIGS_LET(
-          __sigs,
+        auto __sigs =
           exec::transform_completion_signatures(get_completion_signatures<__child_t, _Env...>(),
                                                 __transform_values<__child_t>,
-                                                __transform_errors))
+                                                __transform_errors);
+        STDEXEC_IF_OK(__sigs)
         {
           // The repeat_until sender is a dependent sender if one of the following is
           // true:

include/exec/static_thread_pool.hpp

@@ -45,7 +45,6 @@
 #include "sequence/iterate.hpp"
 #include "sequence_senders.hpp"
 
-#include <algorithm>
 #include <compare>
 #include <condition_variable>
 #include <cstdint>

include/nvexec/nvtx.cuh

@@ -196,7 +196,7 @@ namespace nvexec = nv::execution;
 namespace STDEXEC::__detail
 {
   template <nvexec::_strm::nvtx::kind Kind, class Sender>
-  extern __declfn_t<nvexec::_strm::nvtx::nvtx_sender<Kind, __demangle_t<Sender>>>
+  extern __mtype<nvexec::_strm::nvtx::nvtx_sender<Kind, __demangle_t<Sender>>>
     __demangle_v<nvexec::_strm::nvtx::nvtx_sender<Kind, Sender>>;
 }  // namespace STDEXEC::__detail
 

include/nvexec/stream/algorithm_base.cuh

@@ -145,7 +145,7 @@ namespace nvexec = nv::execution;
 namespace STDEXEC::__detail
 {
   template <class Sender, class InitT, class Fun, class DerivedSender>
-  extern __declfn_t<nvexec::_strm::__algo_range_init_fun::
-                      sender<__demangle_t<Sender>, InitT, Fun, __demangle_t<DerivedSender>>>
+  extern __mtype<nvexec::_strm::__algo_range_init_fun::
+                   sender<__demangle_t<Sender>, InitT, Fun, __demangle_t<DerivedSender>>>
     __demangle_v<nvexec::_strm::__algo_range_init_fun::sender<Sender, InitT, Fun, DerivedSender>>;
 }  // namespace STDEXEC::__detail

include/nvexec/stream/bulk.cuh

@@ -440,12 +440,11 @@ namespace nvexec = nv::execution;
 namespace STDEXEC::__detail
 {
   template <class Sender, class Shape, class Fun>
-  inline constexpr __declfn_t<nvexec::_strm::bulk_sender<__demangle_t<Sender>, Shape, Fun>>
+  inline constexpr __mtype<nvexec::_strm::bulk_sender<__demangle_t<Sender>, Shape, Fun>>
     __demangle_v<nvexec::_strm::bulk_sender<Sender, Shape, Fun>>{};
 
   template <class Sender, class Shape, class Fun>
-  inline constexpr __declfn_t<
-    nvexec::_strm::multi_gpu_bulk_sender<__demangle_t<Sender>, Shape, Fun>>
+  inline constexpr __mtype<nvexec::_strm::multi_gpu_bulk_sender<__demangle_t<Sender>, Shape, Fun>>
     __demangle_v<nvexec::_strm::multi_gpu_bulk_sender<Sender, Shape, Fun>>{};
 }  // namespace STDEXEC::__detail
 

include/nvexec/stream/continues_on.cuh

@@ -284,7 +284,7 @@ namespace nvexec = nv::execution;
 namespace STDEXEC::__detail
 {
   template <class Scheduler, class Sender>
-  extern __declfn_t<nvexec::_strm::continues_on_sender<Scheduler, __demangle_t<Sender>>>
+  extern __mtype<nvexec::_strm::continues_on_sender<Scheduler, __demangle_t<Sender>>>
     __demangle_v<nvexec::_strm::continues_on_sender<Scheduler, Sender>>;
 }  // namespace STDEXEC::__detail
 

include/nvexec/stream/ensure_started.cuh

@@ -430,7 +430,7 @@ namespace nvexec = nv::execution;
 namespace STDEXEC::__detail
 {
   template <class Sender>
-  extern __declfn_t<nvexec::_strm::ensure_started_sender<__demangle_t<Sender>>>
+  extern __mtype<nvexec::_strm::ensure_started_sender<__demangle_t<Sender>>>
     __demangle_v<nvexec::_strm::ensure_started_sender<Sender>>;
 }  // namespace STDEXEC::__detail
 

include/nvexec/stream/launch.cuh

@@ -204,7 +204,7 @@ namespace nvexec = nv::execution;
 namespace STDEXEC::__detail
 {
   template <class Sender, class Fun>
-  extern __declfn_t<nvexec::_strm::launch_sender<__demangle_t<Sender>, Fun>>
+  extern __mtype<nvexec::_strm::launch_sender<__demangle_t<Sender>, Fun>>
     __demangle_v<nvexec::_strm::launch_sender<Sender, Fun>>;
 }  // namespace STDEXEC::__detail