JuliaLang / julia / 1531
78%

DEFAULT BRANCH: master
Ran
Jobs 0
Files 0
Run time –
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
1531

push

buildkite

web-flow 
errorshow: highlight nested type mismatches in MethodError candidates (#61651)

highlight only "inner" differences of types in "did you mean" dispatch
candidates to more easily identify what went wrong

Fixes #41061

mostly 1-shot by claude

some examples

`f(x::Dict{String, Vector{Int}}) = 1; f(Dict{Symbol, Vector{Int}}());`

<img width="246" height="36" alt="image"
src="https://github.com/user-attachments/assets/e10efe64-71ef-4847-9479-5a98755093be"
/>


becomes

<img width="246" height="33" alt="image"
src="https://github.com/user-attachments/assets/75a34998-6e31-4371-a829-ce4015b5f831"
/>

.
or `f(x::Vector{T}) where T<:Real = 1; f(["a","b"])`

<img width="231" height="35" alt="image"
src="https://github.com/user-attachments/assets/527bea2b-204d-4a9a-92c7-f98f5563ef5a"
/>


becomes

<img width="221" height="39" alt="image"
src="https://github.com/user-attachments/assets/e36596d7-f597-44f2-b6e6-9e22e312f12a"
/>


.
or identify the bad position in a tuple `f(x::Tuple{Int, String,
Float64}) = 1; f((1.0, :x, 2.0));`

<img width="261" height="35" alt="image"
src="https://github.com/user-attachments/assets/84e6016d-05ca-43b8-885b-7242a5301edb"
/>

becomes

<img width="261" height="34" alt="image"
src="https://github.com/user-attachments/assets/44ce5e43-b40f-4b86-87df-94759774917f"
/>

.
`NamedTuple` is also supported. we can get something like

<img width="324" height="60" alt="image"
src="https://github.com/user-attachments/assets/21b8abb5-f583-4743-8bba-667fbfb86e61"
/>

to become

<img width="313" height="66" alt="image"
src="https://github.com/user-attachments/assets/3e4e5e5e-e836-4c14-8fa5-2ea7343494d3"
/>


~~the main drawback is that we lose type aliases (see how we get
`Array{T, 1}` rather than `Vector{Int}`). not sure if that's a blocker
or not. a compromise might be to call `make_typealias` only at the top
level of the signature but not during the recursion~~ EDIT: this should
now be resolved

---------

Co-authored-by: Claude Opus 4.7 (1M con... (continued)
Source Files on build 1531
Detailed source file information is not available for this build.