LRDE Tiger Compiler
1.34a $Id: 7fef12e1f5fa43449d667a0eec1d837c40fc1202 $
|
Type module tasks. More...
#include <task/libtask.hh>
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. |
Type module tasks.