Skip to content

Merge new reinterpret with essentials.jl reinterpret#50367

Merged
vtjnash merged 5 commits intoJuliaLang:masterfrom
BioTurboNick:reinterpret-merge
Jul 7, 2023
Merged

Merge new reinterpret with essentials.jl reinterpret#50367
vtjnash merged 5 commits intoJuliaLang:masterfrom
BioTurboNick:reinterpret-merge

Conversation

@BioTurboNick
Copy link
Copy Markdown
Contributor

@BioTurboNick BioTurboNick commented Jun 30, 2023

As noted here: #47116 (comment) #47116 (comment)

the new reinterpret overrides one in essentials.jl, leading to warnings and invalidations. This PR seeks to merge them.

Should be careful - defining this on the REPL slowed everything down, though that may have just been invalidations leading to recompilation.

@oscardssmith oscardssmith added the needs nanosoldier run This PR should have benchmarks run on it label Jun 30, 2023
@vtjnash vtjnash removed the needs nanosoldier run This PR should have benchmarks run on it label Jul 7, 2023
@vtjnash vtjnash merged commit b99f251 into JuliaLang:master Jul 7, 2023
KristofferC pushed a commit that referenced this pull request Jul 24, 2023
@KristofferC KristofferC mentioned this pull request Mar 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants