Merge pull request #1109 from NVIDIA/simplify-default-domain

port `let_[value|error|stopped]` to `transform_sender`
NVIDIA · Oct 14, 2023 · e3bb843 · e3bb843
2 parents a5c350f + f8bc3ee
commit e3bb843
Show file tree

Hide file tree

Showing 4 changed files with 120 additions and 127 deletions.
diff --git a/include/exec/__detail/__basic_sequence.hpp b/include/exec/__detail/__basic_sequence.hpp
@@ -111,7 +111,7 @@ namespace exec {
 
 #if STDEXEC_NVHPC() || (STDEXEC_GCC() && __GNUC__ < 13)
   namespace __detail {
-    template <class _Tag, class _Domain = stdexec::__default_domain<>>
+    template <class _Tag, class _Domain = stdexec::default_domain>
     struct make_sequence_expr_t {
       template <class _Data = stdexec::__, class... _Children>
       constexpr auto operator()(_Data __data = {}, _Children... __children) const {
@@ -122,7 +122,7 @@ namespace exec {
   }
 #else
   namespace __detail {
-    template <class _Tag, class _Domain = stdexec::__default_domain<>>
+    template <class _Tag, class _Domain = stdexec::default_domain>
     struct make_sequence_expr_t {
       template <class _Data = stdexec::__, class... _Children>
       constexpr auto operator()(_Data __data = {}, _Children... __children) const {
@@ -133,7 +133,7 @@ namespace exec {
   }
 #endif
 
-  template <class _Tag, class _Domain = stdexec::__default_domain<>>
+  template <class _Tag, class _Domain = stdexec::default_domain>
   inline constexpr __detail::make_sequence_expr_t<_Tag, _Domain> make_sequence_expr{};
 
   template <class _Tag, class _Data, class... _Children>

diff --git a/include/stdexec/__detail/__execution_fwd.hpp b/include/stdexec/__detail/__execution_fwd.hpp
@@ -23,12 +23,7 @@ namespace stdexec {
   struct __none_such;
 
   //////////////////////////////////////////////////////////////////////////////////////////////////
-  namespace __domain {
-    template <class _Base = __none_such>
-    struct __default_domain;
-  }
-
-  using __domain::__default_domain;
+  struct default_domain;
 
   //////////////////////////////////////////////////////////////////////////////////////////////////
   namespace __receivers {