julia
ccall: make distinction of pointer vs name a syntactic distinction
#59165

Merged

ccall: make distinction of pointer vs name a syntactic distinction #59165

vtjnash merged 1 commit into master from jn/syntax-verified-ccall

vtjnash added minor change

vtjnash added ffi

vtjnash added backport 1.12

vtjnash added needs pkgeval

topolarity changed the title ~~ccall: make distinction of pointer vs name a syntatic distinction~~ ccall: make distinction of pointer vs name a syntactic distinction 181 days ago

JeffBezanson commented on 2025-07-31

topolarity commented on 2025-08-01

vtjnash force pushed from 8aed4d75 to cce193b1 180 days ago

vtjnash force pushed from cce193b1 to 1e710e90 135 days ago

vtjnash force pushed from 1e710e90 to b3f8bb4e 133 days ago

vtjnash removed needs pkgeval

vtjnash force pushed from b3f8bb4e to 9c7d4e18 133 days ago

vtjnash force pushed from b251daca to 159a24f0 113 days ago

ccall: make distinction of pointer vs name a syntatic distinction

8441383e

vtjnash force pushed from 159a24f0 to 8441383e 112 days ago

vtjnash merged 829666da into master 111 days ago

vtjnash deleted the jn/syntax-verified-ccall branch 111 days ago

oscardssmith removed backport 1.12

Reviewers

topolarity

JeffBezanson

Assignees

No one assigned

Labels

minor change ffi

Milestone

No milestone

julia ccall: make distinction of pointer vs name a syntactic distinction #59165 Merged

ccall: make distinction of pointer vs name a syntactic distinction #59165

julia
ccall: make distinction of pointer vs name a syntactic distinction
#59165

Merged