type::tasks Namespace Reference

Functions
void	types_check ()
	TASK_GROUP ("4. Type checking")
	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).
	TASK_DECLARE ("types-compute","check for type violations", types_check,"bindings-compute")
	Check for type violation.

Function Documentation

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::tasks::TASK_GROUP

(

"4. Type checking"

)

void type::tasks::types_check

(

)

References misc::error::exit_on_error(), task_error, and ast::tasks::the_program.