dotty
https://github.com/lampepfl/dotty
Scala
The Scala 3 compiler, also known as Dotty.
Triage Issues!
When you volunteer to triage issues, you'll receive an email each day with a link to an open issue that needs help in this project. You'll also receive instructions on how to triage issues.
Triage Docs!
Receive a documented method or class from your favorite GitHub repos in your inbox every day. If you're really pro, receive undocumented methods or classes and supercharge your commit history.
Scala not yet supported15 Subscribers
Add a CodeTriage badge to dotty
Help out
- Issues
- Subtype constraint solving is incomplete, so GADT exhaustiveness checking could be unsound
- Infer refinement types for val members of traits and abstract classes
- Community build should test more parts of the compiler
- Investigate why the Block TypeAssigner avoids types but not terms
- Port backend unit tests from scalac
- Ycheck consistency between flags
- Typing of the method ignores knowledge that could be collected from type bounds on method targs
- Docs
- Scala not yet supported