[V4] Sketch of promise structure

.clang-format

@@ -3,17 +3,19 @@ Language: Cpp
 ColumnLimit: 110
 IndentPPDirectives: BeforeHash
 AlwaysBreakTemplateDeclarations: Yes
+BreakAfterAttributes: Always
 PackConstructorInitializers: CurrentLine
 AccessModifierOffset: -1
 IndentCaseLabels: true
 AllowShortLambdasOnASingleLine: Empty
 RequiresExpressionIndentation: OuterScope
 BinPackArguments: false
-# BinPackParameters: false
 LambdaBodyIndentation: Signature
 PenaltyReturnTypeOnItsOwnLine: 1
 
 Macros:
+  - LF_TRY=if
+  - LF_CATCH_ALL=else
   - LF_HOF(x)={x;}
   - LF_HOF(x,y)={x,y;}
   - LF_HOF(x,y,z)={x,y,z;}

.clang-tidy

@@ -10,148 +10,150 @@ Checks: "*,\
   -llvm-header-guard,\
   -llvm-include-order,\
   -llvmlibc-*,\
-  -modernize-use-nodiscard,\
+  -readability-identifier-length,\
   -misc-non-private-member-variables-in-classes"
-WarningsAsErrors: ''
+WarningsAsErrors: ""
 CheckOptions:
   - key: readability-function-cognitive-complexity.IgnoreMacros
-    value: 'true'
-  - key: 'bugprone-argument-comment.StrictMode'
-    value: 'true'
-# Prefer using enum classes with 2 values for parameters instead of bools
-  - key: 'bugprone-argument-comment.CommentBoolLiterals'
-    value: 'true'
-  - key: 'bugprone-misplaced-widening-cast.CheckImplicitCasts'
-    value: 'true'
-  - key: 'bugprone-sizeof-expression.WarnOnSizeOfIntegerExpression'
-    value: 'true'
-  - key: 'bugprone-suspicious-string-compare.WarnOnLogicalNotComparison'
-    value: 'true'
-  - key: 'readability-simplify-boolean-expr.ChainedConditionalReturn'
-    value: 'true'
-  - key: 'readability-simplify-boolean-expr.ChainedConditionalAssignment'
-    value: 'true'
-  - key: 'readability-uniqueptr-delete-release.PreferResetCall'
-    value: 'true'
-  - key: 'cppcoreguidelines-init-variables.MathHeader'
-    value: '<cmath>'
-  - key: 'cppcoreguidelines-narrowing-conversions.PedanticMode'
-    value: 'true'
-  - key: 'readability-else-after-return.WarnOnUnfixable'
-    value: 'true'
-  - key: 'readability-else-after-return.WarnOnConditionVariables'
-    value: 'true'
-  - key: 'readability-inconsistent-declaration-parameter-name.Strict'
-    value: 'true'
-  - key: 'readability-qualified-auto.AddConstToQualified'
-    value: 'true'
-  - key: 'readability-redundant-access-specifiers.CheckFirstDeclaration'
-    value: 'true'
-# These seem to be the most common identifier styles
-  - key: 'readability-identifier-naming.AbstractClassCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.ClassCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.ClassConstantCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.ClassMemberCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.ClassMethodCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.ConstantCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.ConstantMemberCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.ConstantParameterCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.ConstantPointerParameterCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.ConstexprFunctionCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.ConstexprMethodCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.ConstexprVariableCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.EnumCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.EnumConstantCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.FunctionCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.GlobalConstantCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.GlobalConstantPointerCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.GlobalFunctionCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.GlobalPointerCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.GlobalVariableCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.InlineNamespaceCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.LocalConstantCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.LocalConstantPointerCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.LocalPointerCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.LocalVariableCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.MacroDefinitionCase'
-    value: 'UPPER_CASE'
-  - key: 'readability-identifier-naming.MemberCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.MethodCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.NamespaceCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.ParameterCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.ParameterPackCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.PointerParameterCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.PrivateMemberCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.PrivateMemberPrefix'
-    value: 'm_'
-  - key: 'readability-identifier-naming.PrivateMethodCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.ProtectedMemberCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.ProtectedMemberPrefix'
-    value: 'm_'
-  - key: 'readability-identifier-naming.ProtectedMethodCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.PublicMemberCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.PublicMethodCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.ScopedEnumConstantCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.StaticConstantCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.StaticVariableCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.StructCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.TemplateParameterCase'
-    value: 'CamelCase'
-  - key: 'readability-identifier-naming.TemplateTemplateParameterCase'
-    value: 'CamelCase'
-  - key: 'readability-identifier-naming.TypeAliasCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.TypedefCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.TypeTemplateParameterCase'
-    value: 'CamelCase'
-  - key: 'readability-identifier-naming.UnionCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.ValueTemplateParameterCase'
-    value: 'CamelCase'
-  - key: 'readability-identifier-naming.VariableCase'
-    value: 'lower_case'
-  - key: 'readability-identifier-naming.VirtualMethodCase'
-    value: 'lower_case'
+    value: "true"
+  - key: "cppcoreguidelines-avoid-do-while.IgnoreMacros"
+    value: "true"
+  - key: "bugprone-argument-comment.StrictMode"
+    value: "true"
+  # Prefer using enum classes with 2 values for parameters instead of bools
+  - key: "bugprone-argument-comment.CommentBoolLiterals"
+    value: "true"
+  - key: "bugprone-misplaced-widening-cast.CheckImplicitCasts"
+    value: "true"
+  - key: "bugprone-sizeof-expression.WarnOnSizeOfIntegerExpression"
+    value: "true"
+  - key: "bugprone-suspicious-string-compare.WarnOnLogicalNotComparison"
+    value: "true"
+  - key: "readability-simplify-boolean-expr.ChainedConditionalReturn"
+    value: "true"
+  - key: "readability-simplify-boolean-expr.ChainedConditionalAssignment"
+    value: "true"
+  - key: "readability-uniqueptr-delete-release.PreferResetCall"
+    value: "true"
+  - key: "cppcoreguidelines-init-variables.MathHeader"
+    value: "<cmath>"
+  - key: "cppcoreguidelines-narrowing-conversions.PedanticMode"
+    value: "true"
+  - key: "readability-else-after-return.WarnOnUnfixable"
+    value: "true"
+  - key: "readability-else-after-return.WarnOnConditionVariables"
+    value: "true"
+  - key: "readability-inconsistent-declaration-parameter-name.Strict"
+    value: "true"
+  - key: "readability-qualified-auto.AddConstToQualified"
+    value: "true"
+  - key: "readability-redundant-access-specifiers.CheckFirstDeclaration"
+    value: "true"
+  # These seem to be the most common identifier styles
+  - key: "readability-identifier-naming.AbstractClassCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.ClassCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.ClassConstantCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.ClassMemberCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.ClassMethodCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.ConstantCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.ConstantMemberCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.ConstantParameterCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.ConstantPointerParameterCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.ConstexprFunctionCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.ConstexprMethodCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.ConstexprVariableCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.EnumCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.EnumConstantCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.FunctionCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.GlobalConstantCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.GlobalConstantPointerCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.GlobalFunctionCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.GlobalPointerCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.GlobalVariableCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.InlineNamespaceCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.LocalConstantCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.LocalConstantPointerCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.LocalPointerCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.LocalVariableCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.MacroDefinitionCase"
+    value: "UPPER_CASE"
+  - key: "readability-identifier-naming.MemberCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.MethodCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.NamespaceCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.ParameterCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.ParameterPackCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.PointerParameterCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.PrivateMemberCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.PrivateMemberPrefix"
+    value: "m_"
+  - key: "readability-identifier-naming.PrivateMethodCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.ProtectedMemberCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.ProtectedMemberPrefix"
+    value: "m_"
+  - key: "readability-identifier-naming.ProtectedMethodCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.PublicMemberCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.PublicMethodCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.ScopedEnumConstantCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.StaticConstantCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.StaticVariableCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.StructCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.TemplateParameterCase"
+    value: "CamelCase"
+  - key: "readability-identifier-naming.TemplateTemplateParameterCase"
+    value: "CamelCase"
+  - key: "readability-identifier-naming.TypeAliasCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.TypedefCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.TypeTemplateParameterCase"
+    value: "CamelCase"
+  - key: "readability-identifier-naming.UnionCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.ValueTemplateParameterCase"
+    value: "CamelCase"
+  - key: "readability-identifier-naming.VariableCase"
+    value: "lower_case"
+  - key: "readability-identifier-naming.VirtualMethodCase"
+    value: "lower_case"
 ...

CMakeLists.txt

@@ -42,7 +42,10 @@ target_sources(libfork_libfork
   PUBLIC
     FILE_SET HEADERS FILES
       include/libfork/version.hpp
-      include/libfork/macros.hpp
+      include/libfork/__impl/compiler.hpp
+      include/libfork/__impl/exception.hpp
+      include/libfork/__impl/utils.hpp
+      include/libfork/__impl/assume.hpp
     BASE_DIRS
       include
 )
@@ -54,8 +57,12 @@ target_sources(libfork_libfork
     FILE_SET CXX_MODULES FILES
       src/core/core.cxx
       src/core/promise.cxx
+      src/core/concepts.cxx
+      src/core/utility.cxx
+      src/core/frame.cxx
+      src/core/constants.cxx
     PRIVATE
-      # src/libfork.cpp
+      src/exception.cpp
 )
 
 # ======================

CMakeUserPresets.json

@@ -34,16 +34,6 @@
       "execution": {
         "stopOnFailure": true
       }
-    },
-    {
-      "name": "bench",
-      "configurePreset": "bench",
-      "output": {
-        "outputOnFailure": true
-      },
-      "execution": {
-        "stopOnFailure": true
-      }
     }
   ],
   "workflowPresets": [
@@ -76,10 +66,6 @@
         {
           "type": "build",
           "name": "bench"
-        },
-        {
-          "type": "test",
-          "name": "bench"
         }
       ]
     }

benchmark/CMakeLists.txt

@@ -44,10 +44,10 @@ target_sources(libfork_benchmark
 
 # ---- Libfork ----
 
-# target_sources(libfork_benchmark
-#   PRIVATE
-#     src/libfork_benchmark/fib/fib.cpp
-# )
+target_sources(libfork_benchmark
+  PRIVATE
+    src/libfork_benchmark/fib/lf_parts.cpp
+)
 
 target_link_libraries(libfork_benchmark
   PRIVATE

benchmark/src/libfork_benchmark/common.hpp

@@ -3,7 +3,7 @@
 #include <format>
 #include <stdexcept>
 
-#include "libfork/macros.hpp"
+#include "libfork/__impl/exception.hpp"
 
 struct incorrect_result : public std::runtime_error {
   using std::runtime_error::runtime_error;