blob: e6add546464273a6efb3f2f067dc241d7e8189ec (
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 type/tasks.hh
** \brief Type module tasks.
*/
#pragma once
#include <task/libtask.hh>
namespace type::tasks
{
TASK_GROUP("4. Type checking");
/// Default the type-checking to Tiger (without objects nor overloading).
DISJUNCTIVE_TASK_DECLARE("T|typed",
"default the type-checking to Tiger "
"(without objects nor overloading)",
"types-compute"
" combine-types-compute"
" object-types-compute"
" assert-types-compute");
/// Check for type violation.
TASK_DECLARE("types-compute",
"check for type violations",
types_check,
"bindings-compute");
} // namespace type::tasks
|
