| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |\
| |
| | |
Fix #1638: Don't import when typing a package clause
|
| | |
| |
| |
| |
| |
| |
| | |
When typing the first identifier of a package clause, disable
imports, as package clauses are never imported.
Fixes #1638.
|
| |\ \
| | |
| | | |
Fix #1637: Future defs are always OK
|
| | | |
| | |
| | |
| | |
| | |
| | |
| | | |
Drop special mode that handles future defs without which we
get DenotationNotDefinedHere errors. In more than a year, this
has only turned up false negatives. So I think it's better to
drop the check, and the contortions needed to deal with it.
|
| |\ \ \
| | | |
| | | | |
Fix #1604: print outer context if applicable
|
| | | | | |
|
| |/ / / |
|
| |\ \ \
| | | |
| | | | |
Fix #1579: Adapt the sbt bridge for the new error message
|
| | |/ / |
|
| |\ \ \
| | | |
| | | | |
Fix #1652: Make assertion more robust
|
| | | | | |
|
| | | | |
| | | |
| | | |
| | | | |
Should be a neg test now.
|
| | | |/
| |/|
| | |
| | |
| | | |
An assertion fired giving a false negative after a fuzzing
test which introduced an ill-kinded type argument.
|
| |\ \ \
| |/ /
|/| | |
Fix Tasty positions
|
| | | |
| | |
| | |
| | | |
Other comments had already been addressed in previous commits.
|
| | | |
| | |
| | |
| | | |
Merge with POLYtypem, as we do already for internal types.
|
| | | |
| | |
| | |
| | |
| | | |
They used to share the same id as the tree they were cloned from,
which makes id's not really unique.
|
| | | |
| | |
| | |
| | |
| | | |
Don't convert to a TypeTree in PostTyper, because that
loses internal positions.
|
| | | |
| | |
| | |
| | |
| | | |
Since we now transform all type trees, no need to have
a separate traversal for checking.
|
| | | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
We need to keep the original expressions around
for accurate linking with the source file. That holds
also if the expression has a constant type, so it should
not be converted to a literal before pickling.
Instead it will be converted in FirstTransform.
|
| | | |
| | |
| | |
| | |
| | |
| | | |
If we want to pickle types with positions we should not
converyt to TypeTrees before pickling. Instead, type trees
are now converted to TypeTrees in FirstTransform.
|
| | | |
| | |
| | |
| | | |
Updated to ignore two .cache files in ScalaIDE 4.4
|
| | | |
| | |
| | |
| | |
| | | |
This is needed to figure out where the defined name is in a
definition.
|
| | | |
| | |
| | |
| | | |
Don't generate positions that can be reconstructed from the initial position of a tree.
|
| | | | |
|
| | | | |
|
| | | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
Inlined trees should be preserved by pickling so that we keep
positions accurate.
With that change now all tasty tests are tested for position
accuracy.
|
| | | | |
|
| | | |
| | |
| | |
| | |
| | |
| | | |
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.
|
| |\ \ \
| | | |
| | | | |
Add error message - _* syntax - Parsers.scala:1082
|
| |/ / / |
|
| |\ \ \
| |_|/
|/| | |
Fix line splitting when point is first col
|
| | | | |
|
| |/ / |
|
| |\ \
| | |
| | | |
Update error msg for Parsers.scala:1738 and 1739
|
| |/ /
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
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
```
|
| |\ \
| | |
| | | |
Add error message IdentifierExpected
|
| |/ /
| |
| |
| |
| | |
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 Parsers.scala:1620 missing type keyword
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | | |
|
