From a3bfce55f72fd5e12dbac30e979fb8cef834bd19 Mon Sep 17 00:00:00 2001
From: Alex Arslan <ararslan@comcast.net>
Date: Tue, 18 Jul 2017 17:39:58 -0700
Subject: [PATCH 1/2] Add Val(x)

Introduced in https://github.com/JuliaLang/julia/pull/22475
---
 src/Compat.jl    |  6 ++++++
 test/runtests.jl | 29 +++++++++++++++++------------
 2 files changed, 23 insertions(+), 12 deletions(-)

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

From 96e1df34f631bb1ddc5ed77d3b27243d25661086 Mon Sep 17 00:00:00 2001
From: Alex Arslan <ararslan@comcast.net>
Date: Tue, 18 Jul 2017 22:02:13 -0700
Subject: [PATCH 2/2] Note Val(x) in the readme [ci skip]

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

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