From 1c3419f84fe9a6110d0e268f096c0d0ea2820066 Mon Sep 17 00:00:00 2001 From: Mauro Werder Date: Tue, 17 Jan 2017 22:31:05 +0100 Subject: [PATCH] Enabled tests for #11840 [ci skip] --- test/core.jl | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/test/core.jl b/test/core.jl index dc74a02275633a..ff2993aee0971b 100644 --- a/test/core.jl +++ b/test/core.jl @@ -72,15 +72,13 @@ g11840{T<:Tuple}(sig::Type{T}) = 3 g11840b(::DataType) = 1 g11840b(::Type) = 2 -# FIXME: how to compute that the guard entry is still required, -# even though Type{Vector} ∩ DataType = Bottom and this method would set cache_with_orig = true -#g11840b{T<:Tuple}(sig::Type{T}) = 3 +g11840b{T<:Tuple}(sig::Type{T}) = 3 @test g11840b(Vector) == 2 @test g11840b(Vector.body) == 1 @test g11840b(Vector) == 2 @test g11840b(Vector.body) == 1 -#@test g11840b(Tuple) == 3 -#@test g11840b(TT11840) == 3 +@test g11840b(Tuple) == 3 +@test g11840b(TT11840) == 3 h11840(::DataType) = '1' h11840(::Type) = '2'