1
Vote

"undeclared identifier" on attributes with variable args

description

The attached (copied below for quick reference) still fails with "undeclared identifier: $M0" (in changeset c01a37a794779043373d42af05f8acad47a08d3a).
var $M0: int;

procedure {:entrypoint} $initialize({:touches $M0} i: int)
{
  return;
}

file attachments

comments