-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Merge 3.3.0 reference #17587
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
Merged
Kordyjan
merged 880 commits into
scala:language-reference-stable
from
dotty-staging:merge-3.3.0-reference
May 30, 2023
Merged
Merge 3.3.0 reference #17587
Changes from 1 commit
Commits
Show all changes
880 commits
Select commit
Hold shift + click to select a range
39e63f3
Adress some review comments and other tweaks
odersky 8fb3c38
Make Label contravariant
odersky d8b98a0
Improve error message for refutable quoted patterns
nicolasstucki fbc8077
Make Label a final class
odersky a51a586
Add loops test with separate exit and continue boundaries
odersky 38923f9
Another test
odersky 3cfa0e9
Set reference version to 3.2.2
Kordyjan 2833b36
Disallow constructor params from appearing in parent types for soundn…
sjrd ecba50d
Apply suggestions from code review
nicolasstucki dbb1e6c
Fix the CI not running on merge commits (#16668)
dwijnand 769cf87
Improve error message for refutable quoted patterns (#16669)
bishabosha 2127b89
Suppress follow-on errors for erroneous import qualifiers (#16658)
bishabosha 861f5da
Actually test the stack size problem.
sjrd afeaf6e
Set reference version to 3.2.2 (#16671)
Kordyjan 41a46fc
Improve doc
nicolasstucki 483b1e8
Fix -Wunused:import registering constructor ("<init>") instead of its…
szymon-rd fc08649
Update the MiMa filters for 3.2.2
Kordyjan 9dd4f52
optimize the cachability check
Linyxus e62ae12
More robust bisect script (#16594)
KacperFKorban 6c6dc77
Handle top-level class insertion using a MutableSymbolMap
nicolasstucki 63f6e97
Optimize extractors
odersky da42cf7
Drop ControlException
odersky 2d67e6b
Track stack height differences in the back-end for Labeled Returns.
sjrd 009d623
DropBreaks does not track stack changes anymore.
sjrd a517afb
Drop requirement that self types are closed (#16648)
odersky 80e8365
Update the MiMa filters for 3.2.2 (#16672)
Kordyjan be10bc6
Enable returning classes from MacroAnnotations (part 3) (#16534)
smarter 0c1b9b5
Fix test
odersky fdad63e
Merge pull request #24 from dotty-staging/add-errorhandling-stack-han…
odersky 2e3c4cf
Revert "Suppress returns that cross different stack sizes."
odersky a90338d
Don't treat package object's <init> methods as package members (#16667)
odersky c4d63cc
scaladoc: delete `color-brewer.css` (#16606)
szymon-rd 2ffab1d
Fix flags used to distinguish case accessors
PaulCoral 54639f2
Add DiagnosticRelatedInformation to compiler's interface
prolativ f96b29e
Apply box adaptation when checking overrides (#16479)
odersky 529040c
Fix false positive for named args (and other)
PaulCoral 722acb9
Fix #16675 : `-Wunused` false positive on case class generated method…
szymon-rd 8d2d623
REPL: Don't crash if completions throw
dwijnand d26bfb8
Fix registering Ident not containing a symbol
PaulCoral 906dc04
Fix CheckUnused missed some used symbols
PaulCoral 80d536f
Fix atoms computation of OrType
odersky 07af300
REPL: Don't crash if completions throw (#16687)
dwijnand b195113
Fix atoms computation of OrType (#16697)
odersky 3e283a7
Make sure annotations are typed in expression contexts
odersky 4cfc06b
Simplification: Drop ExprOwner property
odersky ed5b119
Make sure annotations are typed in expression contexts (#16699)
odersky e40dbf2
Fix unbound type variables after implicit search
nicolasstucki 83ded21
Move `Checker` from `class TreeChecker` to `object TreeChecker`
nicolasstucki 4277d86
Add extension/conversion to GADT selection healing (#16638)
dwijnand 49df379
Use tree checker for macro expanded trees
nicolasstucki aaf86b3
Remove Mode.ImplicitsEnabled from TreeChecker
nicolasstucki a2869dc
Detect irrefutable quoted patterns
nicolasstucki 1f7b03c
Use tree checker in macros (#16570)
smarter 511e771
Read argument of parent constructors in Templates lazily
odersky 0d35860
Clean up forcing logic for lazy tree fields
odersky ae841eb
Dedup refactoring
odersky 3d91233
Update docs of `WithLazyFields`
odersky 67d6400
Fix rebase breakage
odersky 7527594
Fix #16680 by registering `Ident` not containing a symbol (#16689)
szymon-rd 90e7556
Fix #16682: CheckUnused missed some used symbols (#16690)
szymon-rd ede74c4
Add DiagnosticRelatedInformation to compiler's interface (#16677)
prolativ 535dd89
Unpickle arguments of parent constructors in Templates lazily (#16688)
odersky cf8daf0
Apply suggestions from code review
odersky 211ddb7
Deprecate NonLocalReturns object
odersky d99d9bf
Refine append return type (#16140)
dwijnand ef7e32c
Merge branch 'main' into fix/Wunused/non_miniphase_traverser
PaulCoral b719fe5
Add regression test
nicolasstucki 836db8d
Throw a type error iwhen using hk-types in unions or intersections
odersky 4cdd19b
Support inline overrides in value classes (#16523)
odersky 1094b58
Fix test
odersky b1ae4bb
Fix error message
odersky 4eaa5d9
Add regression test (#16710)
Kordyjan b824375
Throw a type error when using hk-types in unions or intersections (#1…
odersky a8f81dd
Fix test
odersky 9337bd6
Fix the non-miniphase tree traverser (#16684)
szymon-rd 335d18d
Add boundary break optimization tests
nicolasstucki 3153075
Avoid timeouts in community–build-C
nicolasstucki 6dded2c
Refactoring of break methiod calls
odersky ad8d3bb
Avoid timeouts in community–build-C (#16718)
odersky 0dae27d
Handle sealed prefixes in exh checking
dwijnand 13b8d7d
Handle sealed prefixes in exh checking (#16621)
dwijnand 7ae48b8
copyright 2023
SethTisue 783dc13
Detect irrefutable quoted patterns (#16674)
nicolasstucki de04a7d
Better benchmark and Stats infrastructure
odersky 7e0c815
Reduce allocations for pickling
odersky cb40386
Reduce context creations for value class related ops
odersky 2fbb891
Refactor context pools
odersky 3d21427
Avoid creation of Type lists when assigning types to Apply nodes
odersky 47f5b02
Pickling reorganizations
odersky 8dee679
Reduce string computations
odersky ac95795
Avoid recomputing hot requiredMethods
odersky 7036ed8
Don't have Diagnostic inherit from Exception
odersky f8e7f78
Reuse regex matcher in replaceAll calls
odersky e0e703a
Add specialized versions of tasty.Util.dble for common array element …
odersky c9a4670
Allow to reuse table of a util.{MutableHashSet,MutableHashMap}
odersky e459eda
Avoid some Some wrappers when accessing maps
odersky 10359a5
Avoid unnecessary uses of `parentSyms`
odersky 03555e8
Avoid some boxings of vars
odersky 4e7ab60
Avoid creating large CharBuffers in LookaheadScanners
odersky 50c1595
Avoid expensive settings lookup in `setDenot`
odersky 9f13e56
Make `validFor` monomorphic
odersky 84c4fe0
Cache `isType` in SymDenotations
odersky b28faf9
Streamline some hot compuations
odersky f992f7a
Inline rollbackGadtUnless in GadtConstraint
odersky c920896
Replace tpd.mapInline by flattenMapConserve
odersky bc8df3e
Optimize period equality tests
odersky b64b73c
Drop expensive escapeToNext
odersky 88c84ea
Use home-brewed futures for parallel pickling
odersky 78f1be0
Drop redundant catch and re-throw
odersky 586c459
Revert some changes in NameBuffer
odersky f2caf05
Make lazy vals threadunsafe.
odersky fcef230
Fix bytecode test
odersky a17a6df
Drop `break` object in `scala.util`
odersky 91bd5df
Drop `Label_this` and fix comments referring to it
odersky c3cf035
Make var private
odersky 69b7a48
Update migration warning message
odersky 865aa63
Some performance related changes (#16566)
odersky cf4591f
Introduce `boundary/break` control abstraction. (#16612)
odersky d6cc101
copyright 2023 (#16731)
smarter 9de66c9
Merge branch 'main' into language-reference-stable
Kordyjan f6c4f62
Sync with the stable documentation branch (#16714)
Kordyjan 93592a6
Remove badmerge in the scaladoc
Kordyjan 1b7f23d
Add the missing permissions for scaladoc cmd script
Kordyjan bb2d28f
Remove badmerge in the scaladoc (#16752)
Kordyjan 5cc4a9c
Add changelog for 3.3.0-RC1
Kordyjan 5522929
Fix incorrect TASTy version
Kordyjan 57a6de2
Add changelog for 3.3.0-RC2
Kordyjan 8dbc905
Release 3.3.0-RC2
Kordyjan c188f1d
Added jpath check to `ClassLikeSupport` getParentsAsTreeSymbolTuples
yzia2000 7ee369f
Backport "Added jpath check to `ClassLikeSupport` getParentsAsTreeSym…
Kordyjan 92c5dad
Split out immutable GadtConstraint
dwijnand 58d0a29
Rename GadtConstraintHandling to GadtState
dwijnand abbb549
Avoid bidirectional GADT typebounds from fullBounds
dwijnand 6d141f3
Drop failsafe checkNonCyclic and document GADT fullBounds change
dwijnand 4cc0e0d
GADT: move dropping GADT symbols into foldLeft
dwijnand 5453d5c
GADT: Use isPatternBound, ofc...
dwijnand ace96f7
GADT: Use =:= instead of Any/Nothing
dwijnand 67671ef
Backport "Avoid bidirectional GADT typebounds from fullBounds" (#16945)
Kordyjan fad1584
Fix static lazy field holder for GraalVM
szymon-rd e466fa4
No need to reset JavaStatic as its removed with the amsk
szymon-rd ef8e855
Removing getStaticFieldOffset as it's not used anymore
szymon-rd 2bfbe75
Revert deletion of getStaticFieldOffset for now
szymon-rd 41cfb62
Update printing tests to have matching AST
szymon-rd 5803809
Backport "Fix static lazy field holder for GraalVM " (#16946)
Kordyjan 805c49f
Add support for disabling redirected output in the REPL driver for us…
vasilmkd b36f319
Add scaladoc documentation for `ReplDriver#redirectOutput`
vasilmkd ebb2eb5
Backport "Add support for disabling redirected output in the REPL dri…
Kordyjan ff006d0
Add missing criterion to subtype check
odersky a9e4da9
Backport "Add missing criterion to subtype check" (#16948)
Kordyjan f3347db
Avoid timeouts in community–build-C
nicolasstucki 8562128
Add changelog for 3.3.0-RC3
Kordyjan b3c1c98
Release 3.3.0-RC3
Kordyjan 014be6f
Fix HK quoted pattern type variables
nicolasstucki aecbfa7
Fix HK quoted pattern type variables (#16980)
Kordyjan f0f6baf
Fix caching issue caused by incorrect isProvisional check
smarter 1a77625
Fix race condition in new LazyVals
szymon-rd 4a7e92b
Do not depend on runtime lib in tests
szymon-rd 5801262
Disable test for Scalajs
szymon-rd 81c6d6e
Add comment describing why LazyValControlState extends Serializable
szymon-rd 63ff068
Backport "Fix race condition in new LazyVals" (#17247)
Kordyjan 786035e
Backport "Fix caching issue caused by incorrect isProvisional check" …
Kordyjan aa601a1
Fix #16822
PaulCoral 85fa542
Register usage of symbols in non-inferred type trees in CheckUnused
KacperFKorban ab28b09
Traverse annotations instead of just registering
PaulCoral d4f8c74
Ignore parameter of accessors
PaulCoral 49686f8
Improve override detection in CheckUnused
PaulCoral e03fa1b
WUnused: Fix unused warnining in synthetic symbols
szymon-rd 606608a
Move tests
szymon-rd b050bda
Remove unused import
szymon-rd 2d41b46
Fix WUnused with indents in derived code
szymon-rd 87d9e94
Add failsafe for a case where prefixes in CheckUnused/prepareIndent f…
szymon-rd 8bdef2f
Fix for formatting and traverse call of inlined tree in wunused
szymon-rd 813a43b
Add test for wunused Inlined call
szymon-rd 06acf90
WUnused: Fix for symbols with synthetic names and unused transparent …
szymon-rd 0f6c42e
Adjust assertions in test
szymon-rd fbc6501
Check if import contains transparent inline in registerImport
szymon-rd 4070dbd
Warn for synthetic using/givens with wunused
szymon-rd 4644e5e
Wunused: only filter out non-zero span-length givens
szymon-rd b72eade
Skip all symbols with $ in name in Wunused
szymon-rd 432e829
Add a failing case with named using to test Wunused:implicits
szymon-rd 24080f1
Replace for with exists in isTransparentInline in WUNused
szymon-rd 7cbdadf
Skip extension method params in WUnused
szymon-rd ac06033
Fix wunused false positive when deriving alias type
szymon-rd 41e7418
Fix wunused for deriving alias type that has a different name
szymon-rd 8262192
Fix test for wunused alias deriving
szymon-rd fd70247
Fix selecting unaliased selector in wunused
szymon-rd ec298fa
Dealias only conditionally when symbol is derived val type in wunused
szymon-rd 87f8449
Fix WUnused for accessible symbols that are renamed
szymon-rd 0d2977e
Compare simple name and handle NO_NAME case in WUnused
szymon-rd c6a6656
Extracted isRenamedSymbol def
szymon-rd 79b87a0
Fix isRenamedSymbol method in WUnused
szymon-rd 2a2a111
Fix WUnused false positive in for
szymon-rd fd7b962
Do not register used symbol when position doesnt exist in wunused
szymon-rd 6356a39
Make CheckUnused run both after Typer and Inlining
szymon-rd 774c4e9
Fix instantation of CheckUnused phase
szymon-rd a69b49f
Remove unnecessary logging in CheckUnused phase
szymon-rd 7966b5c
Add test cases for macro wunused
szymon-rd 644fee2
Apply review suggestions to WUnused PR
szymon-rd e369d90
Move finishAggregation to UnusedData class in CheckUnused
szymon-rd 03dba67
WIP: Disable WUnused for params of non-private defs
szymon-rd 7017b8e
Handle implicit params and adjust tests in WUnused
szymon-rd b4e5cb7
Fix tests for WUnused/disable for public defs
szymon-rd 2af117f
Add missing test for Wunused
Kordyjan 84458c7
Bring in #17263 to fix the tests.
szymon-rd ff8e9f7
Backport "Fix #16822" (#17267)
Kordyjan 5d76f39
Backport "Register usage of symbols in non-inferred type trees in Che…
Kordyjan ebba1cc
Backport "Traverse annotations instead of just registering, fixes #16…
Kordyjan 20ebba5
Backport "Ignore parameter of accessors, fixes #16955" (#17270)
Kordyjan 942476c
Backport "Improve override detection in CheckUnused, fixes #16865" (#…
Kordyjan cf6da33
Backport "WUnused: Fix unused warning in synthetic symbols" (#17272)
Kordyjan 1615cd2
Backport "Fix WUnused with idents in derived code " (#17273)
Kordyjan 423bd1e
Backport "WUnused: Fix for symbols with synthetic names and unused tr…
Kordyjan ae37e68
Backport "Skip extension method params in WUnused" (#17275)
Kordyjan 5e866e3
Backport "Fix wunused false positive when deriving alias type" (#17276)
Kordyjan a6eee4f
Backport "Fix WUnused for accessible symbols that are renamed" (#17277)
Kordyjan 29bc3db
Backport "Fix WUnused false positive in for" (#17278)
Kordyjan c043299
Backport "Make CheckUnused run both after Typer and Inlining" (#17279)
Kordyjan 7809f9b
Backport "Disable WUnused for params of non-private defs" (#17280)
Kordyjan 3156fe9
Check the status of coursier download in CoursierScalaTests.scala
anatoliykmetyuk 22e6ffe
Add changelog for 3.3.0-RC4
Kordyjan 5990252
Release 3.3.0-RC4
Kordyjan 40502e0
Drop network tests in requests community-build
mbovel 72e5dd2
Fix compiler crash in WUnused
szymon-rd 46d9c07
Change the order of checks
szymon-rd 716b867
Wunused: Check if symbol exists before isValidMemberDef check
KacperFKorban 12cd96e
Wunused: Include import selector bounds in unused checks
KacperFKorban 74b0aa4
Remove experimental from Mirror#fromProductTyped
mpilquist a55322d
Update experimental definitions list
mpilquist a784926
Backport "Fix compiler crash in WUnused" (#17356)
Kordyjan 14237d3
Backport "Wunused: Check if symbol exists before isValidMemberDef che…
Kordyjan d64378b
Backport "Wunused: Include import selector bounds in unused checks" (…
Kordyjan f079936
Backport "Remove experimental from Mirror#fromProductTyped" (#17353)
Kordyjan 909b56c
Add changelog for 3.3.0-RC5
Kordyjan 597144e
Release 3.3.0-RC5
Kordyjan 3b9b83d
Patmat: Use less type variables in prefix inference
dwijnand 752ad2f
Backport "Patmat: Use less type variables in prefix inference" (#17440)
Kordyjan 9c1cdc8
Fix #17187: allow patches with same span
adpi2 c1028a2
Revert exact match in overlaps
adpi2 9a1e7cb
Raise a warning instead of an error for a type ascription on a patter…
prolativ 16d68f6
* Preserve the more restrictive syntax for typed patterns in the lang…
prolativ 4f2e819
Backport "Just warn on type ascription on a pattern" (#17477)
Kordyjan 6629e13
Backport "Fix #17187: allow patches with same span" (#17476)
Kordyjan 58256dd
Add changelog for 3.3.0-RC6
Kordyjan 9bae88a
Release 3.3.0-RC6
Kordyjan 410e5df
Set TASTy Version to 28.3.0
Kordyjan 92152f4
Add changelog for 3.3.0
Kordyjan 5879ff1
Release 3.3.0
Kordyjan 3705c21
Merge branch 'release-3.3.0' into language-reference-stable
Kordyjan 0fa1c91
Add info about 3.3 to source compat doc
Kordyjan 724340e
Update docs/_docs/reference/language-versions/source-compatibility.md
Kordyjan File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading. Please reload this page.