JuliaLang / julia
78%

DEFAULT BRANCH: master
Repo Added
Files 352
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

LAST BUILD ON BRANCH master
branch: SELECT
CHANGE BRANCH
x

coverage: 77.655% (-0.1%) from 77.782%
1556

push

buildkite

web-flow 
type system: Refactor Type{} structure (#61915)

This refactors `Type` to be a proper kind (like Union) rather than a
magic DataType. In addition, the (also, but separately) magic Type{T} (T
free) supertype of `DataType` is replaced by a proper abstact type. The
previous design dates back to before DataType and UnionAll were separate
concepts and were essentially a hack to make `Type` behave properly.
Such hacks are no longer required. This PR is primarily prepratory to
address several long-standing soundness issues around the subtyping of
Type, but this PR itself does not address those issues yet - it is
intended to be purely the structural change that will enable those
changes in a follow on PR.

The new kind is called TypeEq, but `const Type = TypeEq{T} where T` is
retained, so users keep using `Type{}` as usual. The new supertype of
DataType is called `AnyType` and `Type == AnyType` (but not === of course).

`getproperty` overloads are provided for compatibility, but the
recommended accessor for new code is a (new) `Base.type_parameter`.

Written by GPT 5.5

---------

Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: Keno Fischer <Keno@users.noreply.github.com>
Co-authored-by: OpenAI <support@openai.com>
Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>

160 of 251 new or added lines in 20 files covered. (63.75%)

174 existing lines in 16 files now uncovered.

65842 of 84788 relevant lines covered (77.65%)

22456461.74 hits per line

Relevant lines Covered
84788 RELEVANT LINES 65842 COVERED LINES
22456461.74 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1556 master type system: Refactor Type{} structure (#61915) This refactors `Type` to be a proper kind (like Union) rather than a magic DataType. In addition, the (also, but separately) magic Type{T} (T free) supertype of `DataType` is replaced by a proper ab... push web-flow buildkite
77.65
1555 master Don't rewrap other unioned types in flatten_type_union (#61980) Fixes #61914, using the suggestion by Opus 4.6. (Thanks to @JeffBezanson for confirmation that the original issue was real) Here's a simpler example I used to understand the problem... push web-flow buildkite
77.78
1554 master inference: avoid allocating alias groups when no aliasing is possible (#61943) `compute_alias_groups` unconditionally allocated a `Vector{Int}` on every call, even though it is reached from `unionsplitcost` on the inference hot path (method match... push web-flow buildkite
77.0
57654 ib/fix_coverage Compiler: set syntax version to 1.14 Pull #61964 IanButterworth buildkite
77.61
1549 master [JuliaLowering] Special-case macrocall in `do` (#61912) Equivalent to #27538, fix https://github.com/aviatesk/JETLS.jl/issues/717 push web-flow buildkite
77.79
1548 master Reland "Base.Docs: fix Binding constructor for renamed imports" (#61897) (#61903) The stock `Base.Docs.Binding(m, v)` constructor keeps the local symbol `v` while normalising the module via `binding_module(m, v)`. For renamed imports such as `usi... push web-flow buildkite
77.73
1519 master Base.Linking: Link C runtime libraries by default (#61652) Linux / Windows (glibc) equivalent to https://github.com/JuliaLang/julia/pull/61633. This allows us to turn on `-z def` when linking the sysimage / pkgimages. I tried to emulate a "stand... push web-flow buildkite
78.0
1517 master OpenBLAS: Update to 0.3.32 (#61666) push web-flow buildkite
77.97
1516 master Specialize f in map(f, ::NamedTuple) (#61654) This lack of specialization is problematic, because the result of the map is used in the function body. Without specialization, this causes excessive allocations. This was discovered by @aplavin with... push web-flow buildkite
78.04
1515 master Update mtime of libclang_rt.osx.a after moving (#61647) `mv` preserves the mtime of `libclang_rt.osx.a`, which is older than the mtime of `$(build_prefix)/manifest/compilerrt`, causing subsequent builds to fail with `mv: cannot stat 'usr/lib/darw... push web-flow buildkite
78.07
See All Builds (6529)