17 lines
264 B
Plaintext
17 lines
264 B
Plaintext
use "core"
|
|
|
|
%x <- "outer"
|
|
with local %x
|
|
%x <- "inner"
|
|
assume: %x = "inner"
|
|
assume: %x = "outer"
|
|
|
|
action [foo] "outer foo"
|
|
with local (foo)
|
|
action [foo] "inner foo"
|
|
assume: (foo) = "inner foo"
|
|
assume: (foo) = "outer foo"
|
|
|
|
|
|
say "Scopes test passed."
|