addac10a47
newline after 1-line indented code inside blocks, and forcing files to have a trailing newline. The trailing newline thing created a lot of spurious changes.
17 lines
311 B
Plaintext
17 lines
311 B
Plaintext
#!/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."
|