summaryrefslogtreecommitdiff
path: root/test/files
Commit message (Collapse)AuthorAgeFilesLines
* Removed "Todo: test" where a test exists.Simon Ochsenreither2012-03-122-3/+3
| | | | | | - Renamed t960 to a more sensible name, because SI-960 is not related to the test and I couldn't find a ticket number. - Some minor fixes to @deprecated like switched or missing versions.
*-. Merge remote-tracking branches 'adriaanm/ticket/5189' and ↵Paul Phillips2012-03-115-1/+82
|\ \ | | | | | | | | | 'jsuereth/better-starr-flow' into develop
| * | SI-5189 fixed: safe type infer for constr patternAdriaan Moors2012-03-093-1/+71
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | several fixes to the standard library due to - the safer type checker this fix gives us (thus, some casts had to be inserted) - SI-5548 - type inference gets a bit more complicated, it needs help (chainl1 in combinator.Parsers) To deal with the type slack between actual (run-time) types and statically known types, for each abstract type T, reflect its variance as a skolem that is upper-bounded by T (covariant position), or lower-bounded by T (contravariant). Consider the following example: class AbsWrapperCov[+A] case class Wrapper[B](x: Wrapped[B]) extends AbsWrapperCov[B] def unwrap[T](x: AbsWrapperCov[T]): Wrapped[T] = x match { case Wrapper(wrapped) => // Wrapper's type parameter must not be assumed to be equal to T, // it's *upper-bounded* by it wrapped // : Wrapped[_ <: T] } this method should type check if and only if Wrapped is covariant in its type parameter before inferring Wrapper's type parameter B from x's type AbsWrapperCov[T], we must take into account that x's actual type is: AbsWrapperCov[Tactual] forSome {type Tactual <: T} since AbsWrapperCov is covariant in A -- in other words, we must not assume we know T exactly, all we know is its upper bound since method application is the only way to generate this slack between run-time and compile-time types (TODO: right!?), we can simply replace skolems that represent method type parameters as seen from the method's body by other skolems that are (upper/lower)-bounded by that type-parameter skolem (depending on the variance position of the skolem in the statically assumed type of the scrutinee, pt) this type slack is introduced by adaptConstrPattern: before it calls inferConstructorInstance, it creates a new context that holds the new existential skolems the context created by adaptConstrPattern must not be a CaseDef, since that confuses instantiateTypeVar and the whole pushTypeBounds/restoreTypeBounds dance (CaseDef contexts remember the bounds of the type params that we clobbered during GADT typing) typedCase deskolemizes the existential skolems back to the method skolems, since they don't serve any further purpose (except confusing the old pattern matcher) typedCase is now better at finding that context (using nextEnclosing)
| * | SI-5189 1/2: inferConstrInst uses correct varianceAdriaan Moors2012-03-092-0/+11
| | | | | | | | | | | | | | | fixed concurrent.impl.Promise by making FState invariant (it would be unsound to make it covariant)
* | | Fix for tailcall transform/recognition bugs.Paul Phillips2012-03-116-2/+35
| |/ |/| | | | | Closes SI-3275, SI-5455.
* | Add symbol to Manifests.Paul Phillips2012-03-091-5/+14
| | | | | | | | | | Phantom types were vanishing during the erasure which takes place from manifest -> class object -> tpe.
* | Wider net on final fields.Paul Phillips2012-03-082-15/+26
| | | | | | | | | | | | This should exclude everything mutable. I'm open to suggestions as to what sort of final fields we can safely allow beyond these, if any.
* | Merge remote-tracking branch 'origin/develop'Paul Phillips2012-03-072-0/+106
|\ \
| * \ Merge remote-tracking branch 'hubertp/issue/5554' into developPaul Phillips2012-03-072-0/+106
| |\ \
| | * | Closes #SI-5554Hubert Plociniczak2012-03-062-0/+106
| | | |
* | | | Fix for public final fields.Paul Phillips2012-03-073-0/+39
|/ / / | | | | | | | | | References SI-3569. Probably needs refinement.
* | | Merge remote-tracking branch 'VladUreche/issue/5545-clean' into developPaul Phillips2012-03-062-0/+27
|\ \ \
| * | | Force .info before creating new synthetic symsVlad Ureche2012-03-062-0/+27
| | | | | | | | | | | | | | | | | | | | | | | | Closes SI-5545. In the long run this should be generalized, as other phases might suffer from the same problem. Full explanation here: https://issues.scala-lang.org/browse/SI-5545
* | | | Merge remote-tracking branches 'adriaanm/ticket/5546' and ↵Paul Phillips2012-03-064-0/+197
|\ \ \ \ | | | | | | | | | | | | | | | 'hubertp/issue/5553' into develop
| * | | | Closes #5553, review by dragosHubert Plociniczak2012-03-064-0/+197
| | |/ / | |/| |
* | | | #SI-5546 fixed: refine refined typing for getClassAdriaan Moors2012-03-061-0/+1
| |_|/ |/| |
* | | Updated checkfile for retronym commit.Paul Phillips2012-03-051-7/+7
| | | | | | | | | | | | (I'm assuming this is desirable, please review @scalamacros)
| | |
| \ \
| \ \
| \ \
| \ \
| \ \
*-----. \ \ Merge remote-tracking branches 'dragos/master', ↵Paul Phillips2012-03-057-6/+1147
|\ \ \ \ \ \ | |_|_|_|_|/ |/| | | | | | | | | | | 'axel22/feature/pc-execution-contexts', 'VladUreche/issue/5527-noPos' and 'retronym/topic/tolerant-interpolator' into develop
| | | | * | Handle empty format specifiers in the formatting interpolator.Jason Zaugg2012-03-032-0/+12
| | | | | | | | | | | | | | | | | | | | | | | | f"${foo}" is treated like f"${foo}%s".
| | | * | | Fixes scaladoc rangeposVlad Ureche2012-03-052-6/+150
| |_|/ / / |/| | | | | | | | | | | | | | | | | | | | | | | | By making the comment tree node transparent. Reverts previous change in cfb04ef065. Will mark the bug 5527 as WONTFIX, because the effort of fixing leaking comments is too great.
| * | | | Fix deadlocks occurring during presentation compiler shutdown.Iulian Dragos2012-03-053-0/+985
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | During shutdown, other threads can still post work items on the work queue. They will never be serviced, leading to clients waiting forever. The fix is to replace the implementation of the queue with a 'always fail' implementation during shutdown. Review by @odersky.
* | | | | Oops, all the preceding meant SI-5541.Paul Phillips2012-03-041-0/+0
| | | | |
* | | | | Revert attempt to limit private types in lubs.Paul Phillips2012-03-043-0/+83
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Has to be somewhere more directly tied to structural refinements. See run/lub-visibility.scala before/after output for motivation. Closes SI-5534.
* | | | | Overcame trait/protected/java limitation.Paul Phillips2012-03-046-0/+54
|/ / / / | | | | | | | | | | | | | | | | | | | | I think this fixes SI-2296, the inability to access java protected members from a trait which extends a java class. Counterexamples appreciated. Closes SI-2296. Review by @dragos.
* | / / Test case closes SI-4777.Paul Phillips2012-03-0312-0/+10
| |/ / |/| | | | | | | | | | | And pending tests for most of the other VerifyErrors which still fail to verify.
* | | Fix for corner case in type printing.Paul Phillips2012-03-022-0/+30
| | | | | | | | | | | | Closes SI-5537.
| | |
| \ \
| \ \
| \ \
*---. \ \ Merge remote-tracking branches 'ctalau/master', ↵Paul Phillips2012-03-0211-1/+79
|\ \ \ \ \ | | | |/ / | | |/| | | | | | | 'axel22/feature/pc-execution-contexts' and 'TiarkRompf/SI-5538'; commit 'd92bcb5302be04104abe2db6cf92620c4cd7255e' into develop
| | | * | Fix for cps regression. Closes 5538. Closes 5445.Tiark Rompf2012-03-024-0/+60
| | | | |
| | * | | Merge branch 'master' into feature/pc-execution-contextsAleksandar Prokopec2012-03-0248-19/+309
| | |\| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: src/library/scala/collection/parallel/Combiner.scala src/library/scala/collection/parallel/ParIterableLike.scala src/library/scala/collection/parallel/mutable/ParCtrie.scala
| | | | \
| | | | \
| | | *-. \ Merge remote-tracking branches 'scalamacros/ticket/5530', ↵Paul Phillips2012-03-015-0/+12
| | | |\ \ \ | | | | | | | | | | | | | | | | | | | | | 'szabolcsberecz/SI-5380' and 'scalamacros/ticket/5532' into develop
| | | | | * | Fixes SI-5532Eugene Burmako2012-03-012-0/+5
| | |_|_|/ / | |/| | | |
| | | | * | Fixes SI-5530Eugene Burmako2012-02-293-0/+7
| | |_|/ / | |/| | |
| | | * | Merge remote-tracking branch 'szabolcsberecz/SI-5380' into developPaul Phillips2012-03-011-0/+6
| | | |\ \ | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: src/compiler/scala/tools/nsc/transform/UnCurry.scala
| | | | * | Fixes SI-5380: non-local return of try expressionSzabolcs Berecz2012-02-281-0/+6
| | | | | |
| | * | | | Add tasksupport as a configurable field in parallel collections.Aleksandar Prokopec2012-02-231-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This required a bit of refactoring in the tasks objects and implementations of various operations. Combiners now hold a reference to a tasksupport object and pass it on to their result if `resultWithTaskSupport` is called. Additionally, several bugs that have to do with CanBuildFrom and combiner resolution have been fixed.
* | | | | | Fixed Issue 5321Cristian Tălău2012-03-012-0/+177
| |_|/ / / |/| | | |
* | | | | Fixing whitespace-damaged test.Paul Phillips2012-02-292-1/+2
|/ / / / | | | | | | | | | | | | | | | | | | | | Looks like my attempt to handle whitespace when merging preserved the correct history less than swimmingly. Am attempting to patch it up.
* | | | Merge remote-tracking branches 'VladUreche/issue/5527' and 'dragos/master' ↵Paul Phillips2012-02-292-0/+61
| | | | | | | | | | | | | | | | into develop
* | | | Reworking synchronized patch.Paul Phillips2012-02-282-12/+5
| | | | | | | | | | | | | | | | Eliminated annotation and custom phase. Kept SYNCHRONIZED flag.
* | | | Merge remote-tracking branch 'szabolcsberecz/SI-64' into SI-64-freshPaul Phillips2012-02-282-4/+10
|\ \ \ \ | |_|/ / |/| | |
| * | | replace methods containing a synchronized body with synchronized methodsSzabolcs Berecz2012-02-162-4/+10
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The following: def f = synchronized { ... } will be rewritten to: <synchronized> def f = ... which is then emitted to the classfile with the synchronized flag set. Inlining of such transformed methods are disabled for now This transformation is not done on methods defined in a trait.
* | | | Test for SI-5529.Paul Phillips2012-02-282-0/+25
| | | |
* | | | Don't print underlying type of modules.Paul Phillips2012-02-283-4/+4
| | | | | | | | | | | | | | | | Since there is no useful information in such a message.
* | | | Fix for typing of objects in patterns.Paul Phillips2012-02-283-3/+7
| | | | | | | | | | | | | | | | | | | | An object in a pattern should have type "Foo.type" just as objects not in patterns do. Closes SI-5406. Review by @moors.
* | | | Improving error message.Paul Phillips2012-02-286-9/+9
| | | | | | | | | | | | | | | | | | | | Hacked filename into message to alleviate meaningless "_$1 defined twice" error condition. References SI-4893.
* | | | Specialized NonLocalReturnControl.Paul Phillips2012-02-272-0/+18
| |_|/ |/| | | | | | | | From the extempore archive of already implemented things.
* | | Moved and edited tests.Paul Phillips2012-02-236-0/+76
| | | | | | | | | | | | | | | | | | Remove obsolete, move passing pending -> files, update those-kinds-are-high with some new info, added a couple new ones to pending.
* | | Merge remote-tracking branch 'adriaanm/ticket/errortests'Paul Phillips2012-02-236-1/+26
|\ \ \
| * | | test for DependentMethodTpeConversionToFunctionErrorAdriaan Moors2012-02-232-0/+9
| | | |
| * | | test for TooManyArgsPatternErrorAdriaan Moors2012-02-232-0/+9
| | | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-01 03:27:04 +0000