| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|\
| |
| |
| |
| | |
rubenpieters/issue-1589-unbound-placeholder-parameter-error-message
Add unbound placeholder parameter message.
|
|/ |
|
|\
| |
| | |
Add error messages - Parsers.scala:626 and Parsers.scala:1492
|
| | |
|
|\ \
| | |
| | | |
Fix #1286: Warn on inexistent imports that are not used.
|
|/ /
| |
| |
| | |
This commit also fixes #1583.
|
|\ \
| | |
| | | |
Introduce scalaShadowing package
|
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
- Remove unused classes Pair and Singleton.
- Move classes from dotty.annotation.internal
to scala.annotation.internal.
The only classes remaining now are in dotty.runtime
and DottyPredef. We should probably do something about them
as well at some point.
|
|/ /
| |
| |
| |
| |
| |
| |
| |
| | |
The `scalaShadowing` package is used to safely modify classes and
objects in scala so that they can be used from dotty. They will
be visible as members of the `scala` package, replacing any objects
or classes with the same name. But their binary artifacts are
in `scalaShadowing` so they don't clash with the same-named `scala`
members at runtime.
|
|\ \
| | |
| | | |
Fix #1576: Parameters of Java annotations should be public
|
| | |
| | |
| | |
| | |
| | | |
Parameters of annotation classes parsed by the Java parser should
have public val parameters. Otherwise they cannot be accessed as fields.
|
|\ \ \
| |_|/
|/| | |
Fix #1567: Widen private constructor in value class
|
| |/
| |
| |
| |
| |
| |
| |
| | |
Private or protected constructors of value classes need to be widenened
to public in order to enable boxing anywhere.
Technically we should also do something about qualified private constructors, but since we
want to get rid of them anyway it's urgent.
|
|\ \
| | |
| | | |
Improved error messages in Desugar.scala
|
| | | |
|
|\ \ \
| |/ /
|/| | |
Move 'sandbox/scalajs/hello.scala' to 'sandbox/scalajs/src/main/scala…
|
| | | |
|
|/ /
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
'sandbox/scalajs/src/main/scala/hello.scala' to fix an ensime error. After this change, `sbt ensimeConfig` works.
The ensime error message:
```
[error] You have .scala files in the base of your project. Such "script style" projects
[error] are not supported by ENSIME. Simply move them into src/main/scala to get support.
[error] Please read https://github.com/ensime/ensime-server/issues/1432
```
|
|\ \
| | |
| | | |
Fix #1590: Eliminate wildcards when approximating a type
|
| | | |
|
| |/
| |
| |
| |
| | |
Fixes #1590. Type variables should never be instantiated to types
containing wildcards.
|
|\ \
| | |
| | | |
Fix #1544: Allow long signatures in names
|
| | |
| | |
| | |
| | |
| | | |
Fixes #1544 by making the length field use 1 or 2 bytes,
depending on the number of parameters in a signature.
|
|\ \ \
| | | |
| | | | |
Missing error messages: Parsers.scala: 2064
|
|/ / / |
|
|\ \ \
| | | |
| | | | |
Fix #1540: overloaded get and isDefined in option-less patmat
|
| | | | |
|
| | | | |
|
|\ \ \ \
| | | | |
| | | | | |
Fix #1515: Don't narrow gadt bounds when frozen
|
| |/ / /
| | | |
| | | |
| | | | |
Fixes #1515. Review by @smarter.
|
|\ \ \ \
| | | | |
| | | | | |
Fix #1531: Ignore private members when looking for abstract ones
|
| |/ / /
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Private members do not override abstract ones. So when looking for
abstract members we need to search with `nonPrivateMember`, not
`member`.
Fixes #1531. Review by @smarter.
|
|\ \ \ \
| |/ / /
|/| | | |
Typer#escapingRefs: don't let the types of lower bounds escape
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
In 0efa171e8ccca0d49fc6d800fd21e29f7b7336fd I changed the definition of
NamedPartsAccumulator to exclude lower bounds as this is required for the
implicit search, but NamedPartsAccumulator is also used by
Typer#escapingRefs so in the following code:
class Foo[T]
val z = {
class C
??? : Foo[_ >: C]
}
the type of z was inferred to be Foo[_ >: C] instead of Foo.
To avoid this, NamedPartsAccumulator will only exclude lower bounds if
the parameter excludeLowerBounds is explicitely set to true.
No test because there is no way to detect that a type has escaped, this
might be something that could be added to TreeChecker.
|
|\ \ \ \
| | | | |
| | | | | |
Small fixes to some warnings/comment typos
|
| | | | | |
|
| | | | |
| | | | |
| | | | |
| | | | | |
The warning is invalid but Scalac can't tell.
|
| | | | | |
|
| | | | | |
|
|\ \ \ \ \
| | | | | |
| | | | | | |
Fix #1543: Ignore IgnoredProto when normalizing method application.
|
| | | | | | |
|
|\ \ \ \ \ \
| |_|_|_|_|/
|/| | | | | |
Fix erasure of "def foo[T]: Unit", do not box the return type
|
| | | | | | |
|
|\ \ \ \ \ \
| | | | | | |
| | | | | | | |
fix #1274: test for dotty bootstrap based on tasty
|
|/ / / / / / |
|
|\ \ \ \ \ \
| |/ / / / /
|/| | | | | |
Fix #1552: REPL file loading
|
| | | | | | |
|
|\ \ \ \ \ \
| | | | | | |
| | | | | | | |
Harmonize PolyType and TypeLambda
|