Add cfunction tuple of types deprecation

NEWS.md

@@ -312,12 +312,16 @@ Deprecated or removed
  * `Base.cpad` has been removed; use an appropriate combination of `rpad` and `lpad`
  instead ([#23187]).
 
+ * The tuple-of-types form of `cfunction`, `cfunction(f, returntype, (types...))`, has been deprecated
+ in favor of the tuple-type form `cfunction(f, returntype, Tuple{types...})` ([#23066]).
+
 Command-line option changes
 ---------------------------
 
  * New option `--warn-overwrite={yes|no}` to control the warning for overwriting method
  definitions. The default is `no` ([#23002]).
 
+
 Julia v0.6.0 Release Notes
 ==========================
 

base/deprecated.jl

@@ -1687,6 +1687,9 @@ end
 # issue #5148, PR #23259
 # warning for `const` on locals should be changed to an error in julia-syntax.scm
 
+# PR #23066
+@deprecate cfunction(f, r, a::Tuple) cfunction(f, r, Tuple{a...})
+
 # END 0.7 deprecations
 
 # BEGIN 1.0 deprecations

examples/embedding/embedding.c

@@ -142,7 +142,7 @@ int main()
  " nothing\n"
  "end");
  typedef void (*Func_VOID__VOID)(void);
- jl_value_t *pbar = jl_eval_string("cfunction(bar_from_c, Void, ())");
+ jl_value_t *pbar = jl_eval_string("cfunction(bar_from_c, Void, Tuple{})");
  Func_VOID__VOID bar = (Func_VOID__VOID)jl_unbox_voidpointer(pbar);
  bar();
  checked_eval_string("bar() = println(\"calling new bar\")");

src/codegen.cpp

@@ -1419,10 +1419,6 @@ extern "C" JL_DLLEXPORT
 void *jl_function_ptr(jl_function_t *f, jl_value_t *rt, jl_value_t *argt)
 {
  JL_GC_PUSH1(&argt);
- if (jl_is_tuple(argt)) {
- // TODO: maybe deprecation warning, better checking
- argt = (jl_value_t*)jl_apply_tuple_type_v((jl_value_t**)jl_data_ptr(argt), jl_nfields(argt));
- }
  JL_LOCK(&codegen_lock);
  Function *llvmf = jl_cfunction_object(f, rt, (jl_tupletype_t*)argt);
  JL_GC_POP();

test/ambiguous.jl

@@ -67,15 +67,15 @@ end
 # Test that non-ambiguous cases work
 io = IOBuffer()
 @test precompile(ambig, (Int, Int)) == true
-cfunction(ambig, Int, (Int, Int))
+cfunction(ambig, Int, Tuple{Int, Int})
 @test length(code_lowered(ambig, (Int, Int))) == 1
 @test length(code_typed(ambig, (Int, Int))) == 1
 code_llvm(io, ambig, (Int, Int))
 code_native(io, ambig, (Int, Int))
 
 # Test that ambiguous cases fail appropriately
 @test precompile(ambig, (UInt8, Int)) == false
-cfunction(ambig, Int, (UInt8, Int)) # test for a crash (doesn't throw an error)
+cfunction(ambig, Int, Tuple{UInt8, Int}) # test for a crash (doesn't throw an error)
 @test_throws ErrorException which(ambig, (UInt8, Int))
 @test_throws ErrorException code_llvm(io, ambig, (UInt8, Int))
 @test_throws ErrorException code_native(io, ambig, (UInt8, Int))

test/ccall.jl

@@ -791,57 +791,57 @@ for (t,v) in ((Complex{Int32},:ci32),(Complex{Int64},:ci64),
  function $fname(s)
  @assert false
  end
- b = ccall(cfunction($fname1,Ref{$t},(Ref{$t},)),Ref{$t},(Ref{$t},),a)
+ b = ccall(cfunction($fname1, Ref{$t}, Tuple{Ref{$t}}), Ref{$t}, (Ref{$t},), a)
  verbose && println("C: ",b)
  @test b == $v
  @test b === a
  @test b === c
- b = ccall(cfunction($fname,$t,($t,)),$t,($t,),a)
+ b = ccall(cfunction($fname, $t, Tuple{$t}), $t, ($t,), a)
  verbose && println("C: ",b)
  @test b == $v
  if ($(t).mutable)
  @test !(b === c)
  @test !(b === a)
  end
- b = ccall(cfunction($fname1,$t,(Ref{$t},)),$t,(Ref{$t},),a)
+ b = ccall(cfunction($fname1, $t, Tuple{Ref{$t}}), $t, (Ref{$t},), a)
  verbose && println("C: ",b)
  @test b == $v
  if ($(t).mutable)
  @test !(b === c)
  @test !(b === a)
  end
- b = ccall(cfunction($fname,Ref{$t},($t,)),Ref{$t},($t,),a)
+ b = ccall(cfunction($fname, Ref{$t}, Tuple{$t}), Ref{$t}, ($t,), a)
  verbose && println("C: ",b)
  @test b == $v
  @test b === c
  if ($(t).mutable)
  @test !(b === a)
  end
- b = ccall(cfunction($fname,Any,(Ref{$t},)),Any,(Ref{$t},),$v)
+ b = ccall(cfunction($fname, Any, Tuple{Ref{$t}}), Any, (Ref{$t},), $v)
  verbose && println("C: ",b)
  @test b == $v
  @test b === c
  if ($(t).mutable)
  @test !(b === a)
  end
- b = ccall(cfunction($fname,Any,(Ref{Any},)),Any,(Ref{Any},),$v)
+ b = ccall(cfunction($fname, Any, Tuple{Ref{Any}}), Any, (Ref{Any},), $v)
  @test b == $v
  @test b === c
  if ($(t).mutable)
  @test !(b === a)
  end
- @test_throws TypeError ccall(cfunction($fname,Ref{AbstractString},(Ref{Any},)),Any,(Ref{Any},),$v)
- @test_throws TypeError ccall(cfunction($fname,AbstractString,(Ref{Any},)),Any,(Ref{Any},),$v)
+ @test_throws TypeError ccall(cfunction($fname, Ref{AbstractString}, Tuple{Ref{Any}}), Any, (Ref{Any},), $v)
+ @test_throws TypeError ccall(cfunction($fname, AbstractString, Tuple{Ref{Any}}), Any, (Ref{Any},), $v)
  end
 end
 
 # issue 13031
 foo13031(x) = Cint(1)
-foo13031p = cfunction(foo13031, Cint, (Ref{Tuple{}},))
+foo13031p = cfunction(foo13031, Cint, Tuple{Ref{Tuple{}}})
 ccall(foo13031p, Cint, (Ref{Tuple{}},), ())
 
 foo13031(x,y,z) = z
-foo13031p = cfunction(foo13031, Cint, (Ref{Tuple{}},Ref{Tuple{}},Cint))
+foo13031p = cfunction(foo13031, Cint, Tuple{Ref{Tuple{}}, Ref{Tuple{}}, Cint})
 ccall(foo13031p, Cint, (Ref{Tuple{}},Ref{Tuple{}},Cint), (), (), 8)
 
 # issue 17219
@@ -993,7 +993,7 @@ if Sys.ARCH === :x86_64
  T = NTuple{4, VecElement{s}}
  @eval function rt_sse(a1::$T, a2::$T, a3::$T, a4::$T)
  return ccall(
- cfunction(foo_ams, $T, ($T, $T, $T, $T)),
+ cfunction(foo_ams, $T, Tuple{$T, $T, $T, $T}),
  $T,
  ($T, $T, $T, $T),
  a1, a2, a3, a4)
@@ -1281,7 +1281,7 @@ end
 evalf_callback_19805(ci::callinfos_19805{FUNC_FT}) where {FUNC_FT} = ci.f(0.5)::Float64
 
 evalf_callback_c_19805(ci::callinfos_19805{FUNC_FT}) where {FUNC_FT} = cfunction(
- evalf_callback_19805, Float64, (callinfos_19805{FUNC_FT},))
+ evalf_callback_19805, Float64, Tuple{callinfos_19805{FUNC_FT}})
 
 @test_throws(ErrorException("ccall: the type of argument 1 doesn't correspond to a C type"),
  evalf_callback_c_19805( callinfos_19805(sin) ))

test/core.jl

@@ -4397,7 +4397,7 @@ end
 function f18054()
  return Cint(0)
 end
-cfunction(f18054, Cint, ())
+cfunction(f18054, Cint, Tuple{})
 
 # issue #18986: the ccall optimization of cfunction leaves JL_TRY stack in bad state
 dummy18996() = return nothing

test/misc.jl

@@ -574,7 +574,7 @@ if Sys.iswindows()
  x+y
  end
 
- let addr = cfunction(WeVirtualProtectThisToRWX, UInt64, (UInt64, UInt64))
+ let addr = cfunction(WeVirtualProtectThisToRWX, UInt64, Tuple{UInt64, UInt64})
  addr = addr-(UInt64(addr)%4096)
  PAGE_EXECUTE_READWRITE = 0x40
  oldPerm = Ref{UInt32}()

test/reflection.jl

@@ -490,7 +490,7 @@ end
 tracefoo(x, y) = x+y
 didtrace = false
 tracer(x::Ptr{Void}) = (@test isa(unsafe_pointer_to_objref(x), Core.MethodInstance); global didtrace = true; nothing)
-ccall(:jl_register_method_tracer, Void, (Ptr{Void},), cfunction(tracer, Void, (Ptr{Void},)))
+ccall(:jl_register_method_tracer, Void, (Ptr{Void},), cfunction(tracer, Void, Tuple{Ptr{Void}}))
 meth = which(tracefoo,Tuple{Any,Any})
 ccall(:jl_trace_method, Void, (Any,), meth)
 @test tracefoo(1, 2) == 3
@@ -503,7 +503,7 @@ ccall(:jl_register_method_tracer, Void, (Ptr{Void},), C_NULL)
 
 # Method Tracing test
 methtracer(x::Ptr{Void}) = (@test isa(unsafe_pointer_to_objref(x), Method); global didtrace = true; nothing)
-ccall(:jl_register_newmeth_tracer, Void, (Ptr{Void},), cfunction(methtracer, Void, (Ptr{Void},)))
+ccall(:jl_register_newmeth_tracer, Void, (Ptr{Void},), cfunction(methtracer, Void, Tuple{Ptr{Void}}))
 tracefoo2(x, y) = x*y
 @test didtrace
 didtrace = false

test/spawn.jl

@@ -254,7 +254,7 @@ let fname = tempname()
  oldhandle = OLD_STDERR.handle
  OLD_STDERR.status = Base.StatusClosing
  OLD_STDERR.handle = C_NULL
- ccall(:uv_close, Void, (Ptr{Void}, Ptr{Void}), oldhandle, cfunction(thrash, Void, (Ptr{Void},)))
+ ccall(:uv_close, Void, (Ptr{Void}, Ptr{Void}), oldhandle, cfunction(thrash, Void, Tuple{Ptr{Void}}))
  sleep(1)
  import Base.zzzInvalidIdentifier
  """

test/staged.jl

@@ -147,7 +147,7 @@ module TestGeneratedThrow
  foo() = (bar(rand() > 0.5 ? 1 : 1.0); error("foo"))
  function __init__()
  code_typed(foo,(); optimize = false)
- cfunction(foo,Void,())
+ cfunction(foo,Void,Tuple{})
  end
 end