tasks.hh File Reference

Type module tasks. More...

#include <task/libtask.hh>

Include dependency graph for tasks.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	type
	Type-checking an ast::Ast.
namespace	type::tasks

Functions
	type::tasks::TASK_GROUP ("4. Type checking")
	type::tasks::DISJUNCTIVE_TASK_DECLARE ("T|typed","default the type-checking to Tiger ""(without objects nor overloading)","types-compute"" object-types-compute")
	Default the type-checking to Tiger (without objects nor overloading).
	type::tasks::TASK_DECLARE ("types-compute","check for type violations", types_check,"bindings-compute")
	Check for type violation.

Detailed Description

Type module tasks.