add: added projectsHEADmain

1 files changed, 74 insertions, 0 deletions

diff --git a/tiger-compiler/src/combine/tasks.cc b/tiger-compiler/src/combine/tasks.cc
new file mode 100644
index 0000000..48470ac
--- /dev/null
+++ b/tiger-compiler/src/combine/tasks.cc
@@ -0,0 +1,74 @@
+/**
+ ** \file combine/tasks.cc
+ ** \brief Combine module related tasks' implementation.
+ */
+
+#include <ast/tasks.hh>
+#include <bind/tasks.hh>
+#include <desugar/tasks.hh>
+#include <escapes/tasks.hh>
+#include <object/tasks.hh>
+
+#include <astclone/libastclone.hh>
+#include <desugar/libdesugar.hh>
+#include <inlining/libinlining.hh>
+
+#include <common.hh>
+
+#include <combine/libcombine.hh>
+#define DEFINE_TASKS 1
+#include <combine/tasks.hh>
+#undef DEFINE_TASKS
+
+namespace combine::tasks
+{
+  std::unique_ptr<overload::overfun_bindings_type> the_overfun_bindings =
+    nullptr;
+
+  void combine_bindings_compute()
+  {
+    auto result =
+      ::combine::combine_bind(*ast::tasks::the_program, c_overload_p);
+    ::combine::tasks::the_overfun_bindings =
+      std::make_unique<overload::overfun_bindings_type>(
+        std::move(result.first));
+
+    task_error() << result.second << &misc::error::exit_on_error;
+  }
+
+  void combine_types_compute()
+  {
+    task_error() << ::combine::combine_types_check(
+      *ast::tasks::the_program, *::combine::tasks::the_overfun_bindings,
+      c_overload_p);
+    the_overfun_bindings.reset();
+    task_error().exit_on_error();
+  }
+
+  void combine_rename()
+  {
+    // FIXME: Some code was deleted here (Call appropriate renaming tasks).
+  }
+
+  void combine_desugar()
+  {
+    if (c_object_p)
+      ::object::tasks::object_desugar();
+
+    if (c_desugar_p)
+      ::desugar::tasks::desugar();
+
+    if (c_bounds_p)
+      astclone::apply(::desugar::bounds_checks_add, ast::tasks::the_program);
+
+    if (c_inline_p)
+      astclone::apply(::inlining::inline_expand, ast::tasks::the_program);
+
+    if (c_prune_p)
+      astclone::apply(::inlining::prune, ast::tasks::the_program);
+
+    if (c_escapes_p)
+      ::escapes::tasks::escapes_compute();
+  }
+
+} // namespace combine::tasks