miden-vm icon indicating copy to clipboard operation
miden-vm copied to clipboard

Forbid reserved words in procedures names

Open hackaugusto opened this issue 3 months ago • 1 comments

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.

hackaugusto avatar Mar 25 '24 15:03 hackaugusto