Is it intended that traits cannot be satisfied by union types?

[pkalikman]

E.g.:

using Traits

@traitdef SomeTrait{X} begin
    some_function(X) -> Int64
end

immutable TypeOne
    x::Float64
end

immutable TypeTwo
    x::Int64
end

typealias FloatOrInt Union{TypeOne,TypeTwo}

some_function(x::FloatOrInt) =  1

(edited by @mauro3)

istrait(SomeTrait{FloatOrInt})
ERROR: Traits.TraitException("Trait SomeTrait{Union{TypeOne,TypeTwo}} has no type parameters.")

I traced this in the source to hasparameters, which seems it rejects this type because the union type is not a DataType.

Is there a principled reason for that? Offhand I don't see why this trait shouldn't be satisfied by the example.

Thanks

[mauro3]

Yes, I think this should work but is not implemented at the moment. If a trait is fulfilled for all types of a union then the union should be part of the trait too.

[mauro3]

I not gonna have time to work on this for a few weeks. If you want to have a crack at it, probably need to insert a loop at

Traits.jl/src/Traits.jl

Line 143 in cd42637

which loops over all unions and calls istrait recursively.