Keno Fischer f8d353313e WIP: type system: Refactor Type{} structure ...

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 `Kind` and `Type == Kind` (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

2026-05-27 05:25:48 +00:00

..

clangsa

make just one MethodTable (#58131)

2025-05-28 11:24:04 -04:00

depot/packages

…

embedding

remove jl_function_t typealias (#59216)

2025-08-06 07:47:26 -04:00

gc

Switch a bunch of 2-space tabs to 4-space tabs [NFC] (#54198)

2024-05-29 15:43:56 +02:00

gcext

Fix Base.summarysize crash for instances of foreign types (#61517)

2026-04-07 21:39:15 +02:00

llvmpasses

Replace hand-maintained CPU tables with cpufeatures library (#61292)

2026-04-14 12:37:48 -03:00

manifest

…

netload

…

project

precompilation: make the handling of project vs workspace more similar (#61290)

2026-03-13 20:32:47 +01:00

RelocationTestPkg1

…

RelocationTestPkg2

RFC: Make include_dependency(path; track_content=true) the default (#54965)

2024-07-02 13:22:30 -04:00

RelocationTestPkg3

…

RelocationTestPkg4

Avoid repeated precompilation when loading from non-relocatable cachefiles (#53905)

2024-04-02 12:25:09 +02:00

strings

strings: assert nothrow effects on Char and String predicates (#61625)

2026-05-06 09:16:06 -04:00

testhelpers

NFC: Add StridedArrays.jl testhelper (#61250)

2026-05-06 16:43:16 -04:00

TestPkg

…

trimming

Fix-up --trim support for hcat / vcat / etc. (#61551)

2026-04-10 14:58:54 -04:00

unicode

…

.gitignore

Avoid repeated precompilation when loading from non-relocatable cachefiles (#53905)

2024-04-02 12:25:09 +02:00

abstractarray.jl

speed up hvcat_fill! by unrolling internal iteration for type-stability (#61426)

2026-05-15 08:11:37 -04:00

ambiguous.jl

cmd: allow mixed value types in environment variable pairs (#61528)

2026-05-04 10:16:26 -04:00

apint.jl

intrinsics: Implement arbitrary-width integer intrinsics in C (#61399)

2026-03-31 14:10:54 -04:00

arrayops.jl

make checkbounds(collection, indices...) return nothing when returning (#60956)

2026-02-10 19:14:07 -05:00

asyncmap.jl

rewrite asyncmap to use plain buffers instead of Ref (#61445)

2026-04-24 07:56:32 -04:00

atexit.jl

make threaded exit and cache file loading safer by pausing other threads (#55105)

2024-07-13 23:12:47 +02:00

atomics.jl

Add memoryrefunset intrinsic (#61759)

2026-05-21 12:14:24 -04:00

backtrace.jl

StackTraces.lookup(::Base.InterpreterIP): fix some boxing and some bad inference (#59338)

2025-08-21 14:24:11 +01:00

binaryplatforms.jl

Replace hand-maintained CPU tables with cpufeatures library (#61292)

2026-04-14 12:37:48 -03:00

bitarray.jl

Test: add context arg for @test etc. (#60501)

2025-12-31 04:21:55 -05:00

bitset.jl

…

boundscheck_exec.jl

codegen: Move GC pointer zeroing to late-gc-lowering (#60924)

2026-02-09 15:12:10 -03:00

boundscheck.jl

…

broadcast.jl

inline broadcast vararg method (#61776)

2026-05-13 20:44:33 -04:00

buildkitetestjson.jl

[JuliaLowering] Many declaration/assignment tests, minor bugfixes (#61213)

2026-03-17 10:00:46 -07:00

cartesian.jl

Rewrite macros to use automatic hygiene

2025-08-14 14:38:58 +00:00

ccall.jl

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

2025-10-09 16:00:40 -04:00

channel_threadpool.jl

Capture/silence some noisy test warnings (#57111)

2025-01-20 21:23:42 -05:00

channels.jl

Scheduler: Use a "scheduler" task for thread sleep (#57544)

2025-03-27 11:10:05 -04:00

char.jl

strings: assert nothrow effects on Char and String predicates (#61625)

2026-05-06 09:16:06 -04:00

checked.jl

Skip some stock GC-specific tests when using MMTk (#57104)

2025-01-24 16:37:50 -03:00

choosetests.jl

intrinsics: Implement arbitrary-width integer intrinsics in C (#61399)

2026-03-31 14:10:54 -04:00

client.jl

Restore stacktrace scrubing in fallback REPL. (#59241)

2025-08-14 02:46:34 -04:00

cmdlineargs.jl

add short CLI option -P for --project (#59867)

2026-04-24 13:07:16 -04:00

combinatorics.jl

improve effects of factorial (#54320)

2024-05-02 18:12:03 +09:00

compileall.jl

Change delayed delete mechanism to prevent cross-drive mv failure for in-use DLL (#59635)

2025-10-01 11:06:32 -04:00

complex.jl

fix overflow in complex muladd (#59688)

2025-10-17 16:48:33 -04:00

copy.jl

fix deepcopy for non-trivial circular references (#56990)

2025-01-09 12:30:55 +01:00

core.jl

WIP: type system: Refactor Type{} structure

2026-05-27 05:25:48 +00:00

corelogging.jl

Add try/catch around handle_message() to catch errors during logging. (#57004)

2025-01-17 10:28:20 -07:00

deprecation_exec.jl

Make world-age increments explicit (#56509)

2024-11-20 23:51:38 -05:00

dict.jl

Implement setindex for ImmutableDict (#59880)

2026-02-03 15:42:16 -05:00

docs.jl

Fix Base.show(io::IO, b::Binding) for e.g. :(:) or :(==) (#61043)

2026-02-17 12:28:53 +01:00

download_exec.jl

Merge pull request #60834 from rokke-git/patch-5

2026-01-28 00:16:20 -05:00

download.jl

…

enums.jl

…

env.jl

…

error.jl

use more canonical way to check binding existence (#58809)

2025-06-27 14:37:11 +09:00

errorshow.jl

suggest candidate methods on typename wrapper when parameterized call has no methods (#61700)

2026-05-15 08:01:21 -04:00

euler.jl

…

exceptions.jl

syntax: Disallow using @goto to skip finally blocks (#60979)

2026-04-02 19:23:10 -04:00

fastmath.jl

math: fix exp_impl_fast Float64 nothrow inference (#61615)

2026-04-20 20:24:13 -04:00

faulty_constructor_method_should_not_cause_stack_overflows.jl

prevent stack overflows from user-defined constructor methods: strings (#60876)

2026-01-30 14:51:02 -05:00

file.jl

use uv_fs_copyfile for cp (#59662)

2026-04-25 10:40:17 +02:00

filesystem.jl

Make mv more atomic by trying rename before deleting dst (#55384)

2024-08-08 18:56:56 -04:00

float16.jl

Fix unsafe_trunc test for NaN16 (#56630)

2024-11-21 12:21:25 -05:00

floatapprox.jl

…

floatfuncs.jl

Fix some corner cases of isapprox with unsigned integers (#55828)

2024-09-26 09:34:03 -05:00

functional.jl

use splat instead of a local function in Generator constructors (#61233)

2026-03-08 00:53:36 +01:00

gc.jl

GC Always Full Flag (#58713)

2025-06-12 18:44:56 -03:00

generic_map_tests.jl

rewrite asyncmap to use plain buffers instead of Ref (#61445)

2026-04-24 07:56:32 -04:00

gmp.jl

New prod(::AbstractArray{BigInt}) implementation (#59456)

2025-09-20 12:37:59 -05:00

goto.jl

syntax: Disallow using @goto to skip finally blocks (#60979)

2026-04-02 19:23:10 -04:00

hashing.jl

WIP: type system: Refactor Type{} structure

2026-05-27 05:25:48 +00:00

int.jl

fix mod for mixes of Signed and Unsigned (#57853)

2025-03-22 21:55:11 -04:00

interpreter.jl

builtins: fix off-by-one nargs in jl_f_invoke CodeInstance fallback (#61110)

2026-02-21 13:50:56 -05:00

intfuncs.jl

improve performance of powermod (#59930)

2025-10-22 16:26:13 -04:00

intrinsics.jl

codegen: Configure --expand-fp-convert-bits 128 on targets with __int128_t (#61448)

2026-03-31 01:35:28 -04:00

iobuffer.jl

Implement takestring!

2025-05-18 13:08:51 +02:00

iostream.jl

Fix fd(::IOStream) returning an integer (#55080)

2024-07-25 13:53:05 +00:00

iterators.jl

Add Iterators.findeach (#54124)

2025-08-21 21:30:34 +08:00

jit.jl

Add function to emit multiple CodeInstances to the JIT atomically (remove jl_typeinf_lock) (#61255)

2026-04-28 10:33:48 -04:00

JuliaLowering_stdlibs.jl

[JuliaLowering] Add Compiler to the set of pre-compiled packages (#61514)

2026-04-06 16:50:02 -04:00

keywordargs.jl

…

llvmcall2.jl

[jitlayers] add missing JD parameter to remaining external API call (#60988)

2026-05-11 20:50:06 -04:00

llvmcall.jl

add error handling for ghost types in llvmcall (#61263)

2026-03-08 21:55:30 -04:00

loading.jl

Preferences: Fully serialize compile-time preferences (#61214)

2026-03-05 10:02:22 -05:00

Makefile

Add test-JuliaLowering_stdlibs target for precompiling stdlibs with JuliaLowering (#60194)

2025-12-02 13:27:46 -05:00

math.jl

redo sinpi and cospi kernel polynomial approximation (#59031)

2026-01-28 14:37:21 -05:00

meta.jl

Add Core._lower for swapping out lowering implementation

2025-04-25 14:53:57 -07:00

misc.jl

WIP: type system: Refactor Type{} structure

2026-05-27 05:25:48 +00:00

missing.jl

…

mod2pi.jl

…

mpfr.jl

Fix rounding when converting Rational to BigFloat (#59063)

2025-07-27 07:27:14 -04:00

namedtuple.jl

Make haskey(::@Kwargs{item::Bool}, :item) constant-fold (#59320)

2025-08-20 08:10:38 -04:00

numbers.jl

Implement rem(x, y, r) with RoundNearestTiesUp and RoundNearestTiesAway for Integer and AbstractFloat (#60918)

2026-04-22 11:46:11 -04:00

offsetarray.jl

Replace some uses of Array by Vector or Matrix (#60154)

2025-11-23 16:47:33 +01:00

opaque_closure.jl

fix some typos in passing kwargs to code_typed_opaque_closure (#60941)

2026-02-06 14:26:13 -05:00

operators.jl

subtype: Move constrains_param computation into subtyping (#61645)

2026-05-13 13:11:32 -04:00

ordering.jl

…

osutils.jl

base: add Sys.detectwsl() (#57069)

2025-01-21 17:15:50 +01:00

parse.jl

Add unit tests for parsing characters to integers (#60396)

2025-12-17 14:25:03 +01:00

path.jl

backticks: implement tilde expansion (#61397)

2026-04-10 20:12:24 -04:00

precompile_absint1.jl

Ensure CI from external MI and foreign abs interpreter survive precompilation (#60747)

2026-03-03 16:23:26 +01:00

precompile_absint2.jl

Ensure CI from external MI and foreign abs interpreter survive precompilation (#60747)

2026-03-03 16:23:26 +01:00

precompile_extmi.jl

Handle non-standard Method.source in invalidation scanner (#61670)

2026-04-29 11:54:06 +02:00

precompile_utils.jl

Ensure CI from external MI and foreign abs interpreter survive precompilation (#60747)

2026-03-03 16:23:26 +01:00

precompile.jl

precompilation: fix extension dep graph to iterate to fixed point (#61272)

2026-03-16 15:15:48 -04:00

print_process_affinity.jl

…

profile_spawnmany_exec.jl

…

ranges.jl

StepRangeLen - conversion not contruction on indexed access (#61580)

2026-04-21 14:37:11 -04:00

rational.jl

Improve rationalize fallback result (#61297)

2026-03-18 21:05:31 -04:00

read.jl

Fix the implementation of closewrite(::AbstractPipe) (#57140)

2025-02-26 16:34:35 -05:00

rebinding.jl

Add memoryrefunset intrinsic (#61759)

2026-05-21 12:14:24 -04:00

reduce.jl

Fix interaction between foldr and Iterators.flatten (#61806)

2026-05-15 07:55:32 -04:00

reducedim.jl

make add_sum(::Bool, ::BitIntegerSmall) promote to Int (#58374)

2025-05-22 13:42:26 -05:00

reflection.jl

InteractiveUtils: access bindings in fixed world (#61804)

2026-05-14 23:12:00 -04:00

regex.jl

Use === to compare with nothing in tests (#55563)

2024-08-22 23:08:37 +05:30

reinterpretarray.jl

NFC: Add StridedArrays.jl testhelper (#61250)

2026-05-06 16:43:16 -04:00

relocatedepot.jl

Change delayed delete mechanism to prevent cross-drive mv failure for in-use DLL (#59635)

2025-10-01 11:06:32 -04:00

rounding.jl

add missing _convert_rounding methods for RoundFromZero (#57802)

2025-03-21 13:37:51 -04:00

runtests.jl

make test-revise-*: Initialize Revise fully on workers (#61321)

2026-04-12 02:03:59 -04:00

ryu.jl

reduce allocations for string(::IEEEFloat) (#57977)

2025-12-24 21:48:22 -05:00

scopedvalues.jl

optimizer: Switch to Some{} in PersistentDict optimized generics (#61053)

2026-02-19 14:55:02 -05:00

secretbuffer.jl

Avoid hardcoding paths in Profile and Sys (#59998)

2025-11-08 10:52:21 +01:00

sets.jl

unroll tuple allequal for performance (#61433)

2026-03-31 19:36:47 -04:00

show.jl

Fix improper alignment of matrices with elided strings (#60812)

2026-04-17 15:14:48 -04:00

simdloop.jl

…

smallarrayshrink.jl

…

some.jl

more conservative promote_rule for Some (#58836)

2025-08-16 21:27:46 +01:00

sorting.jl

Only apply Base.Sort.SubArrayOptimization when iszero(v.offset1) (#59572)

2025-09-17 11:12:46 +08:00

spawn.jl

cmd: allow mixed value types in environment variable pairs (#61528)

2026-05-04 10:16:26 -04:00

specificity.jl

WIP: type system: Refactor Type{} structure

2026-05-27 05:25:48 +00:00

stack_overflow.jl

…

stacktraces.jl

stacktrace: Enable method signature printing for inlined frames (#53925)

2026-04-17 15:15:34 -04:00

staged.jl

WIP: type system: Refactor Type{} structure

2026-05-27 05:25:48 +00:00

stdlib_dependencies.jl

Use jlutilities mechanism for external package required in test (#60232)

2025-11-25 03:25:36 -05:00

stress_fd_exec.jl

…

stress.jl

…

subarray.jl

NFC: Add StridedArrays.jl testhelper (#61250)

2026-05-06 16:43:16 -04:00

subtype.jl

subtype: Treat free TypeVars as singleton identities (#61876)

2026-05-25 22:42:47 -04:00

syntax.jl

Remove check preventing globals shadowing locals outside function (#61556)

2026-04-14 08:21:57 -07:00

sysinfo.jl

Clarify that cpu_info times are expressed in milliseconds (#60480)

2025-12-27 08:54:58 -05:00

tempdepot.jl

Change delayed delete mechanism to prevent cross-drive mv failure for in-use DLL (#59635)

2025-10-01 11:06:32 -04:00

terminfo.jl

…

test_exec.jl

…

test_sourcepath.jl

…

testdefs.jl

Allow ScopedValue defaults to be lazily computed (#59372)

2025-09-01 06:45:39 -04:00

testenv.jl

…

threadpool_latency.jl

…

threadpool_use.jl

Add option to use @spawn :samepool for using the same threadpool as the caller (#57109)

2025-01-27 13:25:59 -05:00

threads_comprehensions.jl

@threads: Use thread-local buffers for filtered comprehensions. Expand greedy tests (#61346)

2026-03-18 22:51:13 -04:00

threads_exec.jl

Add function to emit multiple CodeInstances to the JIT atomically (remove jl_typeinf_lock) (#61255)

2026-04-28 10:33:48 -04:00

threads.jl

Make @threads work on array comprehensions (#59019)

2026-03-17 07:48:57 -04:00

triplequote.jl

…

tuple.jl

perf: bulk fast paths for NTuple-from-array and rand!(::Array{Complex}) (#61762)

2026-05-17 22:48:10 -04:00

typegroup.jl

syntax: Add typegroup blocks (#60569)

2026-03-05 20:45:01 -05:00

vecelement.jl

Make Memory{T} respect the max alignment of the heap (#53748)

2024-05-10 11:29:16 +02:00

version.jl

…

worlds.jl

Fix world update after resolving definition effects in jl_eval_thunk (#61349)

2026-03-20 18:41:33 +10:00