// "connect-033.hac"
// copy-modified from "nonmeta-bool-merge.hac"
// referencing an array of channels with nonmeta-index
//	also referencing with meta-index
// RESOLUTION: mixing nonmeta and meta indices should be rejected
// should fail creating

defproc merge(chan?(bool) B[2]; chan?(int<1>) S) {
bool b;
int<1> s;
chp {
	*[ S?(s); B[s]?(b);
	   B[0]?(b); B[1]?(b)
	]
}
}

merge lanes;

