3903438860
Notable things in this commit: * refactors `__indirect_binary_left_foldable`, making it slightly different (but equivalent) to _`indirect-binary-left-foldable`_, which improves readability (a [patch to the Working Paper][patch] was made) * omits `__cpo` namespace, since it is not required for implementing niebloids (a cleanup should happen in 2024) * puts tests ensuring invocable robustness and dangling correctness inside the correctness testing to ensure that the algorithms' results are still correct [patch]: https://github.com/cplusplus/draft/pull/6734
The "module partitions" for the std module
The files in this directory contain the exported named declarations per header. These files are used for the following purposes:
- During testing exported named declarations are tested against the named declarations in the associated header. This excludes reserved names; they are not exported.
- Generate the module std.
These use cases require including the required headers for these "partitions" at different locations. This means the user of these "partitions" are responsible for including the proper header and validating whether the header can be loaded in the current libc++ configuration. For example "include " fails when locales are not available. The "partitions" use the libc++ feature macros to export the declarations available in the current configuration. This configuration is available if the user includes the `__config' header.
We use .inc files that we include from the top-level module instead of
using real C++ module partitions. This is a lot faster than module partitions,
see this for details.