miden-vm
miden-vm copied to clipboard
Forbid reserved words in procedures names
This assembles and runs:
proc.exec
push.1
end
begin
exec.exec
end
It works because the namespaces are no shared, but it is odd that this works. To avoid confusion I think we should forbid this.