// "missing_func-a.hac"
// diagnostic message for unbound function

import "testlib/int-source.hac";
import "testlib/int-sink.hac";

defproc my_gcd(chan?(int) A, B; chan!(int) G) {
int a, b;
chp {
*[
	A?(a), B?(b);
	// OK to use existing identifier
	G!(my_gcd(a, b))	// the function
]
}
}

chan(int) A, B, G;
my_gcd X(A, B, G);
int_source<32> AS<4, {12,15,17,30}>(A);
int_source<32> BS< 5, {9,13,22,27,34}>(B);
int_sink GS(G);

