What is wrong with my subtyping?

General Usage
1 
julia> abstract type Code{T<:Tuple} end

julia> abstract type Data{T<:Code} <: Code end
ERROR: invalid subtyping in definition of Data

Thanks

2

Code isn’t a type you can subtype from. Code{Tuple{}} or something like Code{T} would be. All the type parameters in the parent type must be specified.

3 Likes