tests-context-late_context.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

	#include "control-context.lp".

	%body
	function(a;b;c;d).
	scope(0..4).
	cfa_parent(0, function(a)).
	cfa_parent(1, function(b)).
	cfa_parent(2, function(c)).
	cfa_parent(3, function(d)).
	cfa_parent(4, function(d)).

	cfa_call(0, c).
	cfa_call(1, c).
	cfa_call(2, d).

	bind_scope(0, a).
	bind_scope(1, b).

	cfa_function_specializations(d, a).
	cfa_function_specializations(d, b).

	#show bind_scope_decision/3.
	%#show bind_scope_demand/2.
	#show bind_function_demand/2.
	%#show cfa_call/2.
	%#show bind_function_demand/2.