| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
| |
| |
| |
| | |
needed to turn some errors into warnings.
|
| |
| |
| |
| | |
Fixes #913.
|
|/
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
The included test
pos-special/variances-constr.scala
demonstrates an unsoundness in the variance checking of scalac.
Scalac excludes symbols owned by constructors from the
checking. This is unsound, as can be demonstrated by compiling the test
and observing output of the program run:
Exception in thread "main" java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String
at Test$.main(variances-constr.scala:17)
at Test.main(variances-constr.scala)
Dotty allows this code only under -language:Scala2 and issues a migration warning.
|
|\
| |
| | |
Deal gracefully with missing return types of abstract menthods.
|
| |
| |
| |
| |
| |
| |
| | |
1) Better error message: "missing return type" instead of `=' expected.
2) Allow them under language:Scala2
Fixes #871
|
| |
| |
| |
| |
| |
| |
| |
| | |
These were disabled before, which means that having evidence
of S <:< T did not introduce a usable implicit conversion from
S to T. We do do it like scalac: just disable Predef.$conforms.
This makes TraversableOnce compile. Fixes #914.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
|\ \
| |/
|/| |
Change allow ex in hk
|
| |
| |
| |
| |
| |
| |
| | |
Reason: An inner Scala2 class might be shadowed by a same-named class in a subtype.
In Dotty this is disallowed butin Scala 2 it is possible. For instance, math.Numeric
and math.Ordering both have an inner class "Ops". Normal TypeRef types could not
select the shadowed class in Ordering is the prefix is of type Numeric.
|
| | |
|
|\ \
| | |
| | | |
Fix #895: Maintain keep file during bootstrap
|
| |/ |
|
|\ \
| | |
| | | |
Fix #884 - misdiagnosed ambiguous definition.
|
| |/
| |
| |
| |
| | |
Universal equality strikes again. Caused a bug in
isDefinedInCurrentUnit.
|
|/
|
|
| |
If an error message was supressed to count it in the total.
|
| |
|
|
|
|
| |
Enforces various restrictions of definitions.
|
| |
|
|
|
|
| |
dot script now has -bootstrapped option that will use dotty-compiled-by-dotty.
|
|\
| |
| | |
Check that some types are not higher-kinded.
|
| |
| |
| |
| | |
Invalidates #813. Review by @darkdimius.
|
|/
|
|
| |
Fixes #822
|
|
|
|
|
|
| |
withMode sets the whole mode, nit an individual bits. This was used
wrongly in several places. Make this less of a trap by renaming
withMode -> withModeBits.
|
|
|
|
|
|
|
|
| |
Whenchecking whether two denotations match it is not enough
to look at the signatures. The signatures might match (on the
parameters) but the actual parametre types might be different.
The change always tests infos after signatures, effectively
turning the signature test into a pre-filter.
|
| |
|
|
|
|
| |
...unless the HK type can be eta-reduced to a class type.
|
| |
|
|\
| |
| | |
Fix #756 super accessors
|
| |
| |
| |
| |
| | |
There was a transcription error from scalac which caused the scope
of a `!` to be wrong.
|
| |
| |
| |
| |
| | |
Introduce a new non-terminal "SimpleLiteral". Only SimpleLiterals can be
types.
|
| |
| |
| |
| |
| | |
Tested are now other numeric values, strings, booleans, which are
all legal singleton types.
|
|/
|
|
|
|
| |
As the comment in pos/singletons.scala says, we currently
test only constant propagation during typer. We should also have a
test that literalize produces the literals in the right places.
|
|
|
|
|
|
|
|
| |
There were two architectural errors here, which confused TreeTransforms and MiniPhases
and which caused "NotDefinedHere" on transformFollowing:
1. TreeTransforms should not have idx fields, MiniPhases have them.2
2. TreeTransformers initialize arrays of MiniPhases not TreeTransforms.
|
|
|
|
| |
This reverts commit c8afd79b4c7f145ba090a2d936d627c3ab35b1c2.
|
|
|
|
|
| |
Phase lifts tries that would be illegal because they execute on non-empty
expression stacks.
|
|
|
|
|
| |
Disable the check because if fails for desugar.scala and also in some dotty files.
This test failed before the addition of NonLocalReturns.
|
|\
| |
| | |
Ycheck that methods defined in ClassInfo exist in tree.
|