summaryrefslogtreecommitdiff
path: root/tiger-compiler/src/type/tasks.cc
blob: 261e015d2a016bc20c1aa13264ddbbe8242bbaa4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
/**
 ** \file type/tasks.cc
 ** \brief Type module task implementations.
 */

#include <ast/tasks.hh>
#include <common.hh>
#include <type/libtype.hh>
#define DEFINE_TASKS 1
#include <type/tasks.hh>
#undef DEFINE_TASKS

// Type module related tasks' implementation.
namespace type::tasks
{
  void types_check()
  {
    task_error() << ::type::types_check(*ast::tasks::the_program)
                 << &misc::error::exit_on_error;
  }

} // namespace type::tasks