summaryrefslogtreecommitdiff
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* Finish fixing range positions.Paul Phillips2012-03-163-1/+5
| | | | At least, I think so.
* More uniformity for the parser.Paul Phillips2012-03-161-0/+12
| | | | | Type application and operator notation could not formerly be mixed. Now they can, as the grammar has always suggested.
* New option -Ypos-debug, and fixed range position breakage.Paul Phillips2012-03-152-0/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | (Looks like there is more range position breakage yet, but this gets the outermost layer.) Channeling my struggles into a slightly easier future. % scalac -Ypos-debug -d /tmp ./src/library/scala/Predef.scala ./src/library/scala/Predef.scala:222: warning: Positioned tree has unpositioned child in phase extmethods def x = __resultOfEnsuring ^ parent: #7109 line 222 Select // (value __resultOfEnsuring in class Ensuring) child: #7108 Ident // (value $this) ./src/library/scala/Predef.scala:258: warning: Positioned tree has unpositioned child in phase extmethods def x = __leftOfArrow ^ parent: #7280 line 258 Select // (value __leftOfArrow in class ArrowAssoc) child: #7279 Ident // (value $this) two warnings found Or try this to really see some output: % scalac -Yrangepos -Ypos-debug
* Whitespace and a couple checkfile updates.Paul Phillips2012-03-144-30/+30
|
* The rest of the inline classes.Paul Phillips2012-03-141-1/+1
| | | | | | | | | Have you often thought that programming is just like the movie 'Hackers', only with less rollerblading? Now that we have @inline skates, that last caveat can be retired. It's just like the movie 'Hackers'. Signed-off-by: Zero Cool
* Merge remote-tracking branch 'odersky/topic/inline' into merge-inlinePaul Phillips2012-03-1447-95/+496
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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-073-1/+121
| |
| * Fixes to value classes: Flags now double definitions, private constructors ↵Martin Odersky2012-03-065-17/+54
| | | | | | | | as errors. Fixed erasure scheme.
| * Added check that primary constructor of a value class must be public.Martin Odersky2012-03-051-0/+6
| |
| * new and updated test cases for value classes.Martin Odersky2012-03-054-2/+39
| |
| * Compiler now ready to accept value classes in standard library. Time for a ↵Martin Odersky2012-02-222-5/+2
| | | | | | | | new STARR!
| * Updatwd check file.Martin Odersky2012-02-221-2/+2
| |
| * Implemented super access in value classes, restrictions for value classes.Martin Odersky2012-02-196-34/+132
| |
| * 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-133-0/+24
| |
| * All steps of value class proposal implemented. Most restrictions are now ↵Martin Odersky2012-02-136-24/+53
| | | | | | | | enforced. Super calls and specialized still missing.
| * Added test case.Martin Odersky2012-02-071-0/+19
| |
| * Removing unnecessary AnyVal code.Paul Phillips2012-02-069-46/+18
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | ...since it works from source. The parser must be forcibly restrained from adding a bogus constructor, but other than that it's pretty much smooth sailing. To give an idea how smooth, if I change scala.Short like so: trait Bippy extends Any final class Short extends AnyVal with Bippy Then it just works, at least until the fiction is revealed. scala> def f(x: Bippy) = x f: (x: Bippy)Bippy scala> f(5) <console>:9: error: type mismatch; found : Int(5) required: Bippy f(5) ^ scala> f(5: Short) java.lang.ClassCastException: java.lang.Short cannot be cast to scala.Bippy at .<init>(<console>:9) at .<clinit>(<console>) at .<init>(<console>:11)
| * Merge branch 'master' into topic/inlinePaul Phillips2012-02-0646-196/+1279
| |\ | | | | | | | | | | | | | | | 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-0621-26/+26
| |\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
| | * | Fixed a bunch of scalap check files to account for absence of ScalaObjectMartin Odersky2012-02-0619-24/+24
| | | |
| | * | Removing AnyVal as a source class. Removing automatic addition of ↵Martin Odersky2012-02-0612-30/+22
| | | | | | | | | | | | | | | | ScalaObject. Undoing wrong fix in ExtensionMethods.
* | | | Merge branch 'merge-inline' of /scratch/trunk3 into developPaul Phillips2012-03-1467-174/+220
|\ \ \ \
| * | | | New starr to support new fundamental laws of reality.Paul Phillips2012-03-1416-74/+71
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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-14423-681/+9395
| |\ \ \ \ | | |/ / / | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
| * | | | All tests passed... not counting scaladoc.Paul Phillips2012-02-041-21/+21
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Disabled failing scaladoc test rather than fixing it because they're too hard to fix, even though it is almost certainly a trivial output change. (The fact that I don't know for sure that it is a trivial output change is also suboptimal.)
| * | | | A couple more checkfiles and comments.Paul Phillips2012-02-042-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | I guess I have to suck up the "C with Object" here in order to get the "Array[T with Object]" I need in a different test. Now all tests pass for reals.
| * | | | Checkfile output update for AnyVal class.Paul Phillips2012-02-041-1/+4
| | | | | | | | | | | | | | | | | | | | And with that one, I believe all tests pass.
| * | | | Fixed all but one of the scalap tests.Paul Phillips2012-02-0419-21/+21
| | | | |
| * | | | Fixed specialized tests.Paul Phillips2012-02-041-1/+1
| | | | |
| * | | | Fixed scalacheck tests.Paul Phillips2012-02-041-1/+1
| | | | |
| * | | | Making AnyVal into a class instead of a trait.Paul Phillips2012-02-042-0/+11
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | -- traits can extend Any, AnyRef, or AnyVal -- classes can extend AnyRef or AnyVal but not Any. This breaks reflection for the moment as it smuggles AnyVal so far downstream that it's reflecting its way into bytecode (or something) but the following test case goes five for six as anticipated. trait Foo1 extends Any trait Foo2 extends AnyVal trait Foo3 extends AnyRef class Bar1 extends Any // fail @inline class Bar2 extends AnyVal class Bar3 extends AnyRef Eliminated various hijinx from definitions.
| * | | | Simple test manipulating Any-derived traits.Paul Phillips2012-02-041-0/+16
| | | | |
| * | | | Updated checkfiles to subtract ScalaObject.Paul Phillips2012-02-0418-37/+26
| | | | |
| * | | | Merge branch 'master' into topic/inlinePaul Phillips2012-02-03119-24/+684
| |\ \ \ \ | | |_|/ / | |/| | |
| * | | | intermediate work towards a new starr for value classes.Martin Odersky2012-02-031-6/+6
| | | | |
| * | | | More work on inline classes.Paul Phillips2012-01-305-1/+46
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fail compile if AnyVal is inherited by a trait, a non-@inline class, or a class with an AnyRef parent somewhere. Added tests. Added logging, like [log extmethods] Inline class class Bippy spawns extension method. Old: def getClass: Class[_ <: Bippy] New: final def extension$getClass($this: Bippy): Class[_ <: Bippy] Fixed what I hope was a bug in ExtensionMethods where the original method params were dropped. Since adding a NonNull parent was also inflicting an AnyRef on AnyVal subclasses, suppressed that for those. Had the bright idea that AnyVal could extend NotNull. It doesn't seem to accomplish much, but then, I don't think NotNull accomplishes much. Still, maybe it's time to restrict the ways one can use AnyVal so one can't do this: scala> var x: AnyVal = _ x: AnyVal = null
| * | | | Removed obsolete checkfile.Paul Phillips2012-01-302-13/+0
| | | | |
| * | | | Merge remote-tracking branch 'odersky/topic/inline' into inlinePaul Phillips2012-01-301-1/+1
| |\ \ \ \
| | * | | | updated check file; got accidentally dropped from last commit.Martin Odersky2012-01-301-1/+1
| | | | | |
| * | | | | Merge branch 'master' into inlinePaul Phillips2012-01-307-0/+470
| |\ \ \ \ \
| * \ \ \ \ \ Merge branch 'master' into inlinePaul Phillips2012-01-305-0/+81
| |\ \ \ \ \ \ | | |_|/ / / / | |/| | | | | | | | | | | | | | | | | | | Conflicts: src/compiler/scala/reflect/internal/Definitions.scala
| * | | | | | Resinstantiating anyval-children test. Getting he complete build to run.Martin Odersky2012-01-302-0/+1
| | | | | | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-07 09:06:17 +0000