diff --git a/README.md b/README.md index 34f172808..5f0ea2ec5 100644 --- a/README.md +++ b/README.md @@ -143,6 +143,8 @@ Currently, the `@compat` macro supports the following syntaxes: * `@__MODULE__` is aliased to `current_module()` for Julia versions 0.6 and below. Versions of `Base.binding_module`, `expand`, `macroexpand`, and `include_string` were added that accept a module as the first argument. ([#22064]) +* `Val(x)` constructs `Val{x}()`. ([#22475]) + ## Renamed functions @@ -283,3 +285,4 @@ includes this fix. Find the minimum version from there. [#21257]: https://github.com/JuliaLang/julia/issues/21257 [#21346]: https://github.com/JuliaLang/julia/issues/21346 [#22064]: https://github.com/JuliaLang/julia/issues/22064 +[#22475]: https://github.com/JuliaLang/julia/issues/22475 diff --git a/src/Compat.jl b/src/Compat.jl index c65f49e4f..5f0363316 100644 --- a/src/Compat.jl +++ b/src/Compat.jl @@ -607,6 +607,12 @@ if VERSION < v"0.6.0-pre.beta.455" isless(x::Dates.OtherPeriod, y::Dates.FixedPeriod) = throw(MethodError(isless, (x, y))) end +# https://github.com/JuliaLang/julia/pull/22475 +if VERSION < v"0.7.0-DEV.843" + import Base: Val + (::Type{Val})(x) = (Base.@_pure_meta; Val{x}()) +end + include("deprecated.jl") # https://github.com/JuliaLang/julia/pull/21746 diff --git a/test/runtests.jl b/test/runtests.jl index 5b86d7e2e..891a86aa3 100644 --- a/test/runtests.jl +++ b/test/runtests.jl @@ -338,28 +338,33 @@ end # Val begin local firstlast - firstlast(::Type{Val{true}}) = "First" - firstlast(::Type{Val{false}}) = "Last" + firstlast(::Val{true}) = "First" + firstlast(::Val{false}) = "Last" - @test firstlast(Val{true}) == "First" - @test firstlast(Val{false}) == "Last" + @test firstlast(Val(true)) == "First" + @test firstlast(Val(false)) == "Last" end +# The constructors for some linear algebra stuff changed to take Val{x} +# instead of Type{Val{x}} +const valtrue = VERSION < v"0.7.0-DEV.843" ? Val{true} : Val(true) +const valfalse = VERSION < v"0.7.0-DEV.843" ? Val{false} : Val(false) + # qr, qrfact, qrfact! let A = [1.0 2.0; 3.0 4.0] - Q, R = qr(A, Val{false}) + Q, R = qr(A, valfalse) @test Q*R ≈ A - Q, R, p = qr(A, Val{true}) + Q, R, p = qr(A, valtrue) @test Q*R ≈ A[:,p] - F = qrfact(A, Val{false}) + F = qrfact(A, valfalse) @test F[:Q]*F[:R] ≈ A - F = qrfact(A, Val{true}) + F = qrfact(A, valtrue) @test F[:Q]*F[:R] ≈ A[:,F[:p]] A_copy = copy(A) - F = qrfact!(A_copy, Val{false}) + F = qrfact!(A_copy, valfalse) @test F[:Q]*F[:R] ≈ A A_copy = copy(A) - F = qrfact!(A_copy, Val{true}) + F = qrfact!(A_copy, valtrue) @test F[:Q]*F[:R] ≈ A[:,F[:p]] end @@ -1397,11 +1402,11 @@ for A in (Hermitian(randn(5,5) + 10I), @test istriu(chol(A)) @test chol(A) ≈ F[:U] - F = cholfact(A, Val{true}) + F = cholfact(A, valtrue) @test F[:U]'F[:U] ≈ A[F[:p], F[:p]] @test F[:L]*F[:L]' ≈ A[F[:p], F[:p]] Ac = copy(A) - F = cholfact!(Ac, Val{true}) + F = cholfact!(Ac, valtrue) @test F[:U]'F[:U] ≈ A[F[:p], F[:p]] @test F[:L]*F[:L]' ≈ A[F[:p], F[:p]] end