summaryrefslogtreecommitdiff
path: root/test/files/run
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | Merge remote-tracking branch 'odersky/topic/inline' into inline-remergePaul Phillips2012-02-063-4/+4
| |\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: src/compiler/scala/reflect/internal/Definitions.scala src/compiler/scala/tools/nsc/typechecker/Namers.scala src/library/scala/AnyVal.scala test/files/run/primitive-sigs-2.check test/files/run/t4172.check test/files/scalap/abstractClass/result.test test/files/scalap/abstractMethod/result.test test/files/scalap/caseClass/result.test test/files/scalap/cbnParam/result.test test/files/scalap/classPrivate/result.test test/files/scalap/classWithExistential/result.test test/files/scalap/classWithSelfAnnotation/result.test test/files/scalap/covariantParam/result.test test/files/scalap/implicitParam/result.test test/files/scalap/paramClauses/result.test test/files/scalap/paramNames/result.test test/files/scalap/sequenceParam/result.test test/files/scalap/simpleClass/result.test test/files/scalap/traitObject/result.test test/files/scalap/typeAnnotations/result.test test/files/scalap/valAndVar/result.test test/files/scalap/wildcardType/result.test
| | * | | Removing AnyVal as a source class. Removing automatic addition of ↵Martin Odersky2012-02-064-4/+3
| | | | | | | | | | | | | | | | | | | | ScalaObject. Undoing wrong fix in ExtensionMethods.
* | | | | New starr to support new fundamental laws of reality.Paul Phillips2012-03-1411-65/+64
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | And grueling recovery from branch drift. Merges a portion (and only a portion) of topic/inline into master. The major changes which come with this merge are: AnyVal is unsealed, can be extended directly. ScalaObject is no longer with us.
* | | | | Merge branch 'master' into merge-inlinePaul Phillips2012-03-14212-237/+4197
|\ \ \ \ \ | |/ / / / |/| | | / | | |_|/ | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: lib/scala-compiler.jar.desired.sha1 lib/scala-library-src.jar.desired.sha1 lib/scala-library.jar.desired.sha1 src/compiler/scala/reflect/internal/Definitions.scala src/compiler/scala/reflect/internal/Importers.scala src/compiler/scala/reflect/internal/Symbols.scala src/compiler/scala/reflect/internal/Trees.scala src/compiler/scala/reflect/internal/Types.scala src/compiler/scala/tools/nsc/Global.scala src/compiler/scala/tools/nsc/transform/Erasure.scala src/compiler/scala/tools/nsc/transform/LiftCode.scala src/compiler/scala/tools/nsc/transform/UnCurry.scala src/compiler/scala/tools/nsc/typechecker/RefChecks.scala src/compiler/scala/tools/nsc/typechecker/Typers.scala test/files/run/programmatic-main.check test/files/speclib/instrumented.jar.desired.sha1
| * | | 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.
| * | | 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
| * | | | 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-054-6/+162
| |\ \ \ \ \ \ \ | | |_|_|_|/ / / | |/| | | | | | | | | | | | | | '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.
| * | | | | | Revert attempt to limit private types in lubs.Paul Phillips2012-03-042-0/+22
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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-026-0/+18
| |\ \| | | | | | | | | | | | | | | | | | | | | 'axel22/feature/pc-execution-contexts' and 'TiarkRompf/SI-5538'; commit 'd92bcb5302be04104abe2db6cf92620c4cd7255e' into develop
| | | | \ \
| | | | \ \
| | | *-. \ \ 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
| | | | | | |
| * | | | | | 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.
| * | | | Specialized NonLocalReturnControl.Paul Phillips2012-02-272-0/+18
| | | | | | | | | | | | | | | | | | | | From the extempore archive of already implemented things.
| * | | | Change time constants in test to avoid failures.Aleksandar Prokopec2012-02-232-4/+4
| | | | |
| * | | | Reworked and restored elidable.Paul Phillips2012-02-225-3/+185
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Found a better elidable implementation which is robust against other parts of the compiler doing their things. Calls to elidable methods are replaced with zero of the same type. Elidable methods themselves remain in place, but with their body replaced with a zero of the method return type. Thus is everything to be found where it is expected to be found, but nothing will be found where nothing ought to be found. Nothing of course will never be found.
| * | | | Revert recent elidable commits.Paul Phillips2012-02-222-85/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | On epfl jenkins, elidable.scala fails with: [partest] java.lang.VerifyError: (class: Test$, method: main signature: ([Ljava/lang/String;)V) Unable to pop operand off an empty stack [partest] [partest] at Test.main(elidable.scala) Strangely it is fine for me on OSX with either apple's jvm or openjdk. Since tests were not running for a while I don't know which of the recent elidable commits is responsible, so given present time demands all I can do is revert them all. Revert "Fix for SI-5215: scalac crash when @elidable used in trait" This reverts commit 5e52ce9a13f12ef159e25ac80c6be2803ec48950. Revert "Fix for SI-5215 part 2: generate return value when eliding method calls" This reverts commit 61c9b4f01d99a81e15391b270bd1b5a895f65ffd. Revert "Eliminating duplication in zero creation." This reverts commit fbb7865e137e83660257fdc79d19d29ff39c775b. Revert "Disallow eliding when Nothing is expected" This reverts commit f26a47c4e8bda2f6c689b4e9b0bb5c64ccf4c699.
| * | | | Test for SI-5171Szabolcs Berecz2012-02-212-0/+8
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Running the test produces the following error in 2.9.1: java.lang.VerifyError: class com.restphone.IsList$ overrides final method canEqual. Works fine in 2.10.0-M2
| * | | | Eliminating duplication in zero creation.Paul Phillips2012-02-202-2/+2
| | | | |
| * | | | Fix for SI-5215 part 2: generate return value when eliding method callsSzabolcs Berecz2012-02-202-2/+40
| | | | |
| * | | | Fix for SI-5215: scalac crash when @elidable used in traitSzabolcs Berecz2012-02-192-2/+46
| | | | | | | | | | | | | | | | | | | | The elision is now done by not emitting method calls (it was done by removing the elidable methods).
| * | | | Fix [@spec A] to correctly induce AnyRef specialization.Erik Osheim2012-02-191-4/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | While [@specialized A] already tries to include specialization, a bug in specializedOn prevented this from happening: any empty list could mean that the type var was unspecialized, or that it was specialized on everything. The fix is to have this function create the full list of symbols in the case where the @specialized annotation doesn't explicitly include any types.
| * | | | More specialization tests.Paul Phillips2012-02-194-6/+82
| | | | | | | | | | | | | | | | | | | | Some in pending, some in files. Closes SI-4770.
| * | | | More on SI-5500.Paul Phillips2012-02-184-29/+86
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | A reimagining of erik's patch in 1df4fc6e59 . He did the hard part, this is the batman reboot. I added more tests and tried to make the anyref caching code less fragile.
| * | | | Merge branch 'master', remote-tracking branch 'non/si-5500' into developPaul Phillips2012-02-182-0/+14
| |\ \ \ \
| | * | | | Fixed over-optimistic anyrefSpecCache (closes SI-5500).Erik Osheim2012-02-192-0/+14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The basic problem here was that generic type params were getting confused between the various specialized subclasses. For instance, calling typeParamsSubAnyRef(A, C2$mcLI$sp) might return the wrong specialized type param, e.g. C2$mcLZ$sp.A$sp (note the Z instead of the I). The fix is to cache with both the sym (A) and also the clazz (C2$mcLI$sp). This may resolve a whole host of other obscure AnyRef specialization problems.
| * | | | | Merge remote-tracking branch 'scalamacros/pullrequest/macros' into developPaul Phillips2012-02-1712-0/+101
| |\ \ \ \ \ | | |/ / / / | |/| | | |
| | * | | | Fixes miscellaneous macro bugsEugene Burmako2012-02-1712-0/+101
| | | | | |
| * | | | | Merge branch 'develop'Paul Phillips2012-02-176-2/+83
| |\ \ \ \ \
| | * | | | | [vpm] generate proper isDefinedAt for switchesAdriaan Moors2012-02-172-1/+26
| | | | | | | | | | | | | | | | | | | | | | | | | | | | don't consider the matcherror-throwing catch-all case (generated by virtpatmat) a default case
| | * | | | | [vpm] working type switch for try/catchAdriaan Moors2012-02-174-1/+57
| | |/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | catch handlers are now also translated by the virtualizing pattern matcher emit type-based switches when possible, fallback to catch-all with full pattern match (the logic used to emit constant-based switches was generalized to type-based switches, abstracting out how to refer to the scrutinee and the shape of a default/catch-all case) this was the last missing piece of essential functionality now the virtualizing pattern matcher and the old one are mutually exclusive: -Yvirtpatmat disables the old matcher logic completely
| * / / / / Fixed AnyRef specialization.Paul Phillips2012-02-177-18/+107
| |/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | At least for the value of fix which means "better than it was in 2.9." I accidentally spent a long while trying to fix something I didn't realize I hadn't broken. But then I lucked into partially fixing it, so that's good news. See run/t5488-fn.scala if you want to see what still doesn't work. (It's covered at SI-4770, which is now reopened.) Closes SI-5488.
| | | | |
| | \ \ \
| | \ \ \
| | \ \ \
| *---. \ \ \ Merge remote-tracking branches 'axel22/issue/5293', ↵Paul Phillips2012-02-154-0/+666
| |\ \ \ \ \ \ | | | | |/ / / | | | |/| | | | | | | | | | 'szabolcsberecz/synchronized-test' and 'non/si-5005-2' into develop
| | | * | | | test to check for proper synchronization in generated codeSzabolcs Berecz2012-02-153-0/+578
| | |/ / / / | |/| | | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-22 11:53:23 +0000