blob: f42fa9a5bb5541db1c3768abf5c2395a11c916d7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#!/usr/bin/env nomsu -V2.5.4.3
use "core"
%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")
say "Scopes test passed."
|
