Fixing #7140: Implementing new lazy vals scheme#14545

Closed

olsdavis wants to merge 1248 commits intoscala:mainfrom

olsdavis:master

This pull request is big! We're only showing the most recent 250 commits

Commits on Apr 4, 2022

Change `-scala-release` flag into proper VersionSetting

Kordyjan
authored and
olsdavis
committed
Add `since` annotation

Kordyjan
authored and
olsdavis
committed
Add since annotations to all symbols added in 3.1

Kordyjan
authored and
olsdavis
committed
Restrict scope of `since` annotation

Kordyjan
authored and
olsdavis
committed
Check for types with `since` annotation

Kordyjan
authored and
olsdavis
committed
wip

Kordyjan
authored and
olsdavis
committed
Finalize work on @since and -scala-release:

prolativ
authored and
olsdavis
committed
Reworks for forward compat:

prolativ
authored and
olsdavis
committed
Use a more portable way to download an old compiler for tests

prolativ
authored and
olsdavis
committed
scala-release: Adjust MiMa filters; Revert changes to tasty module

prolativ
authored and
olsdavis
committed
-Yscala-release support: extend community build with basic forward-compat tests (compiling selected projects with "-Yscala-release 3.0")

prolativ
authored and
olsdavis
committed
-Yscala-release support: test cats-effect compiled with scala 3.0.2 while the dependencies are compiled with -Yscala-release 3.0; improve documentation

prolativ
authored and
olsdavis
committed
-Yscala-release support: Improve caching artifacts downloaded for tests

prolativ
authored and
olsdavis
committed
-Yscala-release support: temporarily enable forward compat community build tests to run always

prolativ
authored and
olsdavis
committed
-Yscala-release support: checking if classes come from stdlib based on jar name; better documentation

prolativ
authored and
olsdavis
committed
-Yscala-release support: checking if classes come from stdlib based on jar name; better documentation - v2

prolativ
authored and
olsdavis
committed
-Yscala-release support: fix documentation; run extended CI only for nightly builds

prolativ
authored and
olsdavis
committed
Add regression test

nicolasstucki
authored and
olsdavis
committed
Fix #7512: Normalize match type arguments

OlivierBlanvillain
authored and
olsdavis
committed
Parse splices inside patterns as patterns

adampauls
authored and
olsdavis
committed
PR comments.

adampauls
authored and
olsdavis
committed
Allow return in tailrec position

mbovel
authored and
olsdavis
committed
Visit all trees

mbovel
authored and
olsdavis
committed
Add compiletime benchmarks

mbovel
authored and
olsdavis
committed
Avoid creating set on each call

mbovel
authored and
olsdavis
committed
add -e <expression> eval to command line

philwalk
authored and
olsdavis
committed
no source file created ; add more tests

philwalk
authored and
olsdavis
committed
Split dotty.tests.filter by comma, to select multiple

dwijnand
authored and
olsdavis
committed
Format compiler crash stack traces

dwijnand
authored and
olsdavis
committed
fixed byte code generation for expr types to include type parameters

gagandeepkalra
authored and
olsdavis
committed
Fix vulnerable dependency

BarkingBad
authored and
olsdavis
committed
Avoid cyclic error in checkNoModuleClash

dwijnand
authored and
olsdavis
committed
Extract effectiveOwner

dwijnand
authored and
olsdavis
committed
Fix type avoidance in nested Array case

dwijnand
authored and
olsdavis
committed
Avoid weird Ranges of TypeBounds??

dwijnand
authored and
olsdavis
committed
Improve typer traces

dwijnand
authored and
olsdavis
committed
Scala 2.13.8 (was 2.13.6)

SethTisue
authored and
olsdavis
committed
Don't lift try-catch statements that are already in local functions

KacperFKorban
authored and
olsdavis
committed
Fix scalatest community-build

KacperFKorban
authored and
olsdavis
committed
Fix #12260: Add underscore to match type syntax

OlivierBlanvillain
authored and
olsdavis
committed
Fix #9171: treat _ as _:Any in isMatchTypeShaped

OlivierBlanvillain
authored and
olsdavis
committed
Parse 'case _' as 'Ident(_)'

OlivierBlanvillain
authored and
olsdavis
committed
Printing hack for `case _ =>`

OlivierBlanvillain
authored and
olsdavis
committed
Fix #13223: Disalow ? in match types pats/bodies

OlivierBlanvillain
authored and
olsdavis
committed
Also disalow unbound wildcard type in pattern expr

OlivierBlanvillain
authored and
olsdavis
committed
Update community build (scodec)

OlivierBlanvillain
authored and
olsdavis
committed
Avoid misleading error message

odersky
authored and
olsdavis
committed
Extract GADT constraints from wildcard type arguments

dwijnand
authored and
olsdavis
committed
Fix test output

nicolasstucki
authored and
olsdavis
committed
Don't retypecheck erroneous arguments when fixing function

odersky
authored and
olsdavis
committed
Refine condition when to not typecheck again

odersky
authored and
olsdavis
committed
Further refine condition when not to typecheck again

odersky
authored and
olsdavis
committed
Disable protoquill

odersky
authored and
olsdavis
committed
Harden `hasInnerErrors` and fix tests

odersky
authored and
olsdavis
committed
Revert "Disable protoquill"

odersky
authored and
olsdavis
committed
Fix protoquill

nicolasstucki
authored and
olsdavis
committed
Treat synthetic apply of case class as new expression

liufengyun
authored and
olsdavis
committed
Fix outer selection

liufengyun
authored and
olsdavis
committed
Fix test: synthetic apply is now transparent

liufengyun
authored and
olsdavis
committed
Lazily use synthetic apply

liufengyun
authored and
olsdavis
committed
Fix outer for calling instantiate

liufengyun
authored and
olsdavis
committed
Add assertion to make sure selection makes sense

liufengyun
authored and
olsdavis
committed
Use extension method syntax

liufengyun
authored and
olsdavis
committed
REPL class loader is context class loader

som-snytt
authored and
olsdavis
committed
Prefer context functions for ReplTests

som-snytt
authored and
olsdavis
committed
Update Scala CLA url

xuwei-k
authored and
olsdavis
committed
Update issue templates

anatoliykmetyuk
authored and
olsdavis
committed
Output other compiler errors

nicolasstucki
authored and
olsdavis
committed
Make errors from other compilers simpler to read

nicolasstucki
authored and
olsdavis
committed
Do not report warnings

nicolasstucki
authored and
olsdavis
committed
Do not harcode other compile -pagewidth

nicolasstucki
authored and
olsdavis
committed
Properly report errors

nicolasstucki
authored and
olsdavis
committed
Show broken source file errors

nicolasstucki
authored and
olsdavis
committed
Change error message text from "fully-initialized" to "fully initialized"

Xavientois
authored and
olsdavis
committed
Fix windows CI; use coursier as tests dependency; conditionally enable forward compat community build in PRs

prolativ
authored and
olsdavis
committed
suppress warning when compiling sbt bridge

SethTisue
authored and
olsdavis
committed
Decrease DelegatingReporter suppression zone

dwijnand
authored and
olsdavis
committed
Update wording of uninitialized value error to be grammatically correct.

Xavientois
authored and
olsdavis
committed
tests: Allow "//scalac: args"

dwijnand
authored and
olsdavis
committed
tests: Read tool args in test files

dwijnand
authored and
olsdavis
committed
Add forward compat tests for macros

nicolasstucki
authored and
olsdavis
committed
Add backwards compat tests for macros

nicolasstucki
authored and
olsdavis
committed
Add version of compat test that compiles on current version

nicolasstucki
authored and
olsdavis
committed
Disable tests/pos-macros/backwardCompat-3.1

nicolasstucki
authored and
olsdavis
committed
Remove #14306 test

nicolasstucki
authored and
olsdavis
committed
Reverse test naming backward/forward

nicolasstucki
authored and
olsdavis
committed
Fix #13855: Add regression test

OlivierBlanvillain
authored and
olsdavis
committed
Avoid unnecessary under-constrained implicit searches

smarter
authored and
olsdavis
committed
Fix #14240: Fix off-by-1 when emitting Scala.js IR Positions.

sjrd
authored and
olsdavis
committed
Move elim repeated earlier

odersky
authored and
olsdavis
committed
Update analyzer plugin

odersky
authored and
olsdavis
committed
Fix import in analyzer plugin

odersky
authored and
olsdavis
committed
Trial: New ElimByName phase

odersky
authored and
olsdavis
committed
Install the new ElimByName in place of ByNameClosures

odersky
authored and
olsdavis
committed
Specialize byname functions

odersky
authored and
olsdavis
committed
Fix typos in comment

odersky
authored and
olsdavis
committed
Make isSubArg symmetric again

odersky
authored and
olsdavis
committed
Reorganize RefChecks tasks

odersky
authored and
olsdavis
committed
Fix "have same type after erasure" check

odersky
authored and
olsdavis
committed
Change versions after the release of 3.1.1

Kordyjan
authored and
olsdavis
committed
Fix chat link in README

KacperFKorban
authored and
olsdavis
committed
Fix approximating RefinedTypes (n>1)

dwijnand
authored and
olsdavis
committed
Properly desugar `inline given .. with ..`

nicolasstucki
authored and
olsdavis
committed
Disallow `transparent inline given .. with ..`

nicolasstucki
authored and
olsdavis
committed
Add documentation on inline given instances

nicolasstucki
authored and
olsdavis
committed
Expand inline given instance docs

nicolasstucki
authored and
olsdavis
committed
Add example

nicolasstucki
authored and
olsdavis
committed
Parameter untupling is not a conversion of functions

som-snytt
authored and
olsdavis
committed
Scala2Unpickler: Fix annotation argument handling

smarter
authored and
olsdavis
committed
Correctly handle context functions in scaladoc

KacperFKorban
authored and
olsdavis
committed
addresses compile error mentioned in #14332

philwalk
authored and
olsdavis
committed
remove unused code; eliminate quotes in eval expression

philwalk
authored and
olsdavis
committed
remove unused code, cleanup old-style syntax, add main method to ExpressionTest

philwalk
authored and
olsdavis
committed
Close Files.lines stream

nicolasstucki
authored and
olsdavis
committed
Use `Using.resource`

nicolasstucki
authored and
olsdavis
committed
Keep language imports around longer

odersky
authored and
olsdavis
committed
Make import contexts visible in macro transforms

odersky
authored and
olsdavis
committed
A version of transformStats that avoids stack overflows

odersky
authored and
olsdavis
committed
Use a single "mapStatements" implementation in three places

odersky
authored and
olsdavis
committed
Update experimental overview page

odersky
authored and
olsdavis
committed
Reorganize side bar and overview page

odersky
authored and
olsdavis
committed
Move explicit-nulls page to experimental section

odersky
authored and
olsdavis
committed
refactor: improve output of -Xshow-phases

ckipp01
authored and
olsdavis
committed
Fix - after cleanup run checkout to back to repo directory

lwronski
authored and
olsdavis
committed
Rename master branch to main in CI

anatoliykmetyuk
authored and
olsdavis
committed
Rename master branch to main in scaladoc tasks

anatoliykmetyuk
authored and
olsdavis
committed
Rename master branch to main in benchmark profiles

anatoliykmetyuk
authored and
olsdavis
committed
Rename master branch to main in the documentation

anatoliykmetyuk
authored and
olsdavis
committed
Show inlined positions with source code

nicolasstucki
authored and
olsdavis
committed
Keep softness when widening unions

mbovel
authored and
olsdavis
committed
Add special case to init checker to always allow certain methods

Xavientois
authored and
olsdavis
committed
fix #14393

rssh
authored and
olsdavis
committed
Update protoquill to latest build

deusaquilus
authored and
olsdavis
committed
community build: update stdLib213 to current 2.13.x head

SethTisue
authored and
olsdavis
committed
Revert "Show inlined positions with source code"

smarter
authored and
olsdavis
committed
Scaladoc: Unescaped special characters in Quotes documentation

KacperFKorban
authored and
olsdavis
committed
Add draft as regression tests

nicolasstucki
authored and
olsdavis
committed
Update higher-order-quoted-expressions.scala

nicolasstucki
authored and
olsdavis
committed
Fix invariant quote type holes

dwijnand
authored and
olsdavis
committed
Revert "Revert "Show inlined positions with source code""

nicolasstucki
authored and
olsdavis
committed
Check if source exists for inline positions

nicolasstucki
authored and
olsdavis
committed
Re-enable missing cmdTests

nicolasstucki
authored and
olsdavis
committed
Comment out debug code

nicolasstucki
authored and
olsdavis
committed
Port Scala 2 f-interpolator

som-snytt
authored and
olsdavis
committed
Cleanup dispatch to interpolations

som-snytt
authored and
olsdavis
committed
Brace reduction and remove dead code

som-snytt
authored and
olsdavis
committed
Simplify Conversion

som-snytt
authored and
olsdavis
committed
Simplify TypedFormatChecker

som-snytt
authored and
olsdavis
committed
Drop special reporter

som-snytt
authored and
olsdavis
committed
Improve error position and recovery for bad dollar

som-snytt
authored and
olsdavis
committed
Pretty print type on f-interpolator, improve caret

som-snytt
authored and
olsdavis
committed
Use normal string escaping for f

som-snytt
authored and
olsdavis
committed
Collect error comments

som-snytt
authored and
olsdavis
committed
Add doc page for capture checking.

odersky
authored and
olsdavis
committed
Revert eager use of escape in interpolator

som-snytt
authored and
olsdavis
committed
fix typos in capture checking doc page

olhotak
authored and
olsdavis
committed
Infer parameters of eta applications with vararg parameters

odersky
authored and
olsdavis
committed
Drop invalid test

odersky
authored and
olsdavis
committed
Update compiler/src/dotty/tools/dotc/typer/Typer.scala

odersky
authored and
olsdavis
committed
For generic tuples, call Tuples.apply instead of _1/_2/..

dwijnand
authored and
olsdavis
committed
Capture checking doc page changes

odersky
authored and
olsdavis
committed
Fix more typos in CC doc page

odersky
authored and
olsdavis
committed
Interactive: fix `contextOfPath` for Template

dos65
authored and
olsdavis
committed
Add regression test

nicolasstucki
authored and
olsdavis
committed
Issue Tsardom role specification

anatoliykmetyuk
authored and
olsdavis
committed
Fix typo

authored and
olsdavis
committed
Tsardom role spec updated according to the Dotty meeting of 31/01/22

anatoliykmetyuk
authored and
olsdavis
committed
Maintenance list added

anatoliykmetyuk
authored and
olsdavis
committed
Fix typo

authored and
olsdavis
committed
Fix typo

authored and
olsdavis
committed
Make JVM backed maintenance more precise

authored and
olsdavis
committed
Typo fix

authored and
olsdavis
committed
Typo fix

authored and
olsdavis
committed
Typo fix

authored and
olsdavis
committed
Reword MAINTENANCE

authored and
olsdavis
committed
Update MAINTENANCE.md

authored and
olsdavis
committed
Improve -explain rendering

nicolasstucki
authored and
olsdavis
committed
Refactor static-site loading

pikinier20
authored and
olsdavis
committed
Change static site directory structure. Adjust Dotty static site directory to the new implementation

pikinier20
authored and
olsdavis
committed
Refactor blog handling

pikinier20
authored and
olsdavis
committed
Adjust testcases static site to the new structure. Change assets copy destination in sbt project

pikinier20
authored and
olsdavis
committed
CRs from review. Add `hidden` property to hide page configured through sidebar.yaml

pikinier20
authored and
olsdavis
committed
Change requests: Uniformize property names in YAML config

pikinier20
authored and
olsdavis
committed
Fix explain rendering with Windows EOL

mbovel
authored and
olsdavis
committed
Fix backend assertion when using an exported enum

authored and
olsdavis
committed
Alternative fix based on tpd.desugarIdent

odersky
authored and
olsdavis
committed
Reposition assertion to respect safe initialization

Xavientois
authored and
olsdavis
committed
Fix safe-init error in MegaPhase

Xavientois
authored and
olsdavis
committed
Scaladoc: Repair links

pikinier20
authored and
olsdavis
committed
Document that inline methods are not eta expanded

odersky
authored and
olsdavis
committed
Avoid using · character

mbovel
authored and
olsdavis
committed
Fix #11008: Support generic tuples as a valid unapply result

anatoliykmetyuk
authored and
olsdavis
committed
Support generic tuples as a valid unapplySeq return type

anatoliykmetyuk
authored and
olsdavis
committed
Add test for the generic tuples as result types of unapplySeq

anatoliykmetyuk
authored and
olsdavis
committed
Supress safe initialization warning in Run class

Xavientois
authored and
olsdavis
committed
Change default blog directory to 'blog'

pikinier20
authored and
olsdavis
committed
Make member filtering case-insensitive in scaladoc

jchyb
authored and
olsdavis
committed
Add id attributes to anchors of members in Scaladoc searchbar

jchyb
authored and
olsdavis
committed
Close searchbar after clicking a result in Scaladoc

jchyb
authored and
olsdavis
committed
Fix anchors in Inkuire results in Scaladoc

jchyb
authored and
olsdavis
committed
Add problematic test

Sporarum
authored and
olsdavis
committed
Fix dependent function types rendering

pikinier20
authored and
olsdavis
committed
Add dependent function type testcase

pikinier20
authored and
olsdavis
committed
Follow renames in content contributors script

pikinier20
authored and
olsdavis
committed
Avoid stale import context during REPL parsing

griggt
authored and
olsdavis
committed
fix typo in docs example capability checking

bjornregnell
authored and
olsdavis
committed
Set zero span for synthetic enum import selector

tgodzik
authored and
olsdavis
committed
Propagate unreported features when flushing a reporter

odersky
authored and
olsdavis
committed
Fix what -Xlint should have reported if it existed

odersky
authored and
olsdavis
committed
Create errorTermTrees for more missing arguments to Apply nodes.

adampauls
authored and
olsdavis
committed
Disable type simplify in unpickler

noti0na1
authored and
olsdavis
committed
Rename test file

noti0na1
authored and
olsdavis
committed
Search all source trees for a given span

tgodzik
authored and
olsdavis
committed
Tweak `pathTo` comment in NavigateAST

tgodzik
authored and
olsdavis
committed
Set zero span for synthetic tuple type

tgodzik
authored and
olsdavis
committed
Find inline calls inserted in synthetic members

nicolasstucki
authored and
olsdavis
committed
Set proper position for ValDefs generated from tuples

tgodzik
authored and
olsdavis
committed
Remove unnecessary newScope in newNormalizedClassSymbol

nicolasstucki
authored and
olsdavis
committed
Don't compute indents when in a string

som-snytt
authored and
olsdavis
committed
Fix space in unsafe nulls

noti0na1
authored and
olsdavis
committed
Add patman test

noti0na1
authored and
olsdavis
committed
Fix tests in Ycheck

noti0na1
authored and
olsdavis
committed
Remove StickyKey

noti0na1
authored and
olsdavis
committed
Relax overriding by stripping nulls deeply

noti0na1
authored and
olsdavis
committed
move widenDealias

noti0na1
authored and
olsdavis
committed
Testing new approach

noti0na1
authored and
olsdavis
committed
Add comments

noti0na1
authored and
olsdavis
committed
Fix typos

noti0na1
authored and
olsdavis
committed
Add restriction

noti0na1
authored and
olsdavis
committed
Move relaxed context to a function

noti0na1
authored and
olsdavis
committed
fix(#11202): explicitly handle TypeTree in syntax highlighting

ckipp01
authored and
olsdavis
committed
Better positions on errorTermTree

adampauls
authored and
olsdavis
committed
Thread context through block in transforms correctly and efficiently

odersky
authored and
olsdavis
committed
Fix "forward reference from self constructor" checking

odersky
authored and
olsdavis
committed
Protected case class constructor -> private apply

dwijnand
authored and
olsdavis
committed
Set context when reporting summonInline errors

andrzejressel
authored and
olsdavis
committed
fix(parser): make empty catch an incomplete.

ckipp01
authored and
olsdavis
committed
Don't skip override tests when overridden is AbsOverride

odersky
authored and
olsdavis
committed
Introduce generation config for Scaladoc

pikinier20
authored and
olsdavis
committed
Add task generating Scala 3 language reference

pikinier20
authored and
olsdavis
committed
Edit unused imports

som-snytt
authored and
olsdavis
committed
Remove unused definitions

nicolasstucki
authored and
olsdavis
committed
Implementing lazy vals
olsdavis
committed
Reorder to avoid type erasure to Object issue + fix test
olsdavis
committed
Keeping code for old release compatibility
olsdavis
committed
Fix conflicts
olsdavis
committed

Fixing #7140: Implementing new lazy vals scheme#14545olsdavis wants to merge 1248 commits intoscala:mainscala/scala3:mainfrom olsdavis:masterolsdavis/dotty:masterCopy head branch name to clipboard

Commits

Commits on Apr 4, 2022

Fixing #7140: Implementing new lazy vals scheme#14545
olsdavis wants to merge 1248 commits intoscala:mainfrom
olsdavis:master