summaryrefslogtreecommitdiff
path: root/test/files/neg
Commit message (Collapse)AuthorAgeFilesLines
* closes #1422Hubert Plociniczak2009-11-202-0/+5
|
* Finally completed the incredibly tedious task o...Paul Phillips2009-11-1814-26/+26
| | | | | | 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 wi...Martin Odersky2009-11-136-0/+51
| | | | | | Fixes #1477 by requiring that abstract types with non-volatile upper bounds cannot be overridden by volatile types.
* updated plugin-multiple-rafter plugins.jarAntonio Cunei2009-11-131-1/+1
|
* fix #2488.Lukas Rytz2009-11-122-27/+23
|
* Fixed #2504Martin Odersky2009-11-092-0/+34
| | | | | Fixed #2517
* Updates check file for bug 2144 which output wa...Gilles Dubochet2009-11-081-2/+2
| | | | | Updates check file for bug 2144 which output was modified by r19442.
* Tighter type checking rules for structural type...Gilles Dubochet2009-11-082-39/+60
| | | | | | Tighter type checking rules for structural types that fix issues #967, #1004, #1388, #1494, and #1906.
* Proposed fix for #2144 plus test case.Paul Phillips2009-11-042-0/+7
|
* Fix for #1909Hubert Plociniczak2009-10-284-16/+5
|
* Fixed #2494, plus some reorganization of swing ...Martin Odersky2009-10-272-0/+5
| | | | | Fixed #2494, plus some reorganization of swing imports
* Reverting unwanted parts of last commit.Philipp Haller2009-10-266-6/+6
|
* Second half of fix and tests for #1518.Philipp Haller2009-10-266-6/+6
|
* new classpaths.Lukas Rytz2009-10-265-5/+5
|
* The last patch to work around #1909 caught one ...Paul Phillips2009-10-224-4/+16
| | | | | | 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 comp...Paul Phillips2009-10-222-0/+10
| | | | | | | 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.
* the essence of tcpoly inference + test casesAdriaan Moors2009-10-224-3/+19
| | | | | | 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 tcp...Adriaan Moors2009-10-211-7/+1
| | | | | | | | | | | | | | | | | | | | | | | | 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 ...Adriaan Moors2009-10-211-1/+1
| | | | | | fixed failing testcases due to previous commit (renaming of BuilderFactory)
* Updated remaining test case to reflect the slig...Paul Phillips2009-10-204-22/+26
| | | | | | Updated remaining test case to reflect the slightly differing semantics of the Ordering fix.
* Fixes for 66.67% of the tests failing from the ...Paul Phillips2009-10-202-4/+4
| | | | | | Fixes for 66.67% of the tests failing from the Ordering commit. Other third is going to take a closer look.
* Fixing failing test from exhaustiveness patch.Paul Phillips2009-10-181-2/+2
|
* Fix and test cases for ticket #443.Paul Phillips2009-10-172-5/+32
| | | | | | | 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.
* Removed long dead AST Node Sequence.Paul Phillips2009-10-151-2/+1
| | | | | | | | detritus from regular expression patterns, but Star still depends on REGPATmode existing -- nothing checks for that mode specifically, but not having it set causes failure. So it is renamed to STARmode.
* reverted immutable.Vector because it gave rando...Martin Odersky2009-10-124-0/+21
| | | | | | reverted immutable.Vector because it gave random build errors on my machine. Fixed various tickets, updated test and check files.
* "Fix" and test case for #1333.Paul Phillips2009-10-072-0/+5
|
* test for #1355, which has been fixed earlierAdriaan Moors2009-10-062-0/+5
|
* Test cases for some tickets fixed by recent arr...Paul Phillips2009-10-052-0/+13
| | | | | | Test cases for some tickets fixed by recent array and implicit activity: #1038, #1005, #1272.
* Sequence->SeqMartin Odersky2009-10-022-3/+3
|
* meh.Adriaan Moors2009-10-011-1/+1
|
* fixed #2208Adriaan Moors2009-10-012-0/+12
| | | | | | | | don't expand type aliases that take type arguments in typedTypeConstructor, as that bypasses refchecks have to expand type alias without type arguments, as AnyRef must disappear (problem with cycles during bootstrap)
* fixed #2101Adriaan Moors2009-10-012-0/+32
| | | | | | there were some issues with heap pressure that made the compile take incredibly long, these were solved by increasing the max allowed heap
* fixed #2316: No longer cache entire SearchResul...Adriaan Moors2009-09-292-0/+50
| | | | | | | | | | | | | | | | | | | | | | | fixed #2316: No longer cache entire SearchResult when looking for implicits in the parts of the expected type. (patch by retronym -- see ticket) A SearchResult may contain symbols local to the scope of the search that were used as implicit parameters, so they are not safely cacheable. The fix for #2101 does not suffice. That patch avoided bound symbols being duplicated, but the problem is much worse. The implicits for an expected type depend on more than just that type, so we cannot cache them using the expected type as a key. The neg/t2316 test illustrates this: T1 may provide two implicits, one requires an implicit T2, another an implicit T3. If an implicit T1 is first required when only a T2 is in scope, the SearchResult will describe the corresponding implicit. Now, if we enter an implicit value of type T3 into scope, the search should fail (it is ambiguous), but the cache does not take this new fact into account. The patch replaces the erroneous aggressive caching with a more conservative version that only caches ImplicitInfo's.
* fixed up testsMartin Odersky2009-09-281-1/+6
|
* refined implicit resolution.Martin Odersky2009-09-281-0/+19
|
* Collections refactoring.Martin Odersky2009-09-252-2/+2
|
* [no content change] Fixed all SVN properties: m...Gilles Dubochet2009-09-2476-56/+50
| | | | | | | | [no content change] Fixed all SVN properties: mimes, EOL, executable. Id expansion is consistently enabled for Scala/Java/C# sources in 'src/' and consistently disabled and removed from everywhere else: there should not be any dead Id tags anymore.
* fixed #2290 and #2325Lukas Rytz2009-09-244-16/+43
|
* Deprecated case classes inheriting from other c...Paul Phillips2009-09-111-1/+1
| | | | | | 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...Adriaan Moors2009-09-111-1/+6
| | | | | | | | | | | | | | | | 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 libra...Martin Odersky2009-08-273-3/+3
| | | | | | | 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).
* Fix for #2275 with tests.Miles Sabin2009-08-254-0/+36
|
* updated checkfile for neg/viewtestAdriaan Moors2009-08-241-1/+7
|
* in the end had to disable conforms as view in t...Adriaan Moors2009-08-211-7/+1
| | | | | | | 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 `c...Adriaan Moors2009-08-211-2/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | 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).
* Revert several commits related to implicits/predefAdriaan Moors2009-08-211-3/+2
| | | | | | | | This reverts commits ce0ebb316c094814d72cc7dfcc7ac8e7c22f16c2 cd61aed60d71441308967bece13d87384a59d3e8 0becf263fe8f1dc74bc7277be5d2c6ed04047923
* improved previous fix for implicits and `conforms`Adriaan Moors2009-08-211-2/+3
| | | | | | | | | | | | | | 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
* Fixed memory leaks for streams.Martin Odersky2009-08-183-1/+6
|
* More fleshing out Codec.Paul Phillips2009-08-171-1/+1
| | | | | | 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 l...Martin Odersky2009-08-151-13/+16
| | | | | | Fixed #1560 (which was a typing hole, so some library classes had to be fixed)
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-26 08:32:34 +0000