-
Notifications
You must be signed in to change notification settings - Fork 336
Dotty Build Step 1 #1527
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Dotty Build Step 1 #1527
Conversation
…com/cheeseng/scalatest into feature-dotty-build
… needs macro re-implementation.
…eng/scalatest into feature-dotty-build
…n, NormalzingEquality, NormalizingEquivalence, ComposedNormalizingEquality, ComposedNormalizingEquivalence, DefaultEquality and NonEmptyArray to scalacticDotty module.
…RT and // SKIP-DOTTY-END.
…nCheckedConstraint to scalacticDotty.
…izations to scalacticDotty.
…straints, TripleEquals and TypeCheckedTripleEquals to scalacticDotty.
…package for scalacticDotty.
…ing macro expansion.
…ped currently due to blocking issue in dotty.
…Dotty, skipping PropCheckerAsserting for now.
…owing fengyun's advice.
…ed for now as the working nightly Dotty can't compile it yet.
…ch is not allowed in latest dotty build.
…ing 0214 BooleanMacro.scala can't compile anymore.
private case class AtMostCollected(num: Int) extends Collected | ||
private case object NoCollected extends Collected | ||
private case class ExactlyCollected(num: Int) extends Collected | ||
// In Dotty when Collected trait is private, object Matchers extends Matchers does not work, hopefully it can be fixed in future version of Dotty before it reaches final. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is a deliberate change and not a bug: if Collected
is private, then it should not appear in the signatures of methods and classes with a less restrictive access (like
final class ResultOfHaveWordForCollectedExtent[A](collected: Collected, xs: scala.collection.GenTraversable[A], original: Any, shouldBeTrue: Boolean, prettifier: Prettifier, pos: source.Position) { |
Otherwise, the privateness of the type cannot be implemented properly: scala/scala3#4154.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
If we agree with the approach in scala/scala3#4154, then we can close scala/scala3#5831
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes agree, making it to raise compiler error makes sense even under -language:Scala2 imho.
First batch of changes to support build for Dotty.