summaryrefslogtreecommitdiff
path: root/test/files
Commit message (Collapse)AuthorAgeFilesLines
* [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
* [vpm] test file for regression on old patmatAdriaan Moors2012-03-202-0/+9
| | | | it's a warning on new patmat -- TODO: dig deeper
* Test cases closes SI-4574.Paul Phillips2012-03-192-0/+15
| | | | Looks like I got that irrefutability bug too.
* Spiced up the irrefutability tests a bit.Paul Phillips2012-03-194-29/+36
|
* Discovered filter was still being generated.Paul Phillips2012-03-191-0/+22
| | | | | | | | | Rather than withFilter, for a subset of for comprehension structures. Not sure if this was somewhat by design - only seems possible because refchecks was only looking for nme.filter, not nme.withFilter, so perhaps this was intended as some secret irrefutability backchannel? Really have to document that sort of thing if it's intentional. I assumed it wasn't and unified everything.
* Finally did something about broken irrefutability.Paul Phillips2012-03-194-0/+90
| | | | | | | | | | | The parser has always been confused about tuple patterns in for comprehensions. It thinks it can fail to recognize an irrefutable pattern and have it removed in refchecks, but it is sadly mistaken, because the unnecessary filter has a tendency to fail the compile in typer. Look more intently for irrefutable patterns and don't insert the unnecessary filter. Closes SI-5589, SI-1336.
* SI-5189: refined GADT soundness fixAdriaan Moors2012-03-195-9/+30
| | | | | extrapolate GADT skolems: only complicate types when needed make sure we only deskolemize GADT skolems after typedCase
* 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.
* Added alternate test for SI-5545.Paul Phillips2012-03-162-0/+8
|
*-------. Merge remote-tracking branches 'VladUreche/feature/inheritdoc-clean', ↵Paul Phillips2012-03-1625-105/+171
|\ \ \ \ \ | | | | | | | | | | | | | | | | | | '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-169-67/+67
| | | | | |
| | | * | | Remove assert given the test. Fixes #SI-5572.Hubert Plociniczak2012-03-162-0/+34
| | |/ / / | |/| | |
| | * | | Fixed broken testsAlex Cruise2012-03-156-18/+19
| | | | |
| | * | | SI-1118:Alex Cruise2012-03-153-31/+31
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Use new-style deprecation annotations * Slightly less cutesy test text * Move t1118.scala to the right directory
| | * | | SI-1118 WIPAlex Cruise2012-03-1510-22/+53
| | | | |
| | * | | SI-1118 WIPAlex Cruise2012-03-152-0/+0
| | | | |
* | | | | Revert "More uniformity for the parser."Paul Phillips2012-03-161-12/+0
| |_|_|/ |/| | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit f987afe55e6d4f71c7e9ad10d1ca9f6120dc1132. Looks like somebody misread the grammar. Look for it to return in one of paulp's exclusive branches for today's discriminating hacker.
* | | | 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-0639-183/+1291
| |\ \ | | | | | | | | | | | | | | | | | | | | 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-1466-153/+199
|\ \ \ \ \
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-23 21:53:13 +0000