macrohygiene.jl

module M
export @esc_none, @esc_all, @esc_args, @esc_args_impl
macro esc_none(x, y)
    impl(x,y)
end

macro esc_all(x,y)
    esc(impl(x,y))
end

macro esc_args(args...)
    impl(esc.(args)...)
end

macro esc_args_impl(args...)
    impl_esc(args...)
end

function impl(x,y)
    :(foo = $y; $x=foo)
end

function impl_esc(x,y)
    :(foo = $(esc(y)); $(esc(x))=foo)
    
end
end
using M

@show @macroexpand @esc_none x y
@show @macroexpand @esc_all x y
@show @macroexpand @esc_args x y
@show @macroexpand @esc_args_impl x y