From 967be9e750221ab2ab783f95df79bb26d290a45e Mon Sep 17 00:00:00 2001 From: Martial Simon Date: Mon, 15 Sep 2025 01:07:58 +0200 Subject: add: added projects --- tiger-compiler/src/overload/tasks.cc | 38 ++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100644 tiger-compiler/src/overload/tasks.cc (limited to 'tiger-compiler/src/overload/tasks.cc') diff --git a/tiger-compiler/src/overload/tasks.cc b/tiger-compiler/src/overload/tasks.cc new file mode 100644 index 0000000..9cfde5a --- /dev/null +++ b/tiger-compiler/src/overload/tasks.cc @@ -0,0 +1,38 @@ +/** + ** \file overload/tasks.cc + ** \brief Overload module related tasks' implementation. + */ + +#include + +#include +#include +#include +#define DEFINE_TASKS 1 +#include +#undef DEFINE_TASKS + +namespace overload::tasks +{ + std::unique_ptr the_overfun_bindings = nullptr; + + void overfun_bindings_compute() + { + auto result = ::overload::bind(*ast::tasks::the_program); + ::overload::tasks::the_overfun_bindings = + std::make_unique(std::move(result.first)); + + task_error() << result.second << &misc::error::exit_on_error; + } + + void overfun_types_compute() + { + task_error() << ::overload::types_check( + *ast::tasks::the_program, *::overload::tasks::the_overfun_bindings); + + // Force the unique_ptr to be freed. + the_overfun_bindings.reset(); + task_error().exit_on_error(); + } + +} // namespace overload::tasks -- cgit v1.2.3