Add Compat for TypeUtils

README.md

@@ -108,6 +108,8 @@ Currently, the `@compat` macro supports the following syntaxes:
 
 * `Compat.isapprox` with `nans` keyword argument [#20022](https://github.com/JuliaLang/julia/pull/20022)
 
+* The `isabstract`, `parameter_upper_bound`, `typename` reflection methods were added in Julia 0.6. This package re-exports these from the `Compat.TypeUtils` submodule. On earlier versions of julia, that module contains the same functions, but operating on the pre-0.6 type system representation.
+
 * `take!` method for `Task`s since some functions now return `Channel`s instead of `Task`s [#19841](https://github.com/JuliaLang/julia/pull/19841).
 
 ## Renamed functions

src/Compat.jl

@@ -1773,4 +1773,14 @@ else
     import Base.isapprox
 end
 
-end # module
+module TypeUtils
+    @static if isdefined(Core, :UnionAll)
+        using Base: isabstract, parameter_upper_bound, typename
+    else
+        isabstract(t::DataType) = t.abstract
+        parameter_upper_bound(t::DataType, idx) = t.parameters[idx].ub
+        typename(t::DataType) = t.name
+    end
+    export isabstract, parameter_upper_bound, typename
+end # module TypeUtils
+end # module Compat

test/runtests.jl

@@ -1604,3 +1604,11 @@ end
 # julia#20022
 @test !Compat.isapprox(NaN, NaN)
 @test Compat.isapprox(NaN, NaN, nans=true)
+
+# julia#20006
+abstract AbstractFoo20006
+immutable ConcreteFoo20006{T<:Int} <: AbstractFoo20006
+end
+@test Compat.TypeUtils.isabstract(AbstractFoo20006)
+@test Compat.TypeUtils.parameter_upper_bound(ConcreteFoo20006, 1) == Int
+@test isa(Compat.TypeUtils.typename(Array), TypeName)