/**
 ** \file assert/tasks.cc
 ** \brief Assert module related tasks' implementation.
 */

#include <ast/tasks.hh>
#include <astclone/libastclone.hh>
#include <assert/libassert.hh>
#include <common.hh>
#include <desugar/tasks.hh>
#include <escapes/tasks.hh>
#include <llvmtranslate/tasks.hh>
#define DEFINE_TASKS 1
#include <assert/tasks.hh>
#undef DEFINE_TASKS

namespace assert::tasks
{
  void parse() {}

  void bind()
  {
    task_error() << ::assert::bind(*ast::tasks::the_program.get())
                 << &misc::error::exit_on_error;
  }

  void types_compute()
  {
    task_error() << ::assert::types_check(*ast::tasks::the_program.get())
                 << &misc::error::exit_on_error;
  }

  void rename()
  {
    task_error() << ::assert::rename(*ast::tasks::the_program.get())
                 << &misc::error::exit_on_error;
  }

  void desugar()
  {
    astclone::apply(::assert::desugar, ast::tasks::the_program,
                    desugar::tasks::desugar_for_p,
                    desugar::tasks::desugar_string_cmp_p);
  }

  void raw_desugar()
  {
    astclone::apply(::assert::raw_desugar, ast::tasks::the_program,
                    desugar::tasks::desugar_for_p,
                    desugar::tasks::desugar_string_cmp_p);
  }

} // namespace assert::tasks