Skip to content

Update dependency org.scala-lang:scala3-library_3 to v3.7.0 #20

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Feb 14, 2024

This PR contains the following updates:

Package Change Age Adoption Passing Confidence
org.scala-lang:scala3-library_3 3.3.1 -> 3.7.0 age adoption passing confidence

Release Notes

scala/scala3 (org.scala-lang:scala3-library_3)

v3.7.0

Compare Source

v3.6.4

Compare Source

Highlights of the release

  • Support for JDK 24 #​22250
  • REPL :silent command to toggle automatic printing of outputs #​22248
  • REPL --repl-init-script: setting to run a code on startup #​22206
  • Deprecated setting -Xno-decode-stacktraces is now an alias to -Xno-enrich-error-messages #​22208
  • Annotation arguments are no longer lifted #​22035
  • Experimental Capture Checking: Implement tracked members #​21761

Breaking changes

  • Align @implicitNotFound and @implicitAmbigous with the language specification #​22371

    This change may impact users who previously used these annotations using variables or string interpolation.

    Previously, a bug in the Scala 3 compiler allowed non-literal strings to be passed as arguments to the @implicitNotFound and @implicitAmbiguous annotations.
    This could have affected how failed implicit search results were reported by the compiler.

    Starting from Scala 3.6.4, the arguments for these annotations must be string literals.
    If a message is too long, it can be concatenated using the + operator, allowing for constant folding.

Other changes and fixes

Annotations

  • Make sure symbols in annotation trees are fresh before pickling #​22002
  • Consider all arguments in Annotations.refersToParamOf #​22001
  • Do not lift annotation arguments (bis) #​22046

Desugaring

Documentation

  • Update example code linked to obsolete content in macros-spec.md #​22256

Experimental: Capture Checking

Experimental: Global Initialization

  • Fix crash when initializing val in ByName closure #​22354

Experimental: Named Tuples

  • Handle TypeProxy of Named Tuples in unapply #​22325
  • Fail more eagerly when trying to adapt named unapply patterns #​22315
  • Widen singleton types when computing fields from .Fields #​22149
  • Fix .toTuple insertion #​22028

Extension Methods

  • Tweak ExtensionNullifiedByMember #​22268
  • Nowarn extension matching nonpublic member #​21825

Implicits

  • Rollback constraints in compareAppliedTypeParamRef #​22339
  • Try implicit searching after finding dynamic select #​22318

Linting

  • Allow discarding "Discarded non-Unit" warnings with : Unit #​21927

Match Types

Metaprogramming

  • Rethrow SuspendExceptions caught in CodeGen phase #​22009

Metaprogramming: Compile-time

  • Extend compiletime.testing.typechecks with certain transform phases #​21185

Nullability

  • Fix #​21619: Refactor NotNullInfo to record every reference which is retracted once. #​21624

Presentation Compiler

  • Use new infer expected type for singleton complations #​21421
  • Fix match error in keyword completions #​22138

Reflection

  • Do not return java outline dummy constructor in primaryConstructor #​22104

Reporting

  • Normalise the types for Type Mismatch Error (E007) #​22337
  • Improve given search preference warning #​22189
  • Better error messages when an enum derives from AnyVal #​22236
  • Correctly print litteral types in the refined printer #​22351

Rewrites

Scaladoc

  • Scaladoc: Add support for named tuples #​22263

Settings

  • Limit exposure to ConcurrentModificationException when sys props are replaced or mutated #​22180

Specification

  • Align the spec to allow the marker #​22323
  • Integrate the specification for match types. #​22164

Transform

Typer

  • Fixes for isLegalPrefix change #​22241
  • Resolve name when named imp is behind wild imps #​21888

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 3.6.3..3.6.4 these are:

    46  Martin Odersky
    33  noti0na1
    24  Wojciech Mazur
    14  Dale Wijnand
    13  Matt Bovel
    11  Hamza Remmal
     7  Jan Chyb
     6  aherlihy
     5  Kacper Korban
     5  Seth Tisue
     5  Som Snytt
     4  Oliver Bračevac
     4  Yichen Xu
     3  Sébastien Doeraene
     3  dependabot[bot]
     3  kasiaMarek
     2  João Ferreira
     1  David Hua
     1  Eugene Flesselle
     1  Eugene Yokota
     1  Florian3k
     1  Jędrzej Rochala
     1  Kenji Yoshida
     1  Mathias
     1  Natsu Kagami
     1  Oleg Zenzin
     1  Piotr Chabelski
     1  Rui Chen
     1  philippus
     1  rochala
     1  xiaoshihou

v3.6.3

Compare Source

Highlights of the release

  • Scala 2 forwardport: -Yprofile-trace #​19897

Other changes and fixes

Annotations

  • Fix Java parsing of annotations on qualified types #​21867
  • Consider all arguments in Annotations.refersToParamOf #​22001

Backend

  • Flag class file collision as error #​19332

Compiler Phases

  • Fix #​21939: Update names and descriptions for cc and setup phases #​21942
  • Limit exposure to ConcurrentModificationException when sys props are replaced or mutated #​22275

Experimental: Explicit Nulls

  • Improve warning for wildcard matching only null under the explicit nulls flag (#​21577) #​21623
  • Fix warning message for matching on redundant nulls #​21850

Experimental: Capture Checking

Experimentals

  • Replace symbol traversal with tree traversal when finding top level experimentals #​21827

Extension Methods

  • Nowarn extension matching nonpublic member #​21825

Implicits

  • Apply implicit conversion from derived Conversion instance defined as implicit rather than given #​21785

Imports

  • Allow imports nested in packagings to shadow #​21539

Inline

  • Avoid using the current denotation in NamedType.disambiguate #​21414
  • Drop phase.isTyper use in isLegalPrefix/asf #​21954
  • Fix for macro annotation that resolves macro-based implicit crashing the compiler #​20353
  • Allow macro annotations to recover from suspension #​21969

Linting

  • Disallow open modifier on objects #​21922
  • Allow discarding "Discarded non-Unit" warnings with : Unit #​21927

Opaque Types

  • Fix pkg obj prefix of opaque tp ext meth #​21527

Parser

  • Fix: don't consider into as a soft-modifier #​21924

Pattern Matching

  • Drop inaccessible subclasses from refineUsingParent #​21799
  • (Re-)Drop inaccessible subclasses from refineUsingParent #​21930
  • Fix use of class terms in match analysis #​21848
  • Don't project nested wildcard patterns to nullable #​21934
  • Fix provablyDisjoint handling enum constants with mixins #​21876
  • Do not consider uninhabited constructors when performing exhaustive match checking #​21750

Presentation Compiler

  • Update mtags to 1.4.1 and backport remaining changes #​21859
  • Backport changes for the presentation compiler from Metals #​21756

Pickling

  • Avoid orphan param from default arg #​21824
  • Make sure definition tree has the defined symbol #​21851

REPL

  • Allow top-level opaque type definitions in REPL #​21753
  • JLine: follow recommendation to use JNI, not JNA; also JLine 3.27.1 (was 3.27.0) #​22271

Scaladoc

  • Fix scaladoc TastyInspector regressions #​21716
  • Bring back the fix for scaladoc TastyInspector regressions #​21929
  • Fix scaladoc graph highlight background color in dark mode #​21814

Standard Library

  • Combine cases of Tuple.Zip disjoint from (h1 *: t1, h2 *: t2) #​21287

Quotes

  • Fix #​20471: owners of top-level symbols in cached quoted code being incorrect #​21945

Reporting

  • Do not warn about expected missing positions in quotes.reflect.Symbol #​21677
  • Add missing error messages to asserts in QuotesImpl #​21852
  • Don't point to the compiler backlog when a compiler plugin phase crashes #​21887
  • Better error message for polytypes wrapping capturing types #​21843
  • Pretty-print lambdas #​21846
  • Nowarn extension matching nonpublic member #​22276
  • Refactor: Improve Given search preference warning #​22273

Runner

Releases

  • Fix layout of released SDK archives, restore intermiediete top-level directory #​22272

Scala.js

  • Shade scalajs.ir under dotty.tools #​21765

SemanticDB

  • Extract semanticDB for lifted definitions #​21856

Transform

  • Fix enclosingClass from returning refinement classes #​21411
  • Attempt to beta reduce only if parameters and arguments have same shape #​21970
  • Drop copied parent refinements before generating bytecode #​21733

Tooling

  • Ensure to escape characters before constructing JSON profile trace #​21872

Tuples

  • Fix tupleTypeFromSeq for XXL tuples #​21782

Typer

  • Do not crash when typing a closure with unknown type, since it can occur for erroneous input #​21178
  • Revert SAM condition to what it was before #​21684
  • Fix ctx implicits under case unapplySeq #​21748
  • Avoid erasure/preErasure issues around Any in transformIsInstanceOf #​21647

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 3.6.2..3.6.3 these are:

    33  Wojciech Mazur
    30  Dale Wijnand
    30  Kacper Korban
    14  noti0na1
    11  Hamza Remmal
    10  Eugene Flesselle
    10  HarrisL2
     9  Martin Odersky
     8  Matt Bovel
     7  Jan Chyb
     6  Tomasz Godzik
     5  Seth Tisue
     4  Jamie Thompson
     2  Friendseeker
     2  João Ferreira
     2  Pascal Weisenburger
     2  Som Snytt
     2  Sébastien Doeraene
     1  Adrien Piquerez
     1  Alden Torres
     1  Alexander
     1  Eugene Yokota
     1  Fengyun Liu
     1  Georgi Krastev
     1  Jentsch
     1  Lunfu Zhong
     1  Michał Pałka
     1  Natsu Kagami
     1  Rui Chen
     1  dependabot[bot]
     1  friendseeker
     1  tgodzik

v3.6.2

Compare Source

Highlights of the release

  • Stabilise SIP-47 (Adding Clause Interleaving to method definitions) #​20861
  • Stabilise SIP-64 (New syntax of givens and context bounds) #​21668
  • Context Bounds for Polymorphic Functions #​21643
  • Switch mapping of context bounds to using clauses in 3.6 #​21257
  • Enable betterMatchTypeExtractors in >= 3.6 #​21198
  • Require named arguments for java defined annotations #​21329
  • Refine the bounds of the Tuple.Filter type lambda predicate .. #​21286
  • Add an infix shorthand for Tuple.{Append, Concat} #​21288
  • Add .msi artifacts to release assets #​21834
  • Implement SIP-62 as experimental - For comprehension improvements #​20522
  • Implement SIP-57 as experimental - add runtimeChecked method and annotation #​20987

Other changes and fixes

Annotations

Erasure

  • Fixes IllegalAccessError with Java package protected class #​21362

Experimental: Capture Checking

  • Fix setup of CapSet arguments. #​21309
  • Check all top-level covariant capture sets in checkNotUniversal #​21428
  • Charge also dcs of local reaches to capture set of enclosing method #​21443
  • No need to unbox if expected type is LhsProto #​21508
  • Treat more closure parameter types as inferred #​21583
  • Existential Capabilities #​20566
  • Fixes for cleanup retains scheme #​21350
  • Improve Contains handling #​21361
  • Expand Capability types T to T^ only if no explicit capture set is given #​21375
  • Tighten closure extractor in TreeInfo #​21621

Experimental: Global Initialization

  • Analyze object when selecting from package #​21511
  • Fix bug in init checker while compiling scodec-bits community project #​21574

Experimental: Named Tuples

  • Finalize named tuples #​21710
  • Move NamedTuple.head to NamedTupleDecomposition #​21308
  • Move NonEmptyTuple members into Tuple #​21291
  • Migration rewrites for infix arguments interpreted as named tuples #​21949
  • Make named tuples a standard feature #​21680
  • Make named tuples an experimental feature again #​22045

Experimental: Explicit Nulls

Experimentals

  • [experimental feature] Support HOAS pattern with type variables for quote pattern matching #​18271

Exports

  • Re-use attachment in exportForwarders to handle ambiguous overloads #​21518
  • Allow export statements in AnyVal #​21653

Extension Methods

  • Make right assoc ext method fwd refs error #​21641

Inline

  • Fix: throw an error before assigning ErrorType when expanding constValue #​21364

Implicits

  • Fix prioritization of givens over implicits #​21226

JVM Backend

  • Backend computes line number from source of position #​21763

Linting

  • CheckUnused checks type param annotations #​20549

Match Types

  • Fix #​21295: Restrict provablyDisjoint with Nothings in invariant type params. #​21891
  • Do not propagate TypeErrors of ops from TypeComparer#tryAlso #​21070
  • Fix #​21402: Always allow type member extraction for stable scrutinees in match types. #​21700
  • Add a 3.6-migration warning for MT lubbing #​21336
  • Always interpret underscores inside patterns as type bounds #​21718

Opaque Types

  • Capture the kse3 issue in test cases and close it #​21260

Parser

  • Guard against recursive lower bounds in constraints #​21587
  • Handle old given syntax where identifier and type are seperated by new line #​21957
  • Fix: Allow as as an infix type in non context bound types #​21849
  • Revised given syntax #​21208
  • Make context bounds for poly functions a standard feature #​22019

Pattern Matching

Pickling

  • Some fixes for AnnotatedTypes mapping #​19957

Polyfunctions

  • Fix: Check if a PolyFunction TypeTree has no ByName parameters #​21671

Presentation Compiler

  • Add regression test for issue 18726 #​20318
  • Remove artificial CURSOR added to code in the completions #​20899
  • Fix autoimports with using directives #​21590

Quotes

  • Handle suspension due to macro call in arbitrary phases #​21651
  • Have a better error message when healing types #​21711
  • Bound TypeRepr by Matchable in Quotes #​21377
  • Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType) #​20494

Reflection

  • Add the possibility to create a typeSymbol in the Quotes API #​20347
  • Fix stale symbols connected to lazy vals in macros #​21559

Reporting

  • Add better error reporting for inlined non-immutable paths #​21639
  • Only replace new errors by warnings under -migration #​21289
  • Warn when named tuples resemble assignments #​21823

REPL

  • REPL: JLine 3.27.0 (was 3.25.1) #​21752
  • Ignore best effort settings in repl and update docs #​21540

Rewrites

  • Remove empty argument lists for classes with only context bounds #​21513
  • Fix rewrite logic for old <function> _ syntax #​21715
  • Remove the -rewrite option for typechecks methods in Quotes #​21547
  • Add migration rewrite for non-named arguments in Java annotations #​21397

Runner

Scaladoc

  • Only trim one newline when preprocessing the content of a markdown code snippet #​21519
  • Filter opaque modifier from object documentation #​21640
  • Bump Inkuire version to fix it for the new Scala versions #​21611

Standard Library

  • Scala 2.13.15 (was .14) #​21648
  • Define binary symbolic compiletime ops as infix #​21683

Transform

  • Fix treatment of separately compiled @native methods in FirstTransform #​21593
  • Three fixes to SAM type handling #​21596
  • Always rewrite empty List() to Nil #​21689
  • Add support for clauseInterleaving in JVM generic signatures #​21709

Typeclass Derivation

  • Nicer error message in case a derived method has an explicit term param #​21332

Typer

  • Calm param autotupling for overloads #​21552
  • Survive inaccessible types when computing implicit scope #​21589
  • Avoid cyclic errors forcing default arg types #​21597
  • Allow autotupling if fn's param is a type param #​21741
  • Fix extending protected nested java classes #​21857
  • Fix incorrect caching with dependent method parameters #​21699

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 3.5.2..3.6.2 these are:

   128  Martin Odersky
    53  Wojciech Mazur
    44  Dale Wijnand
    35  Hamza REMMAL
    33  Kacper Korban
    31  Eugene Flesselle
    22  Hamza Remmal
    11  Katarzyna Marek
    10  Matt Bovel
     9  noti0na1
     9  rochala
     8  Jamie Thompson
     8  Jan Chyb
     7  Adrien Piquerez
     7  Som Snytt
     7  Sébastien Doeraene
     7  dependabot[bot]
     6  Yichen Xu
     5  EnzeXing
     5  Guillaume Martres
     4  Fengyun Liu
     4  kasiaMarek
     3  Martin Duhem
     3  Oliver Bracevac
     3  Piotr Chabelski
     2  Aleksander Rainko
     2  David Hua
     2  Florian3k
     2  HarrisL2
     2  Joel Wilsson
     2  Jędrzej Rochala
     2  Kenji Yoshida
     1  Eugene Yokota
     1  Kavin Satheeskumar
     1  Lorenzo Gabriele
     1  Michel Charpentier
     1  Ondrej Lhotak
     1  Raphael Jolly
     1  Tomasz Godzik
     1  Yuito Murase
     1  crunchyfrog
     1  philippus

v3.6.1

This is a fast-track release to replace a broken release 3.6.0 that occurred during the Scala 3.6.0-RC1 release. It might contain bugs that would be have been fixed during the Release Candidate bugfixes period. We recommend waiting for the stable Scala 3.6.2 release.

Scala 3.6.0 should never be used to produce libraries. TASTy files produced by this version of the compiler are produced in the experimental mode. These outputs are not compatible with consumers using stable versions of the compiler.

See details in Scala 3.6.0 Post Mortem blogpost

Highlights of the release

  • Stabilise SIP-47 (Adding Clause Interleaving to method definitions) #​20861
  • Implement SIP-57 - add runtimeChecked method and annotation #​20987
  • Implement SIP-62 - For comprehension improvements #​20522
  • Implement SIP-64 as non-experimental #​21668
  • Make named tuples a standard feature #​21680
  • Switch mapping of context bounds to using clauses in 3.6 #​21257
  • Require named arguments for java defined annotations #​21329

Other changes and fixes

Annotations

Dependencies

Erasure

  • Fixes IllegalAccessError with Java package protected class #​21362

Experimental: Capture Checking

  • Existential Capabilities #​20566
  • Fix setup of CapSet arguments. #​21309
  • Check all top-level covariant capture sets in checkNotUniversal #​21428
  • Charge also dcs of local reaches to capture set of enclosing method #​21443
  • No need to unbox if expected type is LhsProto #​21508
  • Treat more closure parameter types as inferred #​21583
  • Fixes for cleanup retains scheme #​21350
  • Improve Contains handling #​21361
  • Expand Capability types T to T^ only if no explicit capture set is given #​21375
  • Tighten closure extractor in TreeInfo #​21621

Experimental: Strict Equality

Experimental: Modularity

Experimental: Global Initialization

  • Analyze object when selecting from package #​21511
  • Fix bug in init checker while compiling scodec-bits community project #​21574

Experimentals

  • [experimental feature] Support HOAS pattern with type variables for quote pattern matching #​18271

Exports

  • Re-use attachment in exportForwarders to handle ambiguous overloads #​21518
  • Allow export statements in AnyVal #​21653

Extension Methods

  • Make right assoc ext method fwd refs error #​21641

Inline

  • Fix: throw an error before assigning ErrorType when expanding constValue #​21364

Implicits

  • Fix prioritization of givens over implicits #​21226

JVM backend

  • Backend computes line number from source of position #​21763

Linting

  • CheckUnused checks type param annotations #​20549

Library

Match Types

  • Enable betterMatchTypeExtractors in >= 3.6 #​21198
  • Do not propagate TypeErrors of ops from TypeComparer#tryAlso #​21070
  • Fix #​21402: Always allow type member extraction for stable scrutinees in match types. #​21700
  • Add a 3.6-migration warning for MT lubbing #​21336
  • Always interpret underscores inside patterns as type bounds #​21718

Opaque Types

  • Capture the kse3 issue in test cases and close it #​21260

Parser

  • Guard against recursive lower bounds in constraints #​21587

Pattern Matching

Pickling

  • Some fixes for AnnotatedTypes mapping #​19957

Polyfunctions

  • Fix: Check if a PolyFunction TypeTree has no ByName parameters #​21671

Presentation Compiler

  • Add regression test for issue 18726 #​20318
  • Remove artificial CURSOR added to code in the completions #​20899
  • Fix autoimports with using directives #​21590

Quotes

  • Handle suspension due to macro call in arbitrary phases #​21651
  • Have a better error message when healing types #​21711
  • Bound TypeRepr by Matchable in Quotes #​21377
  • Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType) #​20494

Reflection

  • Add the possibility to create a typeSymbol in the Quotes API #​20347
  • Fix stale symbols connected to lazy vals in macros #​21559

Reporting

  • Add better error reporting for inlined non-immutable paths #​21639
  • Only replace new errors by warnings under -migration #​21289

REPL

  • Ignore best effort settings in repl and update docs #​21540

Rewrites

  • Remove empty argument lists for classes with only context bounds #​21513
  • Fix rewrite logic for old <function> _ syntax #​21715
  • Remove the -rewrite option for typechecks methods in Quotes #​21547
  • Add migration rewrite for non-named arguments in Java annotations #​21397

Scaladoc

  • Only trim one newline when preprocessing the content of a markdown code snippet #​21519
  • Filter opaque modifier from object documentation #​21640
  • Bump Inkuire version to fix it for the new Scala versions #​21611

Standard Library

  • Move NamedTuple.head to NamedTupleDecomposition #​21308
  • Define binary symbolic compiletime ops as infix #​21683

Transform

  • Fix treatment of separately compiled @​native methods in FirstTransform #​21593
  • Three fixes to SAM type handling #​21596
  • Always rewrite empty List() to Nil #​21689
  • Add support for clauseInterleaving in JVM generic signatures #​21709

Typeclass Derivation

  • Nicer error message in case a derived method has an explicit term param #​21332

Typer

  • Calm param autotupling for overloads #​21552
  • Survive inaccessible types when computing implicit scope #​21589
  • Avoid cyclic errors forcing default arg types #​21597
  • Fix incorrect caching with dependent method parameters #​21699

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 3.5.2..3.6.1 these are:

   129  Martin Odersky
    35  Hamza REMMAL
    34  Dale Wijnand
    31  Eugene Flesselle
    31  Hamza Remmal
    30  Wojciech Mazur
    15  Kacper Korban
    12  Jamie Thompson
    11  Jan Chyb
    11  Katarzyna Marek
     9  noti0na1
     9  rochala
     8  Adrien Piquerez
     8  Matt Bovel
     7  Som Snytt
     7  dependabot[bot]
     6  Yichen Xu
     5  EnzeXing
     5  Fengyun Liu
     5  Guillaume Martres
     5  Sébastien Doeraene
     4  Tomasz Godzik
     4  kasiaMarek
     3  Martin Duhem
     3  Oliver Bracevac
     3  Piotr Chabelski
     2  Aleksander Rainko
     2  David Hua
     2  Florian3k
     2  Friendseeker
     2  HarrisL2
     2  Joel Wilsson
     2  Jędrzej Rochala
     2  Kenji Yoshida
     2  Seth Tisue
     1  Eugene Yokota
     1  Georgi Krastev
     1  Kavin Satheeskumar
     1  Lorenzo Gabriele
     1  Michał Pałka
     1  Michel Charpentier
     1  Ondrej Lhotak
     1  Raphael Jolly
     1  Yuito Murase
     1  crunchyfrog
     1  friendseeker
     1  philippus

v3.5.2

Compare Source

Highlights of the release

  • Add the -Wall option that enables all warnings (Plan B) #​20577
  • Add origin filter to WConf, DeprecationWarning #​21404

Other changes and fixes

Implicits

  • Streamline tryNormalize with underlyingMatchType #​20268

Inference

JVM Backend

Overloading

  • Report only non-overridden unimplemented members #​21337

Parser

  • SimplePattern errors should now be recovered as wildcard instead of unimplemented expr #​21438

Positions

Presentation Compiler

  • Implement completions for named tuple fields #​21202
  • Don't add suffix if brackets already present #​21259
  • Change mock symbol search #​21296
  • Fix: completions when parenthesis already provided #​21299
  • Weekly metals backport #​21343
  • Backport from metals #​21196
  • Help implement Metals' infer expected type feature #​21390

Reporting

  • Fix: don't use color codes for pattern match code action #​21120

Runner

  • Wrap the arguments passed to the scalac task between " #​21322

SemanticDB

  • Fix: semanticdb symbol creation when targetName set #​20950

TASTy format

  • Add child to parent in completion context #​21214

Transform

Typeclass Derivation

  • Revert "Compensate loss of transitivity" #​21356

Typer

  • Avoid forcing ctors & parents which caused cycles #​17086
  • Fix isomorphism tests of AndOrTypes under non-empty BinderPairs #​21017
  • Fail when a poly function value has a different number of type params than the expected poly function #​21248
  • Fail early & more clearly on shaded-broken classfiles #​21262
  • A tweak to type improvement #​21312
  • Fix #​20897: Make Nothing ⋔ Nothing, as per spec. #​21241

Experimental Changes

Modularity

  • Fix: Only implement a deferred given in a class if its parent won't implement it #​21206

Named Tuples

  • Re-use isConcrete checking in match types for NamedTuple.From #​20947
  • Fix: Dealias NamedTuple's name types when resolving NamedTuple's element types #​21331

Safe Global Initialization

  • Fix exception on sequence matching with drop #​21281
  • Fix uninitializing fields when evaluating a cached constructor call in global initialization checker #​21403

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 3.5.1..3.5.2 these are:

    22  Dale Wijnand
    12  Eugene Flesselle
    11  Katarzyna Marek
    11  Wojciech Mazur
     6  dependabot[bot]
     4  Hamza REMMAL
     4  Kacper Korban
     4  Martin Odersky
     4  Som Snytt
     4  Yichen Xu
     4  kasiaMarek
     3  Jamie Thompson
     2  EnzeXing
     2  Hamza Remmal
     2  Sébastien Doeraene
     1  Jan Chyb
     1  Jędrzej Rochala
     1  Kavin Satheeskumar
     1  Martin Duhem
     1  Matt Bovel
     1  Raphael Jolly
     1  noti0na1
     1  philippus

v3.5.1

Compare Source

Highlights of the release

  • Add sources of synthetic classes to sources jar #​20904

Other changes and fixes

Annotations

  • Preventing compilation of a @tailrec method when it does not rewrite, but an inner method does #​20143
  • #​20145 - bugfix when a return tailrec is called inside a val def. #​20652

Backend

  • Fix EnclosingMethod for lifted anonfun #​20558
  • Emit switch bytecode when matching unions of a switchable type #​20411
  • Fix deterministically adding additional interfaces #​20593
  • Emit generatedNonLocalClass in backend when callback is not enabled #​21186

Documentation

  • Avoid jpath in example #​20775
  • Chore: Fix doc link in clauseInterleaving docstring #​20590
  • Chore: fix doc link in namedTuples docstring #​20770

Erasure

  • Don't re-balance AndTypes arising from supertypes #​20400

GADTs

  • Harden GADT constraint handling to survive illegal F-bounds #​20325

Inferencing

Infrastructure

  • Update addToBackportingProject.scala #​20461
  • Simple scripts to run non-bootstrapped compiler after 'sbt buildQuick' #​19894
  • Bump from 3.4.0 to 3.5.0-RC1 for MiMA #​20404
  • Set reference version to 3.5.0-RC4 #​21175
  • Bring back windows performance improvements #​20423
  • Bump scalacenter/sbt-dependency-submission from 2 to 3 #​20440
  • Fix incorrect paths to sha256 check sum files in release workflow #​20709
  • Bump VirtusLab/scala-cli-setup from 1.3.2 to 1.4.0 #​20906

Inline

  • Mark genSJSIR as disabled (rather than non-runnable) when no -scalajs. #​20815
  • Map over refs of ImportTypes in TypeMap #​20837

Initialization

  • More principled filtering of abstract values in initialization check #​20548

Match Types

  • TryCompiletimeConstantFold in disjointnessBoundary #​20168

Pattern Matching

Presentation Compiler

  • Add pattern completion for unapply contexts #​20274
  • Bugfix: Exclude newer LSP4j, which is built on JDK 11 #​20771
  • Chore: Bump mtags to latest stable #​20442
  • Weekly metals backport #​20542
  • Port pc find references from metals #​20544

Quotes

  • Add regression test for issue 20309 #​20387

REPL

  • Only consider methods with 0 parameters in valueOf #​20543

Reflection

  • Fix erasure crash for Inlined rhs of a context function closure #​20398
  • Fix #​20458: do not expose ClassInfo in quotes reflect widenTermRefByName #​20468

Reporting

  • Fix error message on setter with wrong type #​20444
  • Add a specific error message for local final defs #​20557
  • Explain unresolvable references better #​20477
  • Add error code to diagnostics about unused code #​19780
  • Better error diagnostics for illegal match cases #​20905

Runner

  • Bump scala-cli to 1.4.1 + drop old cli management #​21234
  • Bump scala-cli to 1.4.3 #​21338

Scaladoc

  • Fix handling of right associative extension methods across scaladoc and printers #​20467

Specification

  • Add binary lits to syntax summaries #​19551

Settings

  • Enhance help message for language flag #​20247
  • Accept legacy language features #​20454
  • Set default source version to 3.5 #​20435

Tooling

  • Improve source positions emited for synthetic unit in if-conditions #​20431
  • Adjust the API name entry for nested classes #​20279
  • Fix declaring product of straight-to-jar compilation #​20592

Transform

  • Correct Java signature for value classes appearing in type arguments #​20463

Typer

  • Retry constraint.replace after constraint.updateEntry #​20399
  • Add special handling for comparisons with Singleton types [#​20474](https://r

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.


  • If you want to rebase/retry this PR, check this box

This PR was generated by Mend Renovate. View the repository job log.

@renovate renovate bot force-pushed the renovate/org.scala-lang-scala3-library_3-3.x branch from e6af0b7 to b4eb123 Compare March 27, 2024 17:50
@renovate renovate bot changed the title Update dependency org.scala-lang:scala3-library_3 to v3.4.0 Update dependency org.scala-lang:scala3-library_3 to v3.4.1 Mar 27, 2024
@renovate renovate bot force-pushed the renovate/org.scala-lang-scala3-library_3-3.x branch from b4eb123 to 11ffdf4 Compare May 13, 2024 18:28
@renovate renovate bot changed the title Update dependency org.scala-lang:scala3-library_3 to v3.4.1 Update dependency org.scala-lang:scala3-library_3 to v3.4.2 May 13, 2024
@renovate renovate bot force-pushed the renovate/org.scala-lang-scala3-library_3-3.x branch from 11ffdf4 to d8b3762 Compare August 12, 2024 19:59
@renovate renovate bot changed the title Update dependency org.scala-lang:scala3-library_3 to v3.4.2 Update dependency org.scala-lang:scala3-library_3 to v3.5.0 Aug 12, 2024
@renovate renovate bot force-pushed the renovate/org.scala-lang-scala3-library_3-3.x branch from d8b3762 to 111923d Compare September 18, 2024 14:07
@renovate renovate bot changed the title Update dependency org.scala-lang:scala3-library_3 to v3.5.0 Update dependency org.scala-lang:scala3-library_3 to v3.5.1 Sep 18, 2024
@renovate renovate bot force-pushed the renovate/org.scala-lang-scala3-library_3-3.x branch from 111923d to 991cc0d Compare October 16, 2024 14:17
@renovate renovate bot changed the title Update dependency org.scala-lang:scala3-library_3 to v3.5.1 Update dependency org.scala-lang:scala3-library_3 to v3.5.2 Oct 16, 2024
@renovate renovate bot force-pushed the renovate/org.scala-lang-scala3-library_3-3.x branch from 991cc0d to 08150c5 Compare October 18, 2024 16:42
@renovate renovate bot changed the title Update dependency org.scala-lang:scala3-library_3 to v3.5.2 Update dependency org.scala-lang:scala3-library_3 to v3.6.0 Oct 18, 2024
@renovate renovate bot force-pushed the renovate/org.scala-lang-scala3-library_3-3.x branch from 08150c5 to 4fb1bba Compare October 19, 2024 10:08
@renovate renovate bot changed the title Update dependency org.scala-lang:scala3-library_3 to v3.6.0 Update dependency org.scala-lang:scala3-library_3 to v3.6.1 Oct 19, 2024
@renovate renovate bot force-pushed the renovate/org.scala-lang-scala3-library_3-3.x branch from 4fb1bba to d59dd99 Compare December 9, 2024 17:52
@renovate renovate bot changed the title Update dependency org.scala-lang:scala3-library_3 to v3.6.1 Update dependency org.scala-lang:scala3-library_3 to v3.6.2 Dec 9, 2024
@renovate renovate bot force-pushed the renovate/org.scala-lang-scala3-library_3-3.x branch from d59dd99 to 9a1ed99 Compare January 16, 2025 10:26
@renovate renovate bot changed the title Update dependency org.scala-lang:scala3-library_3 to v3.6.2 Update dependency org.scala-lang:scala3-library_3 to v3.6.3 Jan 16, 2025
@renovate renovate bot force-pushed the renovate/org.scala-lang-scala3-library_3-3.x branch from 9a1ed99 to 86fa6e4 Compare March 6, 2025 13:50
@renovate renovate bot changed the title Update dependency org.scala-lang:scala3-library_3 to v3.6.3 Update dependency org.scala-lang:scala3-library_3 to v3.6.4 Mar 6, 2025
@renovate renovate bot force-pushed the renovate/org.scala-lang-scala3-library_3-3.x branch from 86fa6e4 to f9c319c Compare May 5, 2025 13:22
@renovate renovate bot changed the title Update dependency org.scala-lang:scala3-library_3 to v3.6.4 Update dependency org.scala-lang:scala3-library_3 to v3.7.0 May 5, 2025
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.

0 participants