Macros to facilitate expressing types in methods about fixargs.jl

[jw3126]

It makes me sad, that we need to do this, but yeah I guess there is really a need for macros here. But do we really need two of them? Maybe the following would actually suffice?

@macroexpand @FixT f(::typeof(union), ::UnitRange{T}, ::UnitRange{T})
Fix{typeof(union), Tuple{Some{UnitRange{T}, UnitRange{T}}, Any}

[goretkin]

I don't see where bounding comes into your example.

Anyway, like I said, it could be written with one macro. I just mentioned the decomposition because it seems like a worthwhile idea.

[jw3126]

function bounding(::Type{>:UnitRange}, _union::(@FixT union UnitRange{T} UnitRange{T})) where T <: Integer
[...]
end

[goretkin]

I assumed making this work with the type parameters would be problematic, but it looks like it is all fine!

e.g.

using Test: @test
macro Foo()
    return :(Complex{Int64})
end

macro Foo2(T)
    return :(Complex{$(esc(T))})
end

bar(x) = "fallback"
bar(x::(@Foo)) = "dispatch @Foo"
@test bar("") == "fallback"
@test bar(1+2im) == "dispatch @Foo"

bar2(x) = "fallback"
bar2(x::(@Foo2 Int64)) = "dispatch @Foo2 Int64"
bar2(x::(@Foo2 Float64)) = "dispatch @Foo2 Float64"
@test bar2(1 + 2im) == "dispatch @Foo2 Int64"
@test bar2(1 + 2.0im) == "dispatch @Foo2 Float64"

bar3(x) = "fallback"
bar3(x::(@Foo2 T)) where {T} = "dispatch @Foo2 T, where T = $T"
@test bar3(1 + 2im) == "dispatch @Foo2 T, where T = Int64"
@test bar3(1 + 2.0im) == "dispatch @Foo2 T, where T = Float64"

# double check
@show @macroexpand bar3(x::(@Foo2 T)) where {T}

[goretkin]

I believe the definition of this macro should be based on this "rule", e.g.

typeof(FixArgs.@fix union([1], [2])) == FixArgs.@FixT union(::Vector{Int64}, ::Vector{Int64})

And it should probably also handle _. It should not handle keyword arguments.

I actually am glad there is a macro for this. It is nicely parallel.

foo(1 / 2) dispatches to foo(::Float64)
foo(@fix 1 / 2) dispatches to foo(::(@FixT ::Int64 / ::Int64))

I wonder if there are any suggestions to improve upon the FixT name.

[goretkin]

@xquoteT is this (and probably the name should still be improved).