aboutsummaryrefslogtreecommitdiff
path: root/src/checker.hpp
diff options
context:
space:
mode:
authorgingerBill <bill@gingerbill.org>2024-08-14 11:28:49 +0100
committergingerBill <bill@gingerbill.org>2024-08-14 11:28:49 +0100
commitfd5376ba88ef6ad8dcb4657d3159c7eee737a2af (patch)
tree987d1e33f5fa68aa1804dadac2eb484f0c23ef1a /src/checker.hpp
parent78fa675c1a56e2aa2e28c52415dd21d3c8970366 (diff)
Allow `@(require_results)` on `foreign` blocks
Diffstat (limited to 'src/checker.hpp')
-rw-r--r--src/checker.hpp4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/checker.hpp b/src/checker.hpp
index d76e4c7d0..438156f18 100644
--- a/src/checker.hpp
+++ b/src/checker.hpp
@@ -204,9 +204,12 @@ struct DeclInfo {
Array<Ast *> attributes;
Ast * proc_lit; // Ast_ProcLit
Type * gen_proc_type; // Precalculated
+
bool is_using;
bool where_clauses_evaluated;
+ bool foreign_require_results;
std::atomic<ProcCheckedState> proc_checked_state;
+
BlockingMutex proc_checked_mutex;
isize defer_used;
bool defer_use_checked;
@@ -322,6 +325,7 @@ struct ForeignContext {
String link_prefix;
String link_suffix;
EntityVisiblityKind visibility_kind;
+ bool require_results;
};
typedef Array<Entity *> CheckerTypePath;