| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
| |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
| |
Added -Xmigration option and @migration annotation. At present it will
warn about the following changes from 2.7 to 2.8:
Stack iterator order reversed
mutable.Set.map returns a Set and thus discards duplicates
A case 'x @ Pattern' matches differently than 'Pattern'
Review by odersky.
|
| |
|
|
|
|
|
|
| |
Expanded the check from #1392 to enclose #3123 as well so that "case Int
=> " doesn't crash. Closes #3123. Review by odersky.
|
|
|
|
|
|
| |
Special cased an error message for the common situation of calling
AnyRef methods on Any or AnyVal. Review by odersky.
|
| |
|
|
|
|
|
|
|
| |
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.
|
| |
|
| |
|
|
|
|
|
|
| |
Reverts r20311 since I'm not seeing what's going on in #2876 and the
optimization can wait.
|
| |
|
|
|
|
|
|
|
| |
closes #2421: more complete fix, now also check validity of inferred
type arguments for expressions inferred for implicit values review by
odersky
|
| |
|
| |
|
|
|
|
|
|
| |
Added extensive statistics, reduced time of implicit resolution by
2/3rds, of whole typer by 1/4 to 1/3rd.
|
|
|
|
|
|
|
|
|
|
|
|
| |
Created team of private[collection] abstract classes and traits in
scala.collection.views. Factored boilerplate and base Transformed traits
out of *ViewLike classes. Executive summary and motivation:
4812029 Dec 23 09:47 scala-library.jar // before
4604150 Dec 23 09:24 scala-library.jar // after
Direct size savings of 4.5%. Review by odersky.
|
| |
|
| |
|
|
|
|
|
|
| |
added test case for #2775 and commented the handling code in Implicits
better. Gilles already had a look so noreview.
|
| |
|
| |
|
| |
|
|
|
|
|
|
|
|
|
| |
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
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
Finally completed the incredibly tedious task of removing the lower case
primitive aliases from Predef. Had to rebuild msil.jar along the way.
|
|
|
|
|
|
| |
Fixes #1477 by requiring that abstract types with non-volatile upper
bounds cannot be overridden by volatile types.
|
| |
|
| |
|
|
|
|
|
| |
Fixed #2517
|
|
|
|
|
| |
Updates check file for bug 2144 which output was modified by r19442.
|
|
|
|
|
|
| |
Tighter type checking rules for structural types that fix issues #967,
#1004, #1388, #1494, and #1906.
|
| |
|
| |
|
|
|
|
|
| |
Fixed #2494, plus some reorganization of swing imports
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
The last patch to work around #1909 caught one brand of lifts but not
another. Better now and another test case.
|
|
|
|
|
|
|
| |
Tickets #1909 and #2508 involve code which compiles but then fails at
runtime due to invalid bytecode. This commit turns those into compile
time errors. Includes negative test case.
|
|
|
|
|
|
| |
fixes to check files and removed nonapplicable test case Tuple2 impl,
but commented out so that we can bootstrap whitespace...
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
refactoring of TypeVar to set the stage for tcpoly inference (also
touched UndoLog, isHigherKinded logic in TypeRef) added <:< implicit,
should bootstrap
selection from squashed commit messages:
commented out stuff so that this can be used to bootstrap and build a new starr
merged/cherry picked refactorings unrelated to #2261
(undoLog, cloneInternal, NoImplicitInfo)
made conforms implicit, identity explicit
replaced the implicit `identity` coercion by `conforms`, which can be used to encode generalised constraints
the introduction of `conforms` revealed a bug in adaptToMember, which was inferring views while already inferring one, which gave rise to diverging implicits. Predef.identity is no longer special as far as the compiler is concerned.
cleaned up isHigherKinded logic in TypeRef, and implemented it in TypeVar along with normalize
added <:< to Predef: use as evidence for encoding generalized constraints
(BTW: extractUndetparams clears undetparams: don't use in debug output -- I learned the hard way...)
added todo about ticket 2066 -- branching from master to explicitkinds for fix
refactoring: moved bounds tracking logic to TypeVar
introduced typeConstructor in Type because we can't use appliedType(tp, List())) to strip a type's type arguments (appliedType is a no-op for empty args) -- don't want to pattern match on type either
removed unused overrides in TypeVar (TODO double check)
making appliedType more robust since it is now used more liberally -- neg/t0226 should no longer fail now
merged in appliedType refactoring and added TypeVar logic to appliedType
|
|
|
|
|
|
| |
fixed failing testcases due to previous commit (renaming of
BuilderFactory)
|
|
|
|
|
|
| |
Updated remaining test case to reflect the slightly differing semantics
of the Ordering fix.
|
|
|
|
|
|
| |
Fixes for 66.67% of the tests failing from the Ordering commit. Other
third is going to take a closer look.
|
| |
|
|
|
|
|
|
|
| |
flags on AnyVal from FINAL|SEALED to ABSTRACT|SEALED. This appears
correct and without ill effect, but if anyone spots new anyval oddness
you know where to look.
|