|
| 1 | +# Highlights of the release |
| 2 | + |
| 3 | +- Add experimental capture checking [#15877](https://github.com/lampepfl/dotty/pull/15877) |
| 4 | +- Scaladoc: New UI design [#15697](https://github.com/lampepfl/dotty/pull/15697) |
| 5 | + |
| 6 | +# Other changes and fixes |
| 7 | + |
| 8 | +## Backend |
| 9 | + |
| 10 | +- Set ACC_FINAL access flag to final variable accessors [#15707](https://github.com/lampepfl/dotty/pull/15707) |
| 11 | + |
| 12 | +## Coverage |
| 13 | + |
| 14 | +- Avoid instrumentation of inline and erased definitions [#15504](https://github.com/lampepfl/dotty/pull/15504) |
| 15 | + |
| 16 | +## Erasure |
| 17 | + |
| 18 | +- Fix #15199: Exclude JavaDefined Modules from bridge generation. [#15499](https://github.com/lampepfl/dotty/pull/15499) |
| 19 | + |
| 20 | +## Extension Methods |
| 21 | + |
| 22 | +- Merge nested polytypes in more cases in resolveOverloaded [#15636](https://github.com/lampepfl/dotty/pull/15636) |
| 23 | + |
| 24 | +## GADTs |
| 25 | + |
| 26 | +- Fix GADT casting when typing if expressions [#15646](https://github.com/lampepfl/dotty/pull/15646) |
| 27 | +- Use GADT constraints in maximiseType [#15544](https://github.com/lampepfl/dotty/pull/15544) |
| 28 | +- Add the expected type to Poly's desugaring [#15570](https://github.com/lampepfl/dotty/pull/15570) |
| 29 | +- Allow refineUsingParent to infer GADT bounds [#15706](https://github.com/lampepfl/dotty/pull/15706) |
| 30 | +- Avoid leaking internal types in GadtConstraint.approximation [#15558](https://github.com/lampepfl/dotty/pull/15558) |
| 31 | +- Improve GADT usage tracing for MatchType reduction [#15872](https://github.com/lampepfl/dotty/pull/15872) |
| 32 | +- Add `gadtAddBound` to ExplainingTypeComparer tracing [#15819](https://github.com/lampepfl/dotty/pull/15819) |
| 33 | +- Avoid adding `NoSymbol` to gadt constraints in `TypeOps.instantiateToSubType` [#15965](https://github.com/lampepfl/dotty/pull/15965) |
| 34 | + |
| 35 | +## IDE Support |
| 36 | + |
| 37 | +- Recover from TypeErrors in isErroneous [#15442](https://github.com/lampepfl/dotty/pull/15442) |
| 38 | +- Add a guard against empty ident [#15542](https://github.com/lampepfl/dotty/pull/15542) |
| 39 | + |
| 40 | +## Initialization |
| 41 | + |
| 42 | +- Fix #15465: Use resolveThis for outerSelect resolution [#15606](https://github.com/lampepfl/dotty/pull/15606) |
| 43 | +- Fix #15459: Display uninitialized fields in promotion error [#15488](https://github.com/lampepfl/dotty/pull/15488) |
| 44 | +- Fix #15363: Improve error messages for leaking of this [#15364](https://github.com/lampepfl/dotty/pull/15364) |
| 45 | +- Make sure inner classes are checked first [#15527](https://github.com/lampepfl/dotty/pull/15527) |
| 46 | +- Handle super accessors in initialization checker [#15703](https://github.com/lampepfl/dotty/pull/15703) |
| 47 | + |
| 48 | +## Inline |
| 49 | + |
| 50 | +- Check is inline unapply has leading implicits [#15583](https://github.com/lampepfl/dotty/pull/15583) |
| 51 | +- Fix #15374: Make sure prefix of outer select has the correct class symbol [#15592](https://github.com/lampepfl/dotty/pull/15592) |
| 52 | + |
| 53 | +## Java Interoperability |
| 54 | + |
| 55 | +- Don't check import selectors for Java code [#15617](https://github.com/lampepfl/dotty/pull/15617) |
| 56 | + |
| 57 | +## JS Interoperability |
| 58 | + |
| 59 | +- Fix #15701: Implement js.dynamicImport for dynamic module loading. [#15720](https://github.com/lampepfl/dotty/pull/15720) |
| 60 | +- Implement support for js.`new`.target. [#15734](https://github.com/lampepfl/dotty/pull/15734) |
| 61 | +- Fix #14488: Scala.js: Add compiler support for scala.Enumeration. [#15770](https://github.com/lampepfl/dotty/pull/15770) |
| 62 | + |
| 63 | +## Match Types |
| 64 | + |
| 65 | +- Avoid null types when reducing match types [#15748](https://github.com/lampepfl/dotty/pull/15748) |
| 66 | +- Avoid references to unbound parameters in applied type patterns [#15710](https://github.com/lampepfl/dotty/pull/15710) |
| 67 | + |
| 68 | +## Nullability |
| 69 | + |
| 70 | +- Fix checking ctx to carry correct modes [#15350](https://github.com/lampepfl/dotty/pull/15350) |
| 71 | + |
| 72 | +## Pattern Matching |
| 73 | + |
| 74 | +- Teach provablyDisjoint to handle FromJavaObject [#15769](https://github.com/lampepfl/dotty/pull/15769) |
| 75 | +- Don't trust case class extractors with explicit type arguments [#15669](https://github.com/lampepfl/dotty/pull/15669) |
| 76 | +- Space: Fix how sealed abstract classes decompose [#15553](https://github.com/lampepfl/dotty/pull/15553) |
| 77 | +- Local classes are uncheckable (type tests) [#15134](https://github.com/lampepfl/dotty/pull/15134) |
| 78 | +- Fix ValDef span assignment in PatternMatcher [#15783](https://github.com/lampepfl/dotty/pull/15783) |
| 79 | +- Reject all explicitly written type references with bad bounds [#15577](https://github.com/lampepfl/dotty/pull/15577) |
| 80 | + |
| 81 | +## Pickling |
| 82 | + |
| 83 | +- Make simplify replace type parameters inside method types [#15430](https://github.com/lampepfl/dotty/pull/15430) |
| 84 | + |
| 85 | +## Quotes |
| 86 | + |
| 87 | +- Ignore types in macro runtime dependencies [#15529](https://github.com/lampepfl/dotty/pull/15529) |
| 88 | + |
| 89 | +## REPL |
| 90 | + |
| 91 | +- ReplDriver.run and :load take complete input [#15811](https://github.com/lampepfl/dotty/pull/15811) |
| 92 | +- REPL goes through a phase [#15663](https://github.com/lampepfl/dotty/pull/15663) |
| 93 | +- Avoid assertion failure for illegal trait inheritance [#15631](https://github.com/lampepfl/dotty/pull/15631) |
| 94 | + |
| 95 | +## Reporting |
| 96 | + |
| 97 | +- Underline assignment correctly in error message [#15584](https://github.com/lampepfl/dotty/pull/15584) |
| 98 | +- Better error message for "implicit search must be more specific" [#15747](https://github.com/lampepfl/dotty/pull/15747) |
| 99 | +- Provide better info on compiler crashes [#15890](https://github.com/lampepfl/dotty/pull/15890) |
| 100 | + |
| 101 | +## SemanticDB |
| 102 | + |
| 103 | +- Handle colons in file names when producing SemanticDB [#15863](https://github.com/lampepfl/dotty/pull/15863) |
| 104 | + |
| 105 | +## Standard Library |
| 106 | + |
| 107 | +- Fix `throwReturn` of `NonLocalReturns` to allow wider usage [#15495](https://github.com/lampepfl/dotty/pull/15495) |
| 108 | +- Update Scala 2 library dependency to 2.13.10 [#16074](https://github.com/lampepfl/dotty/pull/16074) |
| 109 | + |
| 110 | +## Tooling |
| 111 | + |
| 112 | +- Fix scala runner exit codes [#15604](https://github.com/lampepfl/dotty/pull/15604) |
| 113 | +- Command line parser respects outer escaped quote [#15497](https://github.com/lampepfl/dotty/pull/15497) |
| 114 | +- Added quotes to Scala home paths in scala and scalac scripts [#15824](https://github.com/lampepfl/dotty/pull/15824) |
| 115 | +- Retain partial type params typying information on error [#15825](https://github.com/lampepfl/dotty/pull/15825) |
| 116 | + |
| 117 | +## Transform |
| 118 | + |
| 119 | +- Implementation restriction: No partial functions with CFT results [#15744](https://github.com/lampepfl/dotty/pull/15744) |
| 120 | +- Fix treatment of parameter selections via this in constructors. [#15737](https://github.com/lampepfl/dotty/pull/15737) |
| 121 | +- Fix expansion and unexpansion of mixin qualified names [#15712](https://github.com/lampepfl/dotty/pull/15712) |
| 122 | +- Fix #15514 in Parser [#15524](https://github.com/lampepfl/dotty/pull/15524) |
| 123 | +- Check type arguments for bad bounds [#15571](https://github.com/lampepfl/dotty/pull/15571) |
| 124 | + |
| 125 | +## Typer |
| 126 | + |
| 127 | +- Fix swapKey [#15894](https://github.com/lampepfl/dotty/pull/15894) |
| 128 | +- Insert GADT casts for needy match types [#15851](https://github.com/lampepfl/dotty/pull/15851) |
| 129 | +- Add missing dealias in isContextFunctionRef [#15742](https://github.com/lampepfl/dotty/pull/15742) |
| 130 | +- Look for synthetic applies also under type applications [#15572](https://github.com/lampepfl/dotty/pull/15572) |
| 131 | +- Optimize isSameType for invariant applied types with the same structure [#15556](https://github.com/lampepfl/dotty/pull/15556) |
| 132 | +- Fix cycle detection for type aliases with wildcard arguments [#15508](https://github.com/lampepfl/dotty/pull/15508) |
| 133 | +- Handle recursions in isFullyDefined [#15443](https://github.com/lampepfl/dotty/pull/15443) |
| 134 | +- Do level checking on instantiation [#15746](https://github.com/lampepfl/dotty/pull/15746) |
| 135 | +- Use fullyDefinedType for mirror synthesis [#15814](https://github.com/lampepfl/dotty/pull/15814) |
| 136 | +- Instantiate more type variables to hard unions [#15632](https://github.com/lampepfl/dotty/pull/15632) |
| 137 | +- Simplify level fixing scheme [#15936](https://github.com/lampepfl/dotty/pull/15936) |
| 138 | +- Don't normalize in `AppliedType#superType` [#15453](https://github.com/lampepfl/dotty/pull/15453) |
| 139 | +- Try promotion while widening arguments [#15467](https://github.com/lampepfl/dotty/pull/15467) |
| 140 | +- Check import selectors at Typer [#15477](https://github.com/lampepfl/dotty/pull/15477) |
| 141 | +- Turn some calls to `underlying` into `superType`. [#15455](https://github.com/lampepfl/dotty/pull/15455) |
| 142 | +- Find more looping implicits [#15481](https://github.com/lampepfl/dotty/pull/15481) |
| 143 | +- Fix `findFunctionType` for `OrTypes` [#15478](https://github.com/lampepfl/dotty/pull/15478) |
| 144 | +- Fix looping implicits check [#15655](https://github.com/lampepfl/dotty/pull/15655) |
| 145 | +- Try to avoid static symbols if leaving them would make a leak [#15548](https://github.com/lampepfl/dotty/pull/15548) |
| 146 | +- Do not fold `IsConst` applied to dependent parameters [#15759](https://github.com/lampepfl/dotty/pull/15759) |
| 147 | +- Only look for synthetic applies under `TypeApply` with inferred arguments [#15970](https://github.com/lampepfl/dotty/pull/15970) |
| 148 | +- Improvements for implicit searches with top-level type variables [#16001](https://github.com/lampepfl/dotty/pull/16001) |
| 149 | +- Better types for class type parameters [#15951](https://github.com/lampepfl/dotty/pull/15951) |
| 150 | +- Fix tuple casting [#16113](https://github.com/lampepfl/dotty/pull/16113) |
| 151 | +- Be even more careful when combining argument and info in `computeAsSeenFrom` [#16070](https://github.com/lampepfl/dotty/pull/16070) |
| 152 | +- Be still more careful when computing denotations of class parameters [#16112](https://github.com/lampepfl/dotty/pull/16112) |
| 153 | + |
| 154 | +# Contributors |
| 155 | + |
| 156 | +Thank you to all the contributors who made this release possible 🎉 |
| 157 | + |
| 158 | +According to `git shortlog -sn --no-merges 3.2.0..3.2.1` these are: |
| 159 | + |
| 160 | +``` |
| 161 | + 215 Martin Odersky |
| 162 | + 94 Filip Łukasik |
| 163 | + 69 Fengyun Liu |
| 164 | + 57 Filip Zybała |
| 165 | + 31 Dale Wijnand |
| 166 | + 16 Paweł Marks |
| 167 | + 14 Sébastien Doeraene |
| 168 | + 10 Guillaume Raffin |
| 169 | + 9 rochala |
| 170 | + 8 Chris Kipp |
| 171 | + 8 Som Snytt |
| 172 | + 7 Jędrzej Rochala |
| 173 | + 7 Nicolas Stucki |
| 174 | + 7 Yichen Xu |
| 175 | + 6 Jamie Thompson |
| 176 | + 6 Tom Grigg |
| 177 | + 5 Kacper Korban |
| 178 | + 5 noti0na1 |
| 179 | + 2 Arman Bilge |
| 180 | + 2 Matt Bovel |
| 181 | + 2 Ondrej Lhotak |
| 182 | + 2 Quentin Bernet |
| 183 | + 2 Seth Tisue |
| 184 | + 2 Tomasz Godzik |
| 185 | + 1 Adrien Piquerez |
| 186 | + 1 Florian3k |
| 187 | + 1 Gagandeep Kalra |
| 188 | + 1 Jentsch |
| 189 | + 1 Kieren Davies |
| 190 | + 1 Michał Pałka |
| 191 | + 1 Naveen |
| 192 | + 1 Oron Port |
| 193 | + 1 Rubin Simons |
| 194 | + 1 Wojciech Mazur |
| 195 | + 1 esteban marin |
| 196 | + 1 naveen |
| 197 | +
|
| 198 | +``` |
0 commit comments