blob: 392649b84d44f7d69362f850f28a5d0801362828 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
#!/usr/bin/env nomsu -V3.6.5.6
#
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
%body_lua::declare locals ("\(%.1 as lua)" for % in %locals)
"List":
%body_lua::declare locals ("\(% as lua)" for % in %locals)
"Var" "Action":
%body_lua::declare locals ["\(%locals as lua)"]
else:
compile error at %locals.source "Unexpected locals: %s"
return (..)
Lua ".."
do
\%body_lua
end
|
