Don't overload show(io, ::Type)

[ararslan]

This is type treason, as Jeff puts it, and makes Bad Things Happen on 0.7. See JuliaLang/julia#24195. If we simply do away with those methods, the printing is a little less concise, but still reasonable (IMO):

julia> HourBeginning
AnchoredInterval{1 hour,T} where T<:Dates.TimeType

This is in line with how Base prints aliases, e.g.

julia> AbstractVecOrMat
Union{AbstractArray{T,1}, AbstractArray{T,2}} where T

Thoughts?

[rofinn]

I'd be fine with that change. This should also be a little simpler once we merge #12.

[iamed2]

Is it possible to override only how they're shown in the REPL? Could we override just
show(::IO, ::MIME"text/plain", ::Type{T}) where T <: ...

[iamed2]

Or display?

[ararslan]

Either way we're still committing type piracy though.

[iamed2]

Are we? Is base_method(::BaseType{MyType}) type piracy?

[ararslan]

Yes, that's why changing show(::IO, ::Type{T}) for any T is problematic, as Jeff noted in the linked issue.

[iamed2]

It sounds like we have to do this, so let's add showarg methods at the same time to mitigate the downside.

[ararslan]

Closed by #30.

[vtjnash]

JuliaLang triage asked why the example needed to be a type, rather than a singleton value? (and hopefully the type-alias-based printing in base now helps this case, assuming HourBeginning is exported!)