add M7 semantic foundation

2026-08-16 21:16:14 +09:00
parent 43fa9c9bc9
commit 9c3cae7406
1 changed files with 31 additions and 0 deletions
@@ -0,0 +1,31 @@
+#ifndef FE_M7_H
+#define FE_M7_H
+
+#include "types.h"
+
+typedef enum FeM7ContextKind {
+    FE_M7_CONTEXT_NONE = 0,
+    FE_M7_CONTEXT_SUCCESS,
+    FE_M7_CONTEXT_FAILURE
+} FeM7ContextKind;
+
+typedef enum FeM7LazyKind {
+    FE_M7_LAZY_NONE = 0,
+    FE_M7_LAZY_ORELSE,
+    FE_M7_LAZY_CATCH
+} FeM7LazyKind;
+
+FeType *fe_m7_optional_type(FeTypeCtx *ctx, FeType *payload);
+int fe_m7_optional_uses_niche(const FeType *payload);
+int fe_m7_can_contextual_null(const FeType *expected);
+
+FeType *fe_m7_error_union_type(FeTypeCtx *ctx, FeType *error_type,
+                               FeType *value_type);
+FeType *fe_m7_error_type(FeTypeCtx *ctx, const FeType *error_union);
+FeM7ContextKind fe_m7_error_context(FeTypeCtx *ctx, const FeType *expected,
+                                    const FeType *actual);
+
+FeM7LazyKind fe_m7_lazy_kind(const FeNode *node);
+int fe_m7_is_try(const FeNode *node);
+
+#endif