- It is now possible to control which version of the Julia syntax will be used to parse a package by setting the
compat.juliaorsyntax.julia_versionkey in Project.toml. This feature is similar to the notion of "editions" in other language ecosystems and will allow non-breaking evolution of Julia syntax in future versions. See the "Syntax Versioning" section in the code loading documentation ([#60018]). ᵅ(U+U+1D45),ᵋ(U+1D4B),ᶲ(U+1DB2),˱(U+02F1),˲(U+02F2), andₔ(U+2094) can now also be used as operator suffixes, accessible as\^alpha,\^epsilon,\^ltphi,\_<,\_>, and\_schwaat the REPL ([#60285]).- The
@labelmacro can now create labeled blocks that can be exited early withbreak name [value]. Use@label name exprfor named blocks or@label exprfor anonymous blocks. Anonymous@labelblocks participate in the default break scope: a plainbreakorbreak _exits the innermost breakable scope, whether it is a loop or an@labelblock. Thecontinuestatement also supports labels withcontinue nameto continue a labeled loop ([#60481]). typegroupblocks allow defining mutually recursive struct types that reference each other in their field types. All types in the group are resolved atomically at the end of the block ([#60569]).
- Type inference now refines field types through conditional checks and call signatures.
For example, after
if !isnothing(x.field), inference knowsx.fieldis notnothingwithin the branch. Similarly, after a call likefunc(x.field)wherefunc(::Int)is the only matching method, inference refinesx.fieldtoInt. This works for immutable struct fields andconstfields of mutable structs. Mutable (non-const) fields are not supported due to the lack of per-object memory effect tracking; for those, the recommended pattern remains storing the field value in a local variable before the check (e.g.val = x.field; if !isnothing(val) ... end) ([#41199], [#47574]).
- New functions
Threads.atomic_fence_heavyandThreads.atomic_fence_lightprovide support for asymmetric atomic fences, speeding up atomic synchronization where one side of the synchronization runs significantly less often than the other ([#60311]).
IOContextsupports a new booleanhexunsignedoption that allows for printing unsigned integers in decimal instead of hexadecimal ([#60267]).
codepoint(c)now succeeds for overlong encodings.Base.ismalformed,Base.isoverlong, andBase.show_invalidare nowpublicand documented (but not exported) ([#55152]).
- Support "raw" or "inline" HTML inside Markdown data ([#60629], [#60632], [#60732])
- Support autolinks for email addresses (#60570)
- Many improvements and bugfixes for rendering Markdown lists in a terminal ([#55456], [#60519])
- Strikethrough text via
~strike~or~~through~~is now supported by the Markdown parser. ([#60537]) - Many, many bug fixes and minor tweaks; overall behavior is now much closer to CommonMark ([#59977], [#60502])
-
@test,@test_throws, and@test_brokennow support acontextkeyword argument that provides additional information displayed on test failure. This is useful for debugging which specific case failed in parameterized tests ([#60501]). -
@test_throws,@test_warn,@test_nowarn,@test_logs, and@test_deprecatednow supportbrokenandskipkeyword arguments for consistency with@test([#60543]). -
New functions
detect_closure_boxesanddetect_closure_boxes_allfind methods that allocateCore.Boxin their lowered code, which can indicate performance issues from captured variables in closures.
unix2datetimenow accepts a keyword argumentlocaltime=trueto use the host system's local time zone instead of UTC ([#50296]).