| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
| |
Needed a fixup action in ExplicitOuter to avoid references to
module's This from outside their scope.
The problem is fixed, but I wish I understood better the root cause.
|
|\
| |
| | |
Add annotations phase
|
| | |
|
| |
| |
| |
| | |
This PR also fixes #1649
|
| |
| |
| |
| |
| |
| |
| |
| | |
Need to evaluate annotation arguments in an expression context, since
classes defined in asuch arguments should not be entered into enclosing
class.
Fixes #1647
|
| |
| |
| |
| |
| |
| | |
If we want to do annotation macros right, we need to add
annotations before completing definitions. This commit achieves
that by adding a new "phase" between index and typecheck.
|
| |
| |
| |
| | |
Got a "next on empty iterator" exception before.
|
| |
| |
| |
| | |
It was broken before, since it worked only on wildcard imports.
|
| |
| |
| |
| |
| | |
Honor the new scheme where any explicit import of a
root import will disable the root import.
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
We got a hard to track down error when changing to the new
annotations elaboration scheme (should be in the next commit):
When running `testNonCyclic`, `DotClass` was not found in object Trees
even though it was imported from `util`. It turned out that the import
was ignored because the `util` symbol was completing.
This commit adds a warning when this happens. The warning currently applies
only to named imports because several false negatives were encountered if
we do this also on wildcard imports. I.e. we get a warning, but the searched
after symbol is not a member of the wildcard qualifier.
This commit also refactors namedImportRef, so that `site` is only
computed when the name to reseolve appears in the selector list.
That change made the previously observed error go away because less
is now forced.
|
|/
|
|
|
| |
Had duplications of `import` before.
Also: add import info when printing contexts.
|
|\
| |
| | |
Fix #1753: Better comparison of path types
|
|/
|
|
|
|
| |
In this case, a path went through a type parameter which was
aliased to a singleton type. Need to dealias to get to the
special case handling two paths.
|
|\
| |
| | |
fix publishing of dotty-library
|
|/ |
|
|\
| |
| | |
fix #1748: desugaring with StringContext in PatDef
|
| | |
|
|/ |
|
|\
| |
| | |
Fix #1707: Survive non-existing positions in parser
|
| | |
|
| | |
|
| |
| |
| |
| |
| |
| |
| | |
Some trees, which do not consume input have unassigned positions (so that
they can fit in whatever range they are integrated). It's therefore risky
to take the start or end of a parsed tree's position. This commit guards
against the case where the position of the tree does not exist.
|
|\ \
| |/
|/| |
Fix colons in printer
|
| |
| |
| |
| |
| | |
This is done so that we can use show for the entire method except for
the ascribed type added by the compiler on success.
|
| | |
|
| | |
|
| | |
|
|\ \
| |/
|/| |
Fix #1737: Enable GADT checking for objects
|
|/
|
|
|
| |
So far, only typed patterns an dunapply had GADT matching.
i1737.scala shows that we need to do the same thing for objects.
|
|\
| |
| | |
Environmentally friendly tests
|
| | |
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
Fengyun's original solution was the right one. We cannot NOT
enter a package class into its parent scope, because reloading
the denotation with .member will fail. So we need to enter it and
compensate by adding a clause to `qualifies` in `typedIdent`.
Weirdly, this was noted only when running tasty_bootstrap from
a custom classpath in the new build setup. So it was pretty
tricky to diagnose.
|
| | |
|
| | |
|
| |
| |
| |
| |
| | |
-verbose output was suppressed like all other non-error
output in the tests. Now we don't filter output if -verbose is set.
|
| | |
|
| | |
|
| | |
|
|/
|
|
|
|
|
|
|
|
|
|
| |
sbt adds the correct jars to classpath and the tests depend on
`packageAll` which creates these. When using something else however,
these together with `sbt-interfaces` do not get propagated from the
build.
To remedy this and make the testing a bit more flexible, we now
take these from `sys.props` instead, see `tests/dotty/Jars.scala`.
If the props aren't defined we fall back to the ones default to sbt.
|
|\
| |
| | |
Change docker image to use lampepfl one
|
| | |
|
|/ |
|
|\
| |
| | |
[WIP] add drone
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
|/ |
|