summaryrefslogtreecommitdiff
path: root/test/files/run
Commit message (Collapse)AuthorAgeFilesLines
* An illustrative delayedInit test.Paul Phillips2012-03-214-0/+242
|
* Fixed test cases.Martin Odersky2012-03-211-1/+9
|
* Allows now private primary constructors in value classes.Martin Odersky2012-03-211-15/+69
|
* Restore irrefutability commits.Paul Phillips2012-03-202-0/+15
| | | | This reverts commit d8ba5d091e5641553b438ef9930a6023a2709dcd.
* Lots of tedious warning and tree printing work.Paul Phillips2012-03-203-56/+56
| | | | | | | | | | | Fewer deprecation warnings, prettier trees, prettier symbols, more polished error messages. Oh the interesting people you meet handling warnings, I feel sorry for you all that I get to do it all the time. One of the characters I met invited me into the "Dead Code Society" and that's what I'm doing on Tuesdays now. No of course you haven't, it's a SECRET society.
* Revert irrefutability commits.Paul Phillips2012-03-202-15/+0
| | | | | Temporary reversion of irrefutability commits in interests of stable milestone. Expect to restore shortly.
* [vpm] typer synths Function{} for empty-sel matchAdriaan Moors2012-03-202-88/+186
| | | | | | | | | | | | | | | | | typedMatchAnonFun is called from typedFunction when the function's body is a match this is work-in-progres: the compiler currently won't bootstrap under -Yvirtpatmat see also the pending test make sure to use the right context in typeFunction when the body is a Match when typer is set up for type checking a Function, the current owner is the symbol for the function, but we'll type check a Block(List(ClassDef(cd)), New(cd)) when the function is a match, and the function symbol is nowhere to be found, so go to outer context in patmatvirt: - simplified default case gen (no need for a Casegen instance) - using CASE | SYNTHETIC to detect generated matches (for switches) and avoid typing them endlessly more uniform, and necessary for new-style anon Function class instance gen for matches
* [vpm] TODO note: make unapply type list stricterAdriaan Moors2012-03-203-0/+13
| | | | | | | | when an unapply returns Option[T] where T is some ProductN, does that mean the unapply returns 1 result, i.e., that T, or did it mean to return N results? to disambiguate, falling back to stricter spec-adherence, which requires T be exactly TupleN for N results for now, allow extractor result to be any product, not just tuple
* Test cases closes SI-4574.Paul Phillips2012-03-192-0/+15
| | | | Looks like I got that irrefutability bug too.
* Merge branch 'mar17-colorize'Paul Phillips2012-03-182-0/+726
|\
| * Library for ansi color management.Paul Phillips2012-03-182-0/+726
| | | | | | | | | | | | | | | | | | Having now experienced the unbelievable difference it makes to have one's voluminous debugging output effectively color-coded, I had to librarize the ansi codes in order to use them. This could all go in the standard library, or as soon as I can easily make use of compiler dependencies, a separate library altogether. For now it hides away in scala.tools.util.color.
* | Added +: and :+ extractors to mirror append/prepend.Josh Suereth2012-03-162-0/+10
|/ | | | | | | | * +: does head/tail decomposition on any Seq * :+ does init/last decomposition on any Seq * Both preserve specific Seq types. Review by @odersky
* Testing compiler asSeenFrom directly.Paul Phillips2012-03-163-1/+446
| | | | | | | It's more of a "dump what it says to a file so we'll know if any of this ever changes" than a "test" per se. It could use some wheat/chaff/nonsense/sense sorting. Still, it would be great to have more stuff like this.
*---. Merge remote-tracking branches 'VladUreche/feature/inheritdoc-clean', ↵Paul Phillips2012-03-169-59/+59
|\ \ \ | | | | | | | | | | | | 'acruise/t1118', 'hubertp/issue/5572', 'hubertp/topic/nightly-checkinit', 'axel22/feature/pc-ctrie', 'jsuereth/master-version-fixin' and 'axel22/feature/checkinit-transient' into develop
| | | * Renaming Ctrie to ConcurrentTrieMap.Aleksandar Prokopec2012-03-164-42/+42
| |_|/ |/| |
| | * Fixed broken testsAlex Cruise2012-03-152-13/+13
| | |
| | * SI-1118 WIPAlex Cruise2012-03-154-5/+5
| |/ |/|
* | Whitespace and a couple checkfile updates.Paul Phillips2012-03-144-30/+30
| |
* | Merge remote-tracking branch 'odersky/topic/inline' into merge-inlinePaul Phillips2012-03-1412-19/+309
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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/Symbols.scala src/compiler/scala/tools/nsc/Global.scala src/compiler/scala/tools/nsc/transform/Constructors.scala src/compiler/scala/tools/nsc/transform/Erasure.scala src/compiler/scala/tools/nsc/transform/SpecializeTypes.scala src/compiler/scala/tools/nsc/typechecker/Contexts.scala src/compiler/scala/tools/nsc/typechecker/RefChecks.scala src/compiler/scala/tools/nsc/typechecker/SyntheticMethods.scala src/library/scala/Function0.scala src/library/scala/Function1.scala src/library/scala/Function10.scala src/library/scala/Function11.scala src/library/scala/Function12.scala src/library/scala/Function13.scala src/library/scala/Function14.scala src/library/scala/Function15.scala src/library/scala/Function16.scala src/library/scala/Function17.scala src/library/scala/Function18.scala src/library/scala/Function19.scala src/library/scala/Function2.scala src/library/scala/Function20.scala src/library/scala/Function21.scala src/library/scala/Function22.scala src/library/scala/Function3.scala src/library/scala/Function4.scala src/library/scala/Function5.scala src/library/scala/Function6.scala src/library/scala/Function7.scala src/library/scala/Function8.scala src/library/scala/Function9.scala test/files/codelib/code.jar.desired.sha1 test/files/neg/anyval-children-2.check test/files/run/programmatic-main.check
| * | Allows case classes as value classesMartin Odersky2012-03-072-0/+120
| | |
| * | Fixes to value classes: Flags now double definitions, private constructors ↵Martin Odersky2012-03-062-0/+27
| | | | | | | | | | | | as errors. Fixed erasure scheme.
| * | new and updated test cases for value classes.Martin Odersky2012-03-052-0/+19
| | |
| * | Implemented super access in value classes, restrictions for value classes.Martin Odersky2012-02-194-34/+50
| | |
| * | New FlatArray scheme for handling value classes.Martin Odersky2012-02-171-12/+21
| | |
| * | Trying generic value classes. Does not work yet, but fixed on bug already.Martin Odersky2012-02-151-0/+12
| | |
| * | Updated check file.Martin Odersky2012-02-151-0/+11
| | |
| * | New scheme for "Rows" of value classes.Martin Odersky2012-02-151-28/+12
| | |
| * | Changed array erasure scheme to never unbox elements of inline classes.Martin Odersky2012-02-151-16/+18
| | |
| * | Changed erasure behavior of arrays to use always boxed representation.Martin Odersky2012-02-141-0/+41
| | | | | | | | | | | | | | | | | | Conflicts: test/files/run/Meter.scala
| * | Fixing problems with generation of isInstanceOf, classOf.Martin Odersky2012-02-141-0/+1
| | |
| * | Setting up things to demonstrate a swallowed type error in manifest generation.Martin Odersky2012-02-131-0/+2
| | |
| * | Added missing files from last commitMartin Odersky2012-02-131-0/+7
| | |
| * | All steps of value class proposal implemented. Most restrictions are now ↵Martin Odersky2012-02-132-14/+34
| | | | | | | | | | | | enforced. Super calls and specialized still missing.
| * | Added test case.Martin Odersky2012-02-071-0/+19
| | |
| * | Merge branch 'master' into topic/inlinePaul Phillips2012-02-0630-169/+958
| |\ \ | | | | | | | | | | | | | | | | | | | | Conflicts: src/compiler/scala/tools/nsc/Global.scala test/files/run/programmatic-main.check
| * \ \ 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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-19 20:39:38 +0000