diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2025-12-16 10:17:37 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2025-12-16 10:17:37 +0100 |
| commit | 8084c9a674e3034903154da707b531238a593bc2 (patch) | |
| tree | 0677ba1d633bae4861edf611e97ca61e652d774d /source/wg01 | |
| parent | 617f8b0b464978abd0089fb36cfa94a0111b1bc3 (diff) | |
chore: update WG01 paper.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'source/wg01')
| -rw-r--r-- | source/wg01/wg01.tex | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/source/wg01/wg01.tex b/source/wg01/wg01.tex index dc342ef..feae40c 100644 --- a/source/wg01/wg01.tex +++ b/source/wg01/wg01.tex @@ -166,12 +166,12 @@ struct Vettable<IVettable> final { static constexpr bool kValue = true; }; -using FallbackType = bool (*)(bool type_value); +template <typename Type> +using FallbackType = Void (*)(const PropertyResult<Type>& type_value); -/// @brief Concept version of Vettable. -template <typename Type, FallbackType OnFallback> +template <typename Type, FallbackType<Type> OnFallback> concept IsVettable = requires() { - { Vettable<Type>::kValue ? TrueResult<Type>::kValue : OnFallback(PropertyResult<Type>::kValue) }; + { Vettable<Type>::kValue ? TrueResult<Type>{} : OnFallback(PropertyResult<Type>{}) }; }; \end{lstlisting} Source: \href{https://github.com/nekernel-org/nekernel/blob/develop/src/kernel/NeKit/Vettable.h}{https://github.com/nekernel-org/nekernel/blob/develop/src/kernel/NeKit/Vettable.h}. |