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 supported16 Subscribers
Add a CodeTriage badge to dotty
Help out
- Issues
- Singleton bound and type projections don't play nice with each other
- Types printed in error messages are dealiased completely for some cases
- Recursion limit error typechecking value of abstract type with type member and subtyping
- NoSuchMethodError calling operator names from non-scala classes
- Show real type names in error messages
- Cannot unpickle secondary constructors in quotes
- Inference of inaccessible types
- Flags defined in FromStartFlags/AfterLoadFlags should not be (re)set in completers or InfoTransformers
- Further GADT issues
- Subtype constraint solving is incomplete, so GADT exhaustiveness checking could be unsound
- Docs
- Scala not yet supported