lampepfl / dotty Public

14 Pull requests merged by 7 people

• Use correct context when creating inline trace

  #13492 merged Sep 9, 2021

• Add retry logic to inkuire fetch

  #13482 merged Sep 8, 2021

• Fix reachability of non-reducing match type children

  #13251 merged Sep 7, 2021

• Set correct source for generated TypeTrees

  #13465 merged Sep 7, 2021

• Scaladoc/Inkuire-M3

  #13454 merged Sep 7, 2021

• Build: increase timeout for downloading inkuire.js from GitHub

  #13457 merged Sep 7, 2021

• Fix typo

  #13480 merged Sep 6, 2021

• Make trace typed, to avoid needless casting

  #13464 merged Sep 6, 2021

• Scaladoc: Fix printing refined self-types in snippet-compiler

  #13436 merged Sep 6, 2021

• Remove anomalies and gaps in handling annotations

  #13474 merged Sep 4, 2021

• Fix and reinstate repl/errmsgs

  #13459 merged Sep 4, 2021

• Revert "Bump tasty to 28.3-1"

  #13463 merged Sep 3, 2021

• patch TASTy version to 28.1-2

  #13462 merged Sep 3, 2021

• Fix #13440: Avoid capturing var in message closure

  #13441 merged Sep 3, 2021

10 Pull requests opened by 8 people

• WIP - Fix init soundness

  #13472 opened Sep 4, 2021

• Unpend repl/i13208 by reading compiler options

  #13473 opened Sep 4, 2021

• Adding full support of path-dependent GADT reasoning

  #13475 opened Sep 5, 2021

• REPL: Use the state context when building a new run

  #13478 opened Sep 6, 2021

• [SemanticDB] Support TypeApply Synthetic

  #13481 opened Sep 6, 2021

• Fix #13455: Also consider sealed classes closed sums

  #13483 opened Sep 7, 2021

• Do not remove accessors to early

  #13484 opened Sep 7, 2021

• Emit deferred reachability warnings & fix boxing/unboxing adapting

  #13485 opened Sep 7, 2021

• Fix #13487: Unification check in deriving is incorrect

  #13489 opened Sep 8, 2021

• Bump sbt version in community projects

  #13496 opened Sep 9, 2021

7 Issues closed by 4 people

• transparent macro caller from private object access error

  #13477 closed Sep 9, 2021

• Unreachable case when matching with a match type subpattern

  #13189 closed Sep 7, 2021

• Release 3.0.2

  #13389 closed Sep 7, 2021

• Release 3.1.0-RC1

  #13390 closed Sep 7, 2021

• Getting Position of Tree fails execution

  #13352 closed Sep 7, 2021

• Nightly Dotty workflow of 2021-09-02 failed

  #13444 closed Sep 4, 2021

• `StringFormatter.showArg` throws `NullPointerException`

  #13440 closed Sep 3, 2021

15 Issues opened by 13 people

• Exception occurred while typechecking `summon` in nested `flatMap`

  #13497 opened Sep 10, 2021

• Cyclic reference involving variable with match type

  #13495 opened Sep 9, 2021

• summon Mirror of a union type has incorrect children

  #13493 opened Sep 9, 2021

• 3.0.2 typing incompatible with 3.0.1

  #13491 opened Sep 9, 2021

• Compiler crash

  #13490 opened Sep 8, 2021

• Browsing to source files of 'bootstrapped' lib types in scaladoc fails with 404

  #13488 opened Sep 8, 2021

• Unification check in deriving is incorrect

  #13487 opened Sep 7, 2021

• Overriding Java method with varargs under `-Yexplicit-nulls` compiler error

  #13486 opened Sep 7, 2021

• AssertionError when calling constructor proxies from macro

  #13479 opened Sep 6, 2021

• false double definition error of exported transparent inline

  #13476 opened Sep 5, 2021

• companion extension method not found for opaque type

  #13470 opened Sep 4, 2021

• Type Function Alias behaves differently from the inlined version of the type alias

  #13469 opened Sep 3, 2021

• Incremental compilation of opaque type fail

  #13468 opened Sep 3, 2021

• Completions causing AssertionError with missing implicit parameter

  #13467 opened Sep 3, 2021

• stub implementation doesn't compile

  #13466 opened Sep 3, 2021

33 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Expand `compiletime.ops`

  #13400 commented on Sep 6, 2021 • 16 new comments

• Remove anomalies and gaps in handling annotations

  #13348 commented on Sep 6, 2021 • 15 new comments

• Deduplicate union types

  #10693 commented on Sep 4, 2021 • 7 new comments

• Search for type tests when matching abstract applied type

  #13453 commented on Sep 9, 2021 • 5 new comments

• Confusing interaction between opaque types and extension methods

  #9880 commented on Sep 6, 2021 • 4 new comments

• assertion failed: <notype> class dotty.tools.dotc.ast.Trees$TypeTree -1 in ReTyper

  #13406 commented on Sep 7, 2021 • 4 new comments

• Verify TASTy versions before releases

  #13447 commented on Sep 3, 2021 • 3 new comments

• Using identifiers starting with "res" in the REPL can lead to issues

  #3536 commented on Sep 8, 2021 • 3 new comments

• Distribute releases as .deb and .msi

  #12502 commented on Sep 8, 2021 • 3 new comments

• Fix #10747: Raise type error on unreducible match type

  #12768 commented on Sep 8, 2021 • 3 new comments

• Fix #11861 - hash nested calls to inline definitions

  #12931 commented on Sep 9, 2021 • 3 new comments

• patch TASTy version to 28.1-0 for 3.1.0 final

  #13452 commented on Sep 3, 2021 • 3 new comments

• Doctool: Extra "api" directory under target

  #11412 commented on Sep 7, 2021 • 2 new comments

• Update markdown files for preprocessing purposes

  #13350 commented on Sep 3, 2021 • 2 new comments

• Type Lambda Crashes Compiler

  #13460 commented on Sep 3, 2021 • 1 new comment

• Basic option processing is still broken for REPL

  #13443 commented on Sep 5, 2021 • 1 new comment

• Zinc invalidation when nested inline method changes

  #11861 commented on Sep 6, 2021 • 1 new comment

• Optional braces not allowed for pattern match guard

  #11444 commented on Sep 8, 2021 • 1 new comment

• Fix #10867: Normalize after applyIfParameterized in superType

  #13253 commented on Sep 8, 2021 • 1 new comment

• ordinal: drop unchecked with sealed abstract skips

  #13414 commented on Sep 9, 2021 • 1 new comment

• Sealed traits behave different than sealed class for type match reduction

  #13455 commented on Sep 3, 2021 • 0 new comments

• Spurious missing TypeTest instance for a match type

  #13433 commented on Sep 3, 2021 • 0 new comments

• Infinite loop during typing match types

  #13431 commented on Sep 3, 2021 • 0 new comments

• transparent inline macros leak underlying opaque types

  #13461 commented on Sep 3, 2021 • 0 new comments

• REPL: chained extension methods on opaque types can only be called once

  #10044 commented on Sep 3, 2021 • 0 new comments

• Add Synthetics section to SemanticDB

  #13135 commented on Sep 6, 2021 • 0 new comments

• Stub code suggestion in missing method error message should use type parameters of present class, not parent trait

  #13076 commented on Sep 7, 2021 • 0 new comments

• Implicit resolution error in the presence of covariance

  #13387 commented on Sep 7, 2021 • 0 new comments

• Fix #12260: Add underscore to match type syntax

  #12261 commented on Sep 8, 2021 • 0 new comments

• implement map function for list-encoding test

  #12864 commented on Sep 4, 2021 • 0 new comments

• Scaladoc markdown preprocessor

  #13140 commented on Sep 3, 2021 • 0 new comments

• First version of capture checker based on rechecking

  #13309 commented on Sep 9, 2021 • 0 new comments

• Support GADT reasoning over path-dependent types

  #13364 commented on Sep 4, 2021 • 0 new comments