| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
|
|
| |
Deprecated case classes inheriting from other case classes, and updated
all the tests which did so.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Fixed #2201 (slight rewrite of paulp's patch at
http://github.com/paulp/scala/commit/24419959b4d6c93716c216bbf276948a830
4b4e6)
ImplicitSearch::cacheResult now clones symbols that represent bound
variables (more specifically, parameters of anonymous functions that
are used as implicit values) to ensure that different bound variables
are represented by different symbols (otherwise lambda lifting gets
confused).
updated check file for bug692: error-reporting got more complete because
TypeRef::transform has been relaxed slightly
|
|
|
|
|
|
|
| |
added manifests to most parts of standard library which deal with
arrays. One test is temporarily disabled, as it shows a deep problem
with multi-dimensional arrays (which was present all along).
|
| |
|
| |
|
|
|
|
|
|
|
| |
in the end had to disable conforms as view in tryImplicit (see comment
in removeNames in NamesDefaults) fixed check file for viewtest added
newTermName for conforms to StdNames, so removed the previous weirdness
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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.
because conforms/identity was no longer prevented from being used as
a view (which does not make sense, but preventing it shouldn't be
necessary), removeNames in NamesDefaults suddenly didn't detect all
ambiguities because it relied on tryTypedApply failing fixed by using an
EmptyTree as an ambiguous argument instead of the argument, so failure
is guaranteed
fixed check file for t0590
new starr
fixed the weirdest bug ever: don't know why, but can't change the total
number of calls to newTermName in StdNames (so take away the one for
"identity", give one back, doesn't matter where --> see "utterweirdness"
at the end) the problem manifested itself by not finding Nil. This only
happens during start up (when the scala/package.scala file hasn't been
compiled yet), when Nil is required before List (because that would have
forced Nil to be loaded).
|
|
|
|
|
|
|
|
| |
This reverts commits
ce0ebb316c094814d72cc7dfcc7ac8e7c22f16c2
cd61aed60d71441308967bece13d87384a59d3e8
0becf263fe8f1dc74bc7277be5d2c6ed04047923
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
because conforms/identity was no longer prevented from being used as
a view (which does not make sense, but preventing it shouldn't be
necessary), removeNames in NamesDefaults suddenly didn't detect all
ambiguities because it relied on tryTypedApply failing fixed by using an
EmptyTree as an ambiguous argument instead of the argument, so failure
is guaranteed
fixed check file for t0590
also reintroduced conforms, because we now have a new starr
|
| |
|
|
|
|
|
|
| |
positioning change. Deleted instead of deprecated the two argument
version of Iterator.iterate since it did not exist in 2.7.
|
|
|
|
|
|
| |
Fixed #1560 (which was a typing hole, so some library classes had to be
fixed)
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
fix for 513: use deep ForeachTypeTraverser in doTypeTraversal instead of
shallow one test case+checkfile for #513
|
| |
|
| |
|
| |
|
|
|
|
|
| |
This reverts commit 2d437f2a62d7127abe907d61118ea448c9ad6c59.
|
| |
|
| |
|
|
|
|
|
|
| |
Added test case for #1764 to the test case for #1878 (as #1764 was fixed
along with it in r18343.)
|
| |
|
|
|
|
|
|
|
| |
Trying to make typechecker faster by (1) new subtyping (2) better
implicit caches. Disallowed '42 as a symbol. Added cache method to
Mutable Maps. Better complietion in interactive.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
one long-standing bug which actually had a test case testing its
bugginess (which is to say, when I fixed the bug, the test case failed.)
This:
- def doMatch4(xs:Seq[Char]) = xs match {
- case Seq(x, y, _*) => x::y::Nil
- case Seq(x, y, z, w) => List(z,w) // redundant!
- }
...should never have compiled - which must have been recognized
on some level given the "redundant!" comment, but it never made
it into neg/.
|
| |
|
|
|
|
|
| |
refined range positions some more; eliminated Array.withDims
|
| |
|
|
|
|
|
|
| |
Enhanced error message when a type error is because of identically named
classes, one in scala.* and one not.
|
| |
|
| |
|
|
|
|
|
| |
named arguments only at top level in () parameters.
|
| |
|
|
|
|
|
|
|
|
| |
Attempted to resolve the improbable mess surrounding implicit
conversions from Unit. Modified test case which relied on the supposedly
verboten behavior; verbotenized () => AnyRef; added new test case which
fails if verboten behavior should ever return.
|
|
|
|
|
|
| |
improvements to names / defaults (implicits, type of defaults, #2064,
...)
|
|
|
|
|
|
| |
allow using named / default arguments in self- and super constructor
calls. fixes #2050 and #2052.
|
| |
|
|
|
|
|
|
| |
named argument disallowed when assignment expression would typecheck.
minor fixe to names / defaults.
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
|
| |
- MethodTypes now have (params: List[Symbol])
- "copy"-methods for case classes
- the "copy" object in the compiler is now called "treeCopy"
|
|
|
|
|
|
|
| |
Further development of the Numeric and Ordering traits. Replaced Predef
implicits from everything => Ordered with a single implicit from
Ordering => Ordered.
|
|
|
|
|
|
| |
In "Iterable" and in all its subclasses, "iterator" replaces "elements"
(and assorted changes).
|
|
|
|
|
| |
Updated neg check files to the new output of r17773
|
|
|
|
|
| |
Rebuild all plugin tests and moved them back to the working test cases
|
| |
|