47 lines
1.2 KiB
Plaintext
47 lines
1.2 KiB
Plaintext
#!/usr/bin/env nomsu -V2.5.4.3
|
|
#
|
|
This file contains definitions pertaining to variable scoping
|
|
|
|
use "core/metaprogramming.nom"
|
|
use "core/operators.nom"
|
|
use "core/collections.nom"
|
|
use "core/control_flow.nom"
|
|
|
|
test:
|
|
%x = "outer"
|
|
with local %x:
|
|
%x = "inner"
|
|
assume (%x == "inner")
|
|
|
|
assume (%x == "outer")
|
|
action [foo] "outer foo"
|
|
with local [action (foo)]:
|
|
action [foo] "inner foo"
|
|
assume ((foo) == "inner foo")
|
|
|
|
assume ((foo) == "outer foo")
|
|
|
|
compile [with local %locals %body, with local %locals do %body] to:
|
|
%body_lua = (%body as lua statements)
|
|
if %locals.type is:
|
|
"Dict":
|
|
%body_lua = (..)
|
|
Lua ".."
|
|
\(compile as (<- %locals))
|
|
\%body_lua
|
|
|
|
declare locals ("\(%.1 as lua)" for % in %locals) in %body_lua
|
|
|
|
"List":
|
|
declare locals ("\(% as lua)" for % in %locals) in %body_lua
|
|
"Var" "Action":
|
|
declare locals ["\(%locals as lua)"] in %body_lua
|
|
else:
|
|
compile error at %locals.source "Unexpected locals: %s"
|
|
|
|
return (..)
|
|
Lua ".."
|
|
do
|
|
\%body_lua
|
|
end
|