overload::tasks Namespace Reference

Functions
void	overfun_bindings_compute ()
void	overfun_types_compute ()
	TASK_GROUP ("4.5 Type checking with overloading")
	TASK_DECLARE ("overfun-bindings-compute","bind the identifiers, ""allowing function overloading", overfun_bindings_compute,"parse")
	Compute bindings, allowing function overloading.
	TASK_DECLARE ("O|overfun-types-compute","check for type violations, ""allowing function overloading", overfun_types_compute,"overfun-bindings-compute")
	Check for type violation, allowing function overloading.

Variables
overfun_bindings_type *	the_overfun_bindings

Function Documentation

void overload::tasks::overfun_bindings_compute

(

)

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

void overload::tasks::overfun_types_compute

(

)

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

overload::tasks::TASK_DECLARE	(	"overfun-bindings-compute"	,
		"bind the	identifiers,
		""allowing function overloading"	,
		overfun_bindings_compute	,
		"parse"
	)

Compute bindings, allowing function overloading.

overload::tasks::TASK_DECLARE	(	"O|overfun-types-compute"	,
		"check for type	violations,
		""allowing function overloading"	,
		overfun_types_compute	,
		"overfun-bindings-compute"
	)

Check for type violation, allowing function overloading.

overload::tasks::TASK_GROUP

(

"4.5 Type checking with overloading"

)

Variable Documentation

overfun_bindings_type * overload::tasks::the_overfun_bindings

Referenced by overfun_bindings_compute(), and overfun_types_compute().