| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| | |
|
| |\
| |
| | |
Fix #1806: Define outer accessors at the right phase
|
| | |
| |
| |
| |
| |
| |
| |
| |
| | |
Some outer accessors were defined at phase explicitOuter,
but were entered into the scope of their enclosing class only
at phase explicitOuter + 1. This turned them to stale symbols
when trying to access them at a later run, because at their
initially valid phase they were not found as members of
their owner.
|
| | | |
|
| |\|
| |
| | |
Fix #1790: Change by-name pattern matching.
|
| | |
| |
| |
| | |
This implements the rules laid down in #1805.
|
| | |
| |
| |
| | |
New implementation following the scheme outlined in #1790.
|
| |\ \
| | |
| | | |
Fix #1784: allow to omit types for local implicit vals
|
| | | |
| | |
| | |
| | | |
Needed an // error annotation
|
| | | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
Since we now allow to drop the explicit type of a local implicit val
it can happen that this causes a cyclic reference, namely when the
typechecking of the right-hand side involves an implicit search.
It's unpractical and fragile to avoid this. Instead we give now
a nice error message explaining the problem and how to fix it in
source code.
|
| | | | |
|
| |\ \ \
| | | |
| | | | |
Fix checks related to value classes
|
| | | | | |
|
| | | | | |
|
| | | | | |
|
| | | | | |
|
| | | | | |
|
| |\ \ \ \
| | | | |
| | | | | |
fix #1779: support $_ and $_id in interpolated string
|
| | | | | | |
|
| | | | | | |
|
| | |_|_|/
|/| | |
| | | |
| | | |
| | | |
| | | | |
- Add tests that work to pos/neg, tests that don't work yet to pending/pos/neg.
- Also, change .gitignore to allow for a local directory.
- Also add a draft page to the docs.
|
| |\ \ \ \
| | | | |
| | | | | |
[REPL] Add show capability to common types
|
| | | | | | |
|
| | | | | | |
|
| |\ \ \ \ \
| |_|_|_|/
|/| | | | |
Fix #1776: Avoid interaction between parameter forwarding and elimByName
|
| | | | | | |
|
| |\ \ \ \ \
| | | | | |
| | | | | | |
Fix #1757: Be more careful about positions of type variable binders
|
| | | | | | | |
|
| |\ \ \ \ \ \
| |_|/ / / /
|/| | | | | |
Fix #1756: Use lexically enclosing class as start of outer path.
|
| | | | | | | |
|
| | |/ / / /
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
We confused the enclosing class (which skips the current class in super
call contexts) and the lexically enclosing class in three locations
that all had to do with the start of an outer path.
|
| |\ \ \ \ \
| | | | | |
| | | | | | |
Fix #1765: Context bounds and denotation handling
|
| | |/ / / /
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
Once the context-bounds desugaring of i1765.scala was fixed, another problem came up:
We hit an invalid denotation due to some interaction between mixin and memoize.
It turned out that `insertInsteadOf` did not do what its doc comment claimed: it did
not store a forwarding pointer `nextInRun` in the overwritten denotation. Once that
was fixed we also needed to fix a follow-on erorr that now we could have chains of
invalid denotations linked by `nextInRun`.
|
| |\ \ \ \ \
| |_|_|/ /
|/| | | | |
Fix #1751: Make dominator work after erasure
|
| | |/ / /
| | | |
| | | |
| | | |
| | | |
| | | | |
i1751.scala shows a case where we need to compute the approximation
of an or-type during erasure. This can lead to an empty set of common
classes because Any does not exist anymore after erasure.
|
| |\ \ \ \
| | | | |
| | | | | |
Fix #1773: handle patterns in interpolated string
|
| | | | | | |
|
| |/ / / / |
|
| |\ \ \ \
| | | | |
| | | | | |
Fix #1639: Changes around implicits and apply methods
|
| | | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
This can lead to stackoverflow, as i1639.scala shows.
Fixes #1639.
|
| |\ \ \ \ \
| | | | | |
| | | | | | |
Drop function 22 limit
|
| | | |_|/ /
| |/| | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
Functions with more than 22 parameters are now
automatically converted to functions taking
a single object array parameter.
This has been achieved by tweaking erasure.
Other things I have tried that did ot work out well:
- Use a single function type in typer. The problem with this
one which could not be circumvented was that existing higher-kinded
code with e.g. Funcor assumes that Functon1 is a binary type constructor.
- Have a late phase that converts to FunctonXXL instead of
doing it in erasure. The problem with that one was that
potentially every type could be affected, which was ill-suited
to the architecture of a miniphase.
|
| |\ \ \ \ \
| |_|_|/ /
|/| | | | |
Fix #1665: Check that != has an operand on the left.
|
| | | |_|/
| |/| | |
|
| | | | |
| | | |
| | | |
| | | | |
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.
|
| | |/ /
|/| |
| | |
| | |
| | |
| | | |
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.
|
| | | | |
|
| | | | |
|
