| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
- TypeTestTreeMaker subsumes the old TypeTestTM and TypeAndEqualityTM
its type- and equality-testing logic is configurable so that it can:
- generate trees (main purpose)
- check whether this tree maker is a pure type test
- generate the proposition that models this tree maker
(for exhaustivity and other analyses)
- [CSE] subst binders of dropped tm's to stored ones
somehow the refactoring broke the replacement of the binder of dropped
treemakers by the binder of the reused treemaker
when replacing
TM1(x1 => ...) >> TM2(x2 => ...) >> TM3(x3 => ...) >> ...
TM1'(x1' => ...) >> TM2'(x2' => ...) >> TM3(x3' => ...) >> ...
by
Memo1(x1 => ...) >> TM2(x2 => ...) >> Memo2(x3 => ...) >> ...
Reuse(Memo2)...
you need to replace x1' and x2' by x1
since TM2 tested a shared condition but was not memo-ised,
that implies it simply passed x1 through to x3 unmodified,
and x2' can simply use the stored x1
- type of first uniqued binder sets type of tree
when approximating a tree of treemakers as a DAG,
where sharing indicates the same value is tested,
use the type of the binder that was first used to
create a unique tree as the type of that tree,
and thus all trees used for the same binder in the future
- track substitution of alternatives when approximating
- error on unswitchable @switch annotated matches
if we can't turn a match (with more than two cases) into a switch,
but the user insists, emit an error
misc notes:
- when all you need is nextBinder, FunTreeMaker is your guy
- must pass flag to TypeTestTM for extractorarg test
case TypeTestTreeMaker(prevBinder, testedBinder, expectedTp, nextBinderTp)
(prevBinder eq testedBinder) does not imply it's a pure type test for an extractor call
note that the expected type for an extractor argument is not a type pattern,
thus we only do a classic type test -- the idea was to detect that case by noticing we're
being called with the same previous and tested binder, but that case also arises
for Typed patterns
|
| |\
| |
| | |
SI-5760: Improve error message for package$Klass conflict with Klass
|
| | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
Added a clarification to DoubleDefError for when the previous symbol
was in the package object but current symbol is not.
This was actually supposed to be an opportunity to hack partest to
run the two-step failing compilation, but somebody beat me to it and my
rebase failed.
The next hacking opportunity might be to add .pt script files! The
possibilities are endless.
|
| |\ \
| | |
| | | |
Test case closes SI-3880.
|
| | |/
| |
| |
| | |
virtpatmat ftw.
|
| |\ \
| | |
| | | |
Pending test for SI-3899.
|
| | |/
| |
| |
| |
| |
| | |
The super accessor for the Java varargs method impedes Uncurry's
efforts to convert repeated arguments to an Array. I'm not sure how
to fix that.
|
| |\ \
| | |
| | | |
Fix @varargs forwarder generation in the presence of nested templates.
|
| | | |
| | |
| | |
| | | |
Uncomment a line, as was the intent.
|
| | |/
| |
| |
| |
| |
| | |
Makes `newMembers` a Map[Symbol, Buffer[Tree]] to ensure we add the forwarders to the right template.
Closes SI-5125.
|
| |\ \
| |/
|/|
| | |
Fix SI-4717: lazy val declared inside an anonymous class inside a specialized
context no longer crashes Duplicators.
|
| | |
| |
| |
| | |
Should be checking if the owner of the new symbol is a class, not the new symbol itself.
|
| | |
| |
| |
| |
| |
| |
| | |
Only adding a lazy val into list of declarations if the owner is a class.
Review by dragos.
@mention dragos
|
| | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
A lazy val declared inside an anonymous class inside a specialized
context no longer crashes Duplicators.
Previously, a duplicated lazy val was assigned to the wrong owner
in Duplicators:
def x[B >: A]: Unit = new Bounds[B] {
lazy val it = ??? // def or val okay
}
Above, the `it` in `$anon` in `x$mcZ$sp` had its owner set to `x$mcZ$sp`
instead of `$anon`. This crashed the typer when it had to retype its
lazy accessor, because there was no `lazy var it` in `$anon$`.
Furthermore, the duplicated symbol wasn't being added to the list of
declarations of `$anon`.
Changes:
1) `invalidate` in Duplicators takes an additional parameter which is
the new owner of the new symbol that has to be duplicated. If this parameter
is set to `NoSymbol`, then the new owner is `context.owner`, as before.
2) the newly created lazy val symbol is being added to the list of
declarations of its new owner.
Removes debugging output from the previous commit.
Review by dragos.
@mention dragos
|
| | | |
|
| |\ \
| | |
| | | |
Fix SI-5055 (for real). Implement keyboard shortcuts in Scaladoc. Browsing is fun again!
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | | |
|
| |\ \ \
| | | |
| | | | |
Fix SI-4812: handle trait method with Symbol as default for argument
|
| | | | |
| | | |
| | | |
| | | | |
Remove default arguments from parameter ValDefs in UnCurry.
|
| |\ \ \ \
| | | | |
| | | | | |
fix SI-5044: better error message on cyclic error and named/default args
|
| | | | | | |
|
| |\ \ \ \ \
| | | | | |
| | | | | | |
Fix SI-2488: allow named arg, in original position, before positionals
|
| | | |_|/ /
| |/| | | |
|
| |\ \ \ \ \
| |_|_|/ /
|/| | | | |
Fix SI-5801: error messages regression.
|
| | | | | | |
|
| |\ \ \ \ \
| | | | | |
| | | | | | |
Fixes SI-4461.
|
| | | | | | |
| | | | | |
| | | | | |
| | | | | | |
No review.
|
| |\ \ \ \ \ \
| | | | | | |
| | | | | | | |
Fix SI-5544
|
| | | |_|/ / /
| |/| | | |
| | | | | |
| | | | | | |
Type-check annotations in a context with a localDummy owner
|
| |\ \ \ \ \ \
| | | | | | |
| | | | | | | |
SIP-14: clean ups and fixes by @viktorklang
|
| | | | | | | | |
|
| |\ \ \ \ \ \ \
| |_|_|/ / / /
|/| | | | | | |
Fix 4138
|
| | | |/ / / /
| |/| | | | |
|
| |\ \ \ \ \ \
| |/ / / / /
|/| | | | | |
Test case for SI-3844 - fixed by #virtpatmat @adriaanm
|
| | |/ / / / |
|
| |\ \ \ \ \
| | | | | |
| | | | | | |
Fix SI-4928
|
| | | |_|/ /
| |/| | |
| | | | |
| | | | | |
better error message when a parameter is first defined positionally, then with a named argument.
|
| |\ \ \ \ \
| | | | | |
| | | | | | |
fixes resetAttrs
|
| | | | | | | |
|
| |\ \ \ \ \ \
| |/ / / / /
|/| | | | | |
Added infrastructure to enable easy enrichment of GenTraversables.
|
| | | | | | | |
|
| |\ \ \ \ \ \
| |/ / / / /
|/| | | | | |
A band-aid solution for SI-5803.
|
| | | |/ / /
| |/| | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
Since ae5ff662, resetAttrs duplicates trees, which doesn't preserve ApplyConstructor.
My attempt to modify TreeCopier to do so proved trickier than expected.
In any case, ApplyConstructor is not long for this world, and is only used in tree printing
to distinguish `new X` from regular Apply trees, so this should suffice pending full surgery.
|
| |\ \ \ \ \
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
Fixes SI-5623 on SyncVar. Deprecates set & unset.
Review by @phaller.
|
| | | | | | | |
|
| | |\| | | | |
|
| | | |/ / /
| |/| | | |
|
