| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
|
|
|
|
|
|
|
|
|
|
| |
closes #3152: refactored adjustTypeArgs and methTypeArgs so that tparams
are correctly split into ones that were inferred successfully, and
that thus have a corresponding type argument, and those that weren't
determined
I didn't investigate the exact cause of the final error message in the
bug report, but Jason Zaugg's observations seems correct and I never
liked that uninstantiated buffer in the first place.
review by odersky
|
| |
|
|
|
|
|
|
|
| |
make normalize slightly more aggressive in loading symbol info, while )
tolerating the righteous cycle (use sym.info.typeParameters instead )
of unsafeParams this is needed to make sure higher-kinded types have )
their type parameters (otherwise we'd get a PolyType with NoSymbol for )
typeParams )
|
| | |
|
| |
|
|
|
|
|
|
|
| |
Fix for #3136 by reverting the line in r18184 which caused this and
other regressions. The downside is that the #1697 test case no longer
passes, but protracted shrug because it wasn't entirely fixed anyway.
Review by moors. (Can you triangulate your way to a patch where both
work simultaneously? It's today's bonus challenge!)
|
| | |
|
| | |
|
| |
|
|
|
| |
specialized implementations.
|
| | |
|
| |
|
|
|
| |
worksforme
|
| |
|
|
|
|
| |
closes #2421 -- now also deals with chained implicits
no review
|
| |
|
|
|
|
|
| |
the problem was that corresponds on Seq's does not check length of
sequences before testing the predicate, whereas in some cases that
predicate relied on this invariant (when it was doing substitution)
|
| |
|
|
|
|
|
|
|
|
| |
closes #2797 -- no review (already done in ticket by Martin)
1) isHigherKindedType is now false for singletontype 2) toInstance
recurses when pre is a typevar: the problem is that pre.widen.typeSymbol
isNonBottomSubClass symclazz is true while pre.baseType(symclazz) is
NoType
|
| |
|
|
|
|
|
| |
Reorganizes children a little so they always come back sorted the same
way the pickler does. Taking advantage of -Yfatal-warnings in the test
case. Review by community.
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
is final and does not conform to the pattern, it will no longer compile.
See all the exciting things you can no longer do:
"bob".reverse match { case Seq('b', 'o', 'b') => true } // denied!
"bob".toArray match { case Seq('b', 'o', 'b') => true } // rejected!
final class Dunk
def f3(x: Dunk) = x match { case Seq('b', 'o', 'b') => true } // uh-uh!
And so forth. Review by odersky.
|
| |
|
|
|
|
|
|
|
|
|
|
| |
The non-intrusive bits of my hopefully pending "use the static type of
the scrutinee to rule out some type/extractor patterns" patch. Includes
a cleanup of the (still inadequate) type-parameter-ignoring match test
which had been interfering with martin's digestion.
Also: implicit search is disabled when typing a pattern, because the
matcher never invokes implicits to satisfy a pattern. At worst maybe
we'll get a performance bump. No review.
|
| | |
|
| | |
|
| |
|
|
|
| |
suppresses generation of manifests for abstract type members.
|
| |
|
|
|
|
|
|
| |
Moved some test cases from pending to files since the bugs they were
watching for seem to be fixed. Moved some other test cases from pending
to disabled because they deceptively claim to pass while investigation
reveals the ticket needs to remain open. Closes #1996, #2660.
|
| |
|
|
|
|
|
|
|
| |
One of those "$.05 for the bolt, $50,000 for knowing where to put it"
commits. Closes #425, #816, #2310, #2691. All credit for this patch goes
to me for having the genius to know when new eyes were needed (although
if you're feeling generous some could also go to walter korman for the
actual debugging and code writing part.)
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
| |
Moved test case for just-reverted patch to pending. No review.
|
| | |
|
| | |
|
| |
|
|
|
|
|
| |
closes #2421: more complete fix, now also check validity of inferred
type arguments for expressions inferred for implicit values review by
odersky
|
| |
|
|
|
| |
no review
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
| |
new doc comment generation, including some new style doc comments in
collection classes.
|
| | |
|
| | |
|
| |
|
|
|
|
| |
quick fix for #2673: relaxed zipped on Tuple2/Tuple3 (back to using A =>
B for constraint instead of A <%< B)
|
| |
|
|
|
|
|
|
|
| |
closed #2624: instantiate type params after eta expansion of polymorphic
method does not blow the stack on pos/t0674 (previous private fix did
typed(tree); instantiate(tree) instead of instantiate(typed(tree)))
fixed check file for neg/bug608 -- got better error message
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
| |
close #2665 and close #2667: use weak conformance in polymorphic case of
isApplicable reviewed by: odersky
exprTypeArgs now takes a comparison function: isWeaklyCompatible is )
passed in isApplicable's typesCompatible (to mimic what happens in the )
monomorphic case Martin: please review as this is different from my )
original proposal (that one broke type inference, this one passes all )
tests and does not slow down quick.comp )
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
| |
Simplifiations in collections libraries, enabled by introduction of Self
type in TraversableLike.
|
