blob: 101f95544ee4aa63869c83df94f6cf6c5dea9e2c (
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.5.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
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
|
