Update dependency scala to v3.2.2 #39

renovate · 2023-12-15T08:55:23Z

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
scala	`3.2.0` -> `3.2.2`

Release Notes

lampepfl/dotty (scala)

`v3.2.2`

Compare Source

Highlights of the release

Make truncation by characters in REPL configurable #16167
New (experimental for now) lazy vals implementation #15296

Other changes and fixes

Coverage

Make coverage instrumentation more robust #16235

Default parameters

Resolve overloading: keep track of prefix and indices of all default getters #16009

Experimentals

Let accessors inherit @experimental annotations from accessed symbols #16099

Extension Methods

Fix i14451 #16010

GADTs

Add fixed GADT exhaustivity test cases #16169
Eliminate class hierarchy in GadtConstraint #16194

Initialization

Code refactoring of initialization checker #16066

Inline

Refine checking for outer references #16122

Java interoperability

Parse native in Java bytecode as @native #16232

Opaque Types

Disallow opaque type aliases of context functions #16041

Overloading

Fix curried overloading resolution for polymorphic methods #16485

Parser

Align implementation with spec of soft modifiers #15961

Pattern Matching

Fix redundancy (unreachability) warning #16179
Teach SpaceEngine that generic tuples are irrefutable #16051
Fix exhaustivity warning #16168

Polyfunctions

Avoid checking purity of Apply without symbols #16221

Reporting

Expose reason for unchecked warning #16086
Refine AsSeenFrom approximation scheme #15957
Better output under -Ydetailed-stats #15950
Fix crash in -Vprofile code #16007
Name stripped of module suffix must not be empty #15597
Fix InlineMatch pos for summonFrom #16025

Rewrites

Rewrites are UTF-8 #15622

Scala-JS

Fix the detection of inferred types of = js.native. #16184
Do not elide fields required for Scala.js interop semantics. #16187

Scaladoc

Update quick links for new UI #15912
Avoid parsing code comment twice #16154
Make footer text configurable #16064
Add typography fallback fonts #16063

SemanticDB

Emit SymbolInformation and Occurrence for anonymous class #15865
Fix regression in type apply synthetics #16031

Transform

Fix creating forwarders for simple alias givens #16193
Only check for Scala2LocalSuffix in methods on Scala 2.x classes #16014
Fix mapping TypeMaps over annotations #15948
Peephole optimization to drop .apply from partially applied methods #16022

Typer

Fix approximateOr of (A & Double) | Null #16241
Create boxed environments only for references and function values #16136
Fix higher-order unification incorrectly substituting tparams #16181
Handle copies of constrained type lambdas when determining an implicit scope #16159
Create message for missing arguments #16158
Make singleton types subtypes of their refined type #16135
Disallow overriding val parameters #16096
Avoid crash where creator proxies are referenced indirectly #16098
Refine estimation of default arguments in overloading resolution #15962
Harden canAssign #15963
Fix isSubType for static objects filling in type projections #15959
Fix expected type of TupleXXL unapply #16248
Drop lazy recursive application in approximateParent #16073
Type match with a match type when a match type is expected #15599
Compute completions at typerPhase #16371
Only include accessible base classes in orDominator #16477

Contributors

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

According to git shortlog -sn --no-merges 3.2.1..3.2.2 these are:

    86 Martin Odersky
    24 Yichen Xu
    23 Quentin Bernet
    19 Dale Wijnand
    18 Michael Pollmeier
    13 Paweł Marks
     8 Fengyun Liu
     7 Guillaume Raffin
     7 Som Snytt
     6 Szymon Rodziewicz
     5 Kacper Korban
     4 Chris Kipp
     3 Matt Bovel
     3 Rikito Taniguchi
     2 Ben Hutchison
     2 Florian3k
     2 Guillaume Martres
     2 Jamie Thompson
     2 João Costa
     2 Julien Richard-Foy
     2 Lukas Rytz
     2 Sébastien Doeraene
     1 Anton Sviridov
     1 Gabriel Volpe
     1 Liang Yan
     1 Noah Rosamilia
     1 Ondra Pelech
     1 Seth Tisue
     1 Tomasz Godzik
     1 Vadim Chelyshov
     1 nmc.borst
     1 nmcb
     1 olsdavis

`v3.2.1`

Compare Source

Highlights of the release

Add experimental capture checking #15877
Scaladoc: New UI design #15697

Other changes and fixes

Backend

Set ACC_FINAL access flag to final variable accessors #15707

Coverage

Avoid instrumentation of inline and erased definitions #15504

Erasure

Fix #15199: Exclude JavaDefined Modules from bridge generation. #15499

Extension Methods

Merge nested polytypes in more cases in resolveOverloaded #15636

GADTs

Fix GADT casting when typing if expressions #15646
Use GADT constraints in maximiseType #15544
Add the expected type to Poly's desugaring #15570
Allow refineUsingParent to infer GADT bounds #15706
Avoid leaking internal types in GadtConstraint.approximation #15558
Improve GADT usage tracing for MatchType reduction #15872
Add gadtAddBound to ExplainingTypeComparer tracing #15819
Avoid adding NoSymbol to gadt constraints in TypeOps.instantiateToSubType #15965

IDE Support

Recover from TypeErrors in isErroneous #15442
Add a guard against empty ident #15542

Initialization

Fix #15465: Use resolveThis for outerSelect resolution #15606
Fix #15459: Display uninitialized fields in promotion error #15488
Fix #15363: Improve error messages for leaking of this #15364
Make sure inner classes are checked first #15527
Handle super accessors in initialization checker #15703

Inline

Check is inline unapply has leading implicits #15583
Fix #15374: Make sure prefix of outer select has the correct class symbol #15592

Java Interoperability

Don't check import selectors for Java code #15617

JS Interoperability

Fix #15701: Implement js.dynamicImport for dynamic module loading. #15720
Implement support for js.new.target. #15734
Fix #14488: Scala.js: Add compiler support for scala.Enumeration. #15770

Match Types

Avoid null types when reducing match types #15748
Avoid references to unbound parameters in applied type patterns #15710

Nullability

Fix checking ctx to carry correct modes #15350

Pattern Matching

Teach provablyDisjoint to handle FromJavaObject #15769
Don't trust case class extractors with explicit type arguments #15669
Space: Fix how sealed abstract classes decompose #15553
Local classes are uncheckable (type tests) #15134
Fix ValDef span assignment in PatternMatcher #15783
Reject all explicitly written type references with bad bounds #15577

Pickling

Make simplify replace type parameters inside method types #15430

Quotes

Ignore types in macro runtime dependencies #15529

REPL

ReplDriver.run and :load take complete input #15811
REPL goes through a phase #15663
Avoid assertion failure for illegal trait inheritance #15631

Reporting

Underline assignment correctly in error message #15584
Better error message for "implicit search must be more specific" #15747
Provide better info on compiler crashes #15890

SemanticDB

Handle colons in file names when producing SemanticDB #15863

Standard Library

Fix throwReturn of NonLocalReturns to allow wider usage #15495
Update Scala 2 library dependency to 2.13.10 #16074

Tooling

Fix scala runner exit codes #15604
Command line parser respects outer escaped quote #15497
Added quotes to Scala home paths in scala and scalac scripts #15824
Retain partial type params typying information on error #15825

Transform

Implementation restriction: No partial functions with CFT results #15744
Fix treatment of parameter selections via this in constructors. #15737
Fix expansion and unexpansion of mixin qualified names #15712
Fix #15514 in Parser #15524
Check type arguments for bad bounds #15571

Typer

Fix swapKey #15894
Insert GADT casts for needy match types #15851
Add missing dealias in isContextFunctionRef #15742
Look for synthetic applies also under type applications #15572
Optimize isSameType for invariant applied types with the same structure #15556
Fix cycle detection for type aliases with wildcard arguments #15508
Handle recursions in isFullyDefined #15443
Do level checking on instantiation #15746
Use fullyDefinedType for mirror synthesis #15814
Instantiate more type variables to hard unions #15632
Simplify level fixing scheme #15936
Don't normalize in AppliedType#superType #15453
Try promotion while widening arguments #15467
Check import selectors at Typer #15477
Turn some calls to underlying into superType. #15455
Find more looping implicits #15481
Fix findFunctionType for OrTypes #15478
Fix looping implicits check #15655
Try to avoid static symbols if leaving them would make a leak #15548
Do not fold IsConst applied to dependent parameters #15759
Only look for synthetic applies under TypeApply with inferred arguments #15970
Improvements for implicit searches with top-level type variables #16001
Better types for class type parameters #15951
Fix tuple casting #16113
Be even more careful when combining argument and info in computeAsSeenFrom #16070
Be still more careful when computing denotations of class parameters #16112

Contributors

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

According to git shortlog -sn --no-merges 3.2.0..3.2.1 these are:

   215 Martin Odersky
    94 Filip Łukasik
    69 Fengyun Liu
    57 Filip Zybała
    31 Dale Wijnand
    16 Paweł Marks
    14 Sébastien Doeraene
    10 Guillaume Raffin
     9 rochala
     8 Chris Kipp
     8 Som Snytt
     7 Jędrzej Rochala
     7 Nicolas Stucki
     7 Yichen Xu
     6 Jamie Thompson
     6 Tom Grigg
     5 Kacper Korban
     5 noti0na1
     2 Arman Bilge
     2 Matt Bovel
     2 Ondrej Lhotak
     2 Quentin Bernet
     2 Seth Tisue
     2 Tomasz Godzik
     1 Adrien Piquerez
     1 Florian3k
     1 Gagandeep Kalra
     1 Jentsch
     1 Kieren Davies
     1 Michał Pałka
     1 Naveen
     1 Oron Port
     1 Rubin Simons
     1 Wojciech Mazur
     1 esteban marin
     1 naveen

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 has been generated by Mend Renovate. View repository job log here.

Update dependency scala to v3.2.2

b8dee11

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Update dependency scala to v3.2.2 #39

Update dependency scala to v3.2.2 #39

renovate bot commented Dec 15, 2023 •

edited

Update dependency scala to v3.2.2 #39

Are you sure you want to change the base?

Update dependency scala to v3.2.2 #39

Conversation

renovate bot commented Dec 15, 2023 • edited

Release Notes

v3.2.2

Highlights of the release

Other changes and fixes

Coverage

Default parameters

Experimentals

Extension Methods

GADTs

Initialization

Inline

Java interoperability

Opaque Types

Overloading

Parser

Pattern Matching

Polyfunctions

Reporting

Rewrites

Scala-JS

Scaladoc

SemanticDB

Transform

Typer

Contributors

v3.2.1

Highlights of the release

Other changes and fixes

Backend

Coverage

Erasure

Extension Methods

GADTs

IDE Support

Initialization

Inline

Java Interoperability

JS Interoperability

Match Types

Nullability

Pattern Matching

Pickling

Quotes

REPL

Reporting

SemanticDB

Standard Library

Tooling

Transform

Typer

Contributors

Configuration

renovate bot commented Dec 15, 2023 •

edited

`v3.2.2`

`v3.2.1`