Merge pull request #17498 from bjarthur/static

@static && || syntax

base/osutils.jl

@@ -56,17 +56,20 @@ Partially evaluates an expression at parse time.
 For example, `@static is_windows() ? foo : bar` will evaluate `is_windows()` and insert either `foo` or `bar` into the expression.
 This is useful in cases where a construct would be invalid on other platforms,
 such as a `ccall` to a non-existent function.
+`@static if is_apple() foo end` and `@static foo <&&,||> bar` are also valid syntax.
 """
 macro static(ex)
     if isa(ex, Expr)
-        if ex.head === :if
+        if ex.head === :if || ex.head === :&& || ex.head === :||
             cond = eval(current_module(), ex.args[1])
-            if cond
+            if xor(cond, ex.head === :||)
                 return esc(ex.args[2])
             elseif length(ex.args) == 3
                 return esc(ex.args[3])
-            else
+            elseif ex.head === :if
                 return nothing
+            else
+                return cond
             end
         end
     end

test/choosetests.jl

@@ -33,7 +33,7 @@ function choosetests(choices = [])
         "markdown", "base64", "serialize", "misc", "threads",
         "enums", "cmdlineargs", "i18n", "workspace", "libdl", "int",
         "checked", "intset", "floatfuncs", "compile", "parallel", "inline",
-        "boundscheck", "error", "ambiguous", "cartesian", "asmvariant",
+        "boundscheck", "error", "ambiguous", "cartesian", "asmvariant", "osutils",
         "channels"
     ]
     profile_skipped = false

test/misc.jl

@@ -207,24 +207,6 @@ end
     @test isa(ex, ErrorException) && ex.msg == "cannot assign variables in other modules"
 end
 
-@test !Base.is_unix(:Windows)
-@test !Base.is_linux(:Windows)
-@test Base.is_linux(:Linux)
-@test Base.is_windows(:Windows)
-@test Base.is_windows(:NT)
-@test !Base.is_windows(:Darwin)
-@test Base.is_apple(:Darwin)
-@test Base.is_apple(:Apple)
-@test !Base.is_apple(:Windows)
-@test Base.is_unix(:Darwin)
-@test Base.is_unix(:FreeBSD)
-@test_throws ArgumentError Base.is_unix(:BeOS)
-if !is_windows()
-    @test Sys.windows_version() === (0, 0)
-else
-    @test (Sys.windows_version()::Tuple{Int,Int})[1] > 0
-end
-
 # Issue 14173
 module Tmp14173
     export A

test/osutils.jl

@@ -0,0 +1,26 @@
+@test !Base.is_unix(:Windows)
+@test !Base.is_linux(:Windows)
+@test Base.is_linux(:Linux)
+@test Base.is_windows(:Windows)
+@test Base.is_windows(:NT)
+@test !Base.is_windows(:Darwin)
+@test Base.is_apple(:Darwin)
+@test Base.is_apple(:Apple)
+@test !Base.is_apple(:Windows)
+@test Base.is_unix(:Darwin)
+@test Base.is_unix(:FreeBSD)
+@test_throws ArgumentError Base.is_unix(:BeOS)
+if !is_windows()
+    @test Sys.windows_version() === (0, 0)
+else
+    @test (Sys.windows_version()::Tuple{Int,Int})[1] > 0
+end
+
+@test (@static true ? 1 : 2) === 1
+@test (@static false ? 1 : 2) === 2
+@test (@static if true 1 end) === 1
+@test (@static if false 1 end) === nothing
+@test (@static true && 1) === 1
+@test (@static false && 1) === false
+@test (@static true || 1) === true
+@test (@static false || 1) === 1