@@ -50,8 +50,8 @@ function test_expr(f, supertype::Type = Integer)
5050 ThereAreNoInvalidations. there_are_no_invalidations (e)
5151end
5252
53- @testset " invalidations test set" begin
54- @testset " primitive type construction " begin
53+ @testset " no invalidations test set" begin
54+ @testset " construction of old int types from new type " begin
5555 @test test_expr (n -> :(Base. Bool (:: $n ) = false ))
5656 @test test_expr (n -> :(Base. Int8 (:: $n ) = Int8 (0 ))) broken= true
5757 @test test_expr (n -> :(Base. UInt8 (:: $n ) = UInt8 (0 ))) broken= true
6060 @test test_expr (n -> :(Base. Int (:: $n ) = 0 )) broken= true
6161 @test test_expr (n -> :(Base. UInt (:: $n ) = 0x0 )) broken= true
6262 end
63- @testset " arithmetic with primitive types" begin
63+ @testset " arithmetic between old int types and new int type " begin
6464 @test test_expr (n -> :(Base.:(+ )(:: $n , m:: Bool ) = m))
6565 @test test_expr (n -> :(Base.:(+ )(m:: Bool , :: $n ) = m))
6666 @test test_expr (n -> :(Base.:(+ )(:: $n , m:: Int8 ) = m))
7676 @test test_expr (n -> :(Base.:(+ )(:: $n , m:: UInt ) = m))
7777 @test test_expr (n -> :(Base.:(+ )(m:: UInt , :: $n ) = m))
7878 end
79- @testset " promotion with primitive types" begin
79+ @testset " promotion between old int types and new int type " begin
8080 @test (
8181 test_expr (n -> :(Base. promote_rule (:: Type{Bool} , :: Type{$n} ) = Bool)) &&
8282 test_expr (n -> :(Base. promote_rule (:: Type{$n} , :: Type{Bool} ) = Bool))
0 commit comments