summaryrefslogtreecommitdiff
path: root/tiger-compiler/src/overload/tasks.hh
blob: 31edad1a801339dabd799851e8236b72b867347b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
/**
 ** \file overload/tasks.hh
 ** \brief Overload module tasks.
 */

#pragma once

#include <overload/binder.hh>
#include <task/libtask.hh>

namespace overload::tasks
{
  TASK_GROUP("4.5 Type checking with overloading");

  /// Compute bindings, allowing function overloading.
  TASK_DECLARE("overfun-bindings-compute",
               "bind the identifiers, "
               "allowing function overloading",
               overfun_bindings_compute,
               "parse");

  /// Check for type violation, allowing function overloading.
  TASK_DECLARE("O|overfun-types-compute",
               "check for type violations, "
               "allowing function overloading",
               overfun_types_compute,
               "overfun-bindings-compute");

} // namespace overload::tasks