#!/usr/bin/env nomsu -V4.8.8.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 "Unexpected local value"
    
    return (..)
        Lua "\
            ..do
                \%body_lua
            end"