The top level scope of a module is still a global (interactive scope).
On Wednesday, November 16, 2016 at 7:59:04 AM UTC-8, FANG Colin wrote:
>
> Typo, should be
>
> module ...
>
> ff(x::Type{Val{1}}) = 1
>
> x = 1
> a = ff(Val{x})
>
> const y = 1
> a = ff(Val{y})
>
> end
>
>>
>>
