| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
When printing with -Yprintpos always have the position follow
immediately the term with the position. Makes it easier to
interpret diffs.
|
| | | |
| | | |
| | | |
| | | |
| | | | |
With that change, all files tested in pickleOK have the
same positions before and after pickling.
|
| | | |
| | | |
| | | |
| | | | |
Was: position of self def, now: position of tpt in self def.
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Shared trees are pickled under multiple addresses. Previously, only the
last address was stored, which led to trees with unknown positions.
Now, all addresses are stored.
|
| | | |
| | | |
| | | |
| | | | |
Also, some simplifying refactorings and renamings
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
The plan is to keep original type until after pickling,
and afterwards replace it with a simple TypeTree.
# Conflicts:
# src/dotty/tools/dotc/core/tasty/TreePickler.scala
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
The goal is that pickled and unpickled trees should print
the same with -Yprintpos. There are several reasons why this
is not the case so far. Some of them are fixed in this
commit.
|
| | | | |
|
| | | | |
|
| |/ /
|/| | |
|
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
These error messages are for aux ctors needing non-implicit params. I'm testing the error messages with this code
```
class Square(val len: Int) {
// typical cases:
// (1) this() parens are forgotten, (2) argument set as implicit
def this(implicit width: Double) = this(0)
def this = { this(4) }
}
class MyList(val s: String) {
def this
```
|
| | |
| | |
| | |
| | |
| | | |
This commit adds the semantic object fir the ```identifier expected``` error.
It is part of the https://github.com/lampepfl/dotty/issues/1589
|
| |/
|/| |
|
| | |
|
| | |
|
| | |
|
| | |
|
|\ \
| | |
| | | |
Add error message - Comments.scala:128
|
| | |
| | |
| | |
| | |
| | | |
This commit adds the semantic object for the ```definition not found``` error.
It is part of the (https://github.com/lampepfl/dotty/issues/1589)[https://github.com/lampepfl/dotty/issues/1589]
|
|\ \ \
| |/ /
|/| | |
Fix-#1500 Include constraining type variables when interpolating
|
| | |
| | |
| | |
| | |
| | | |
This is not necessary now that `variances` includes a fixpoint
computation
|
| |/
| |
| |
| | |
Fixes #1500. Review by @smarter.
|
|\ \
| | |
| | | |
Fix #1570: Allow inline parameters as inline args
|
| |/
| |
| |
| |
| |
| |
| | |
Inline parameters can always be passed to other
inline parameters.
Fixes #1570.
|
|\ \
| | |
| | | |
Add error message for Parsers:1329
|
| | | |
|
| | | |
|
|\ \ \
| | | |
| | | | |
Record syntactic information about modifiers
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Note that there's no need to explicitly call `atPos` here, because
the initializer of `Positioned` will automatically synthesize the
initial position from its children elements. Refer to the definition
of `Positioned` for more details.
|
| | | | |
|
| | | | |
|
| | | | |
|
|\ \ \ \
| |_|/ /
|/| | | |
Fix #1614 tailrec.
|
| | | |
| | | |
| | | |
| | | |
| | | | |
Even if outer class & method isn't polymorpnic,
inner method might be. Need to handle this correctly.
|
|/ / /
| | |
| | |
| | | |
This one is about a 'missing return type' when we can't infer a type. I used tests/neg/i871.scala to verify the change.
|
|/ / |
|
| | |
|
|\ \
| | |
| | | |
Add error messages - Parsers.scala:626 and Parsers.scala:1492
|
| | | |
|
| | |
| | |
| | |
| | | |
This commit also fixes #1583.
|
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
- 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.
|
| | | |
|