liufengyun Follow

liufengyun Follow

Fengyun Liu liufengyun

Software developer interested in programming languages and formal methods

Follow

189 followers · 56 following · 265

EPFL
Lausanne, Switzerland
Sign in to view email
fengy.me

Highlights

Arctic Code Vault Contributor

Organizations

Pinned

lampepfl/dotty

The Scala 3 compiler, also known as Dotty.

Scala 4.3k 695
lampepfl/bench

benchmark compilation of Dotty

Scala 8 2

4,468 contributions in the last year

Contribution activity

January 2021

Created 173 commits in 3 repositories

Created a pull request in lampepfl/dotty that received 12 comments

Implement @covers annotation for partial irrefutable specification

We propose two orthogonal annotations to enhance exhaustivity check for custom extractors and virtual ADT data types. @covers[T]: specifying that an

+207 −75 • 12 comments

Opened 12 other pull requests in 1 repository

lampepfl/dotty

9 merged 3 open

Fix #11078: avoid widening F-bounds in type avoidance Jan 22
Add compiler version to issue template Jan 22
Revert #10591: use sbt-jmh 0.3.2 Jan 21
Update documentation for parameter untupling Jan 21
Fix spurious failure in CI Jan 20
Fix #11118: check irrefutable pattern def in 3.0 Jan 15
Fix #8022: Refactor MoveStatics Jan 14
Fix #10174: avoid creating deep nesting union space Jan 11
Fix #10994: align typed pattern syntax with Scala 2 Jan 7
Fix #10888: Avoid A.this.B for Java inner classes Jan 6
Fix #11061: stop accidentally supported auto-tupling for case classes Jan 4
Fix #10966: handle local apply methods Jan 4

Reviewed 46 pull requests in 1 repository

lampepfl/dotty 46 pull requests

Add some docs in Quotes.scala Jan 26
Make `quotes` parameter an inline parameter Jan 26
Rework TastyInspector API to allow inspection of all files Jan 26
issue templates: better version prompt Jan 25
Support for parsing annotation arguments from java Jan 25
Fix trace command for `effect.asSeenFrom` Jan 24
Fix `test_non_bootstrapped` workflow Jan 22
Add JNA lib to be used with JLINE_TERMINAL_JNA Jan 20
Disallow case classes defined in inline methods Jan 20
more fixes in Markdown files Jan 19
Fix conflict with Toolbox to Compiler renaming Jan 19
Add ParamClause to allow multiple type param clauses Jan 19
Change `module` to `object` in error messages Jan 19
Fix implicit search in Inlining phase Jan 19
Remove reflectedFields macro Jan 18
Add regression tests Jan 18
Add overriding check Jan 18
Rename scala.quoted.staging.{Toolbox => Compiler} Jan 18
Fix reflect ByName docs and align method names Jan 18
Fix BootstrappedOnlyCompilationTests error reporting Jan 18
Track levels in Inlining phase Jan 18
Add quote patterns regression tests Jan 15
typedSelect refactorings Jan 14
Add beta-reduction regression test Jan 13
Allow literals as given types Jan 13
Some pull request reviews not shown.

Created an issue in lampepfl/dotty that received 11 comments

Whether support `*:` as a valid return type of `unapply` in extractors

The following code is currently not supported by the compiler: object U: def unapply(s:String): String *: EmptyTuple = Tuple1(s) "hello" match case U…

11 comments

Opened 3 other issues in 1 repository

lampepfl/dotty

1 open 2 closed

Incorrect type inference for F-bounds Jan 27
Runtime crash of @static methods Jan 13
Incorrectly supported auto-tupling for case classes Jan 11