Editing UnionAll and putting it back together

General Usage
1 
typ = Tuple{Int,T} where T<:Real
unwtyp = Base.unwrap_unionall(typ) # Tuple{Int,T<:Real}
edited = edit(unwtyp,Real,Float64) # Tuple{Int,T<:Float64}, has free type variables.

I want to put Tuple{Int,T<:Float64} back to the form of Tuple{Int,T} where T<:Float64

how can I do that?

Thanks

2

Any answers?

3

your edit function is undefined, but this might work

UnionAll(TypeVar(:T,Float64),edited)
4

You’re probably looking for the rewrap_unionall function.

1 Like
5

it doesn’t work because TypeVar(:T) == TypeVar(:T) doesn’t work. Since it is scoped variable at C runtime.
anyhow. I figured it out.
Thanks