summaryrefslogtreecommitdiff
path: root/test/files/neg
Commit message (Collapse)AuthorAgeFilesLines
* interop between manifests and tagsEugene Burmako2012-04-2312-0/+89
|
* resurrects manifests in their pre-2.10 gloryEugene Burmako2012-04-237-0/+84
|
* migrates stdlib and compiler to tagsEugene Burmako2012-04-239-32/+18
| | | | | * all usages of ClassManifest and Manifest are replaced with tags * all manifest tests are replaced with tag tests
* rethinks tagsEugene Burmako2012-04-237-17/+24
| | | | | * introduces ArrayTag and ErasureTag * all type tags now feature erasure
* fixes SI-5689Eugene Burmako2012-04-213-0/+14
|
* One more checkfile update.Paul Phillips2012-04-161-1/+1
|
* Merge commit 'refs/pull/408/head'Paul Phillips2012-04-161-2/+2
|\
| * restore typedMatchAnonFun in all its gloryAdriaan Moors2012-04-141-2/+2
| | | | | | | | | | | | | | | | | | detect partialfunction in cpsannotationchecker emit apply/isDefinedAt if PF has @cps targs (applyOrElse can't be typed) further hacky improvements to selective anf better try/catch support in selective cps using freshly minted anonfun match make virtpatmat resilient to scaladoc (after uncurry, don't translate matches TODO: factor out translation all together so presentation compiler/scaladoc can skip it)
* | Fix for test checkfile.Paul Phillips2012-04-151-29/+2
| |
* | Merge commit 'refs/pull/401/head'; commit 'refs/pull/402/head'; commit ↵Paul Phillips2012-04-142-19/+0
|\ \ | |/ |/| | | 'refs/pull/403/head'; commit 'refs/pull/404/head'; commit 'refs/pull/405/head' into develop
| * implements reification of tough typesEugene Burmako2012-04-142-19/+0
| |
| |
| \
| \
| \
| \
| \
*-----. | Merge commit 'refs/pull/387/head'; commit 'refs/pull/388/head'; commit ↵Paul Phillips2012-04-145-0/+150
|\ \ \ \| | | | | | | | | | | | | | | | 'refs/pull/392/head'; commit 'refs/pull/397/head' into develop
| | | * | SI-5663: Tweak warnings on case class equalsSom Snytt2012-04-133-0/+99
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Re-enable testing the sensibility of comparing instances of two case classes. In particular, warn if we detect that the two objects inherit from different case classes. In addition, avoid emitting misleading warnings when comparing "new C".
| * | | | Adds test and check files for SI-5666. Covers common non-newable types.Simon Ochsenreither2012-04-132-0/+51
| |/ / /
| | | |
| \ \ \
*-. | | | Merge commit 'refs/pull/391/head'; commit 'refs/pull/390/head' into developPaul Phillips2012-04-1420-20/+63
|\ \| | |
| * | | | virtpatmat on by default; chicken out: -XoldpatmatAdriaan Moors2012-04-1420-20/+63
| | |_|/ | |/| | | | | | | | | | | | | | | | | | | | | | some tests (unreachability, exhaustivity, @switch annotation checking) are still run under -Xoldpatmat, but that will change before we go into RC mode (then the test/ partest of this commit will be reverted) removed irrelevant dependency on patmat
* / | | restores some disabled macro tests, makes checkFeature synchronous when used ↵Eugene Burmako2012-04-1415-0/+231
|/ / / | | | | | | | | | for macros
* | | One more macro test to disable for SIP 18.Paul Phillips2012-04-143-103/+0
| | |
| | |
| \ \
*-. | | Merge commit 'refs/pull/389/head'; commit 'refs/pull/393/head' into developPaul Phillips2012-04-142-0/+20
|\ \| |
| * | | rule out sequence arg to applyDynamicAdriaan Moors2012-04-132-0/+20
| |/ /
* | | Disabled macro neg tests that no longer make sense in this formMartin Odersky2012-04-1351-279/+0
| | |
* | | Merge branch 'master' into topic/sip18Martin Odersky2012-04-1376-196/+256
|\| |
| * | Fix for failing test.Paul Phillips2012-04-131-2/+2
| | |
| | |
| | \
| *-. \ Merge commit 'refs/pull/380/head'; commit 'refs/pull/381/head' into developPaul Phillips2012-04-132-0/+26
| |\ \ \
| | | * | SI-5510: string interpolation: parser no longer hangs on unclosed stringDominik Gruntz2012-04-132-0/+26
| | |/ /
| * | | fixes petty macro testsEugene Burmako2012-04-122-2/+2
| | | |
| * | | fixes petty macro testsEugene Burmako2012-04-1272-194/+228
| |/ /
* / / Added languageFeature annotation (was missing before). Resolved problem with ↵Martin Odersky2012-04-1345-45/+45
|/ / | | | | | | late loading of nested classes in Definitions. Resolved handling of deprecated idents `then` and `macro`. Massaged test flags.
* | GroundTypeTag => ConcreteTypeTagEugene Burmako2012-04-128-21/+21
| |
* | Next generation of macrosEugene Burmako2012-04-12243-180/+1458
|/ | | | | | | | | | | | | | | | | | | | | | Implements SIP 16: Self-cleaning macros: http://bit.ly/wjjXTZ Features: * Macro defs * Reification * Type tags * Manifests aliased to type tags * Extended reflection API * Several hundred tests * 1111 changed files Not yet implemented: * Reification of refined types * Expr.value splicing * Named and default macro expansions * Intricacies of interaction between macros and implicits * Emission of debug information for macros (compliant with JSR-45) Dedicated to Yuri Alekseyevich Gagarin
* SI-4134: abstract override crasher if lacking super implSom Snytt2012-04-062-0/+34
| | | | | | | | | | | | | | | | | | | | | The example from the ticket is committed as a neg test. The problem is that a super.m on an abstract override member m has no concrete implementation, that is, the trait T is not mixed in after a class C with a concrete m. The error is noticed at phase mixin when the super accessor is added to the concrete mixer. (Pun alert?) When super.m is rebound, no concrete matching symbol is found up the linearization. Previously, it was asserted that such a symbol should be found, but since this is our first opportunity to detect that there is none, an error should be emitted instead. The new message is of the form: Member method f of mixin trait T2 is missing a concrete super implementation. Additionally, a couple of flag tests were changed to use isAbstractOverride.
* Fix for SI-3272.Paul Phillips2012-04-022-17/+31
| | | | | | | | "References to the type parameters in object-private or object-protected values, variables, or methods (§5.2) of the class are not checked for their variance position." Review by @odersky.
* Pushed Symbol/Type creation partitioning further.Paul Phillips2012-04-013-3/+3
| | | | | Yet more funnelling of immutable creation-time known information into the identities of symbols and types.
* Test case closes SI-4987.Paul Phillips2012-03-222-0/+6
|
* Merge branch 'issue/SI-5580' of /scala/trunk into developPaul Phillips2012-03-214-0/+43
|\
| * Overhaul of JavaConver{sions,ters}.Paul Phillips2012-03-214-0/+43
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Initially motivated by SI-5580, then just motivated. I broke up the opaquely named JavaConversions and JavaConverters into the following traits encapsulating some permutation of { to java, to scala, bidirectional } { wrappers, decorators } I named everything consistently in terms of either Wrappers or Decorators. Decorators install those asJava/asScala methods onto collections of the right kind; Wrappers hide the process. JavaConversions then reduces to an object which (ill-advisedly) extends both WrapAsJava and WrapAsScala. And JavaConverters is an object extending DecorateAsScala and DecorateAsJava. However other more clearly named vals exist in the newly created scala.collection.convert package object. val decorateAsJava = new DecorateAsJava { } val decorateAsScala = new DecorateAsScala { } val decorateAll = new DecorateAsJava with DecorateAsScala { } val wrapAsJava = new WrapAsJava { } val wrapAsScala = new WrapAsScala { } val wrapAll = new WrapAsJava with WrapAsScala { } So for instance to import asScala decorators, and only those: scala> import scala.collection.convert.decorateAsScala._ import scala.collection.convert.decorateAsScala._ scala> new java.util.ArrayList[String].asScala groupBy (x => x) res0: scala.collection.immutable.Map[String,scala.collection.mutable.Buffer[String]] = Map() I propose we put those vals or a subset of them in the scala package object rather than way down in scala.collection.convert.
* | Fixed test cases.Martin Odersky2012-03-212-27/+1
| |
* | Fixed SI-5063.Martin Odersky2012-03-212-0/+7
|/
* Restore irrefutability commits.Paul Phillips2012-03-204-0/+65
| | | | This reverts commit d8ba5d091e5641553b438ef9930a6023a2709dcd.
* Lots of tedious warning and tree printing work.Paul Phillips2012-03-2010-25/+48
| | | | | | | | | | | 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-204-65/+0
| | | | | Temporary reversion of irrefutability commits in interests of stable milestone. Expect to restore shortly.
* Spiced up the irrefutability tests a bit.Paul Phillips2012-03-194-29/+36
|
* Finally did something about broken irrefutability.Paul Phillips2012-03-192-0/+58
| | | | | | | | | | | 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 remote-tracking branches 'VladUreche/feature/inheritdoc-clean', ↵Paul Phillips2012-03-162-0/+34
|\ \ | | | | | | | | | 'acruise/t1118', 'hubertp/issue/5572', 'hubertp/topic/nightly-checkinit', 'axel22/feature/pc-ctrie', 'jsuereth/master-version-fixin' and 'axel22/feature/checkinit-transient' into develop
| | * Remove assert given the test. Fixes #SI-5572.Hubert Plociniczak2012-03-162-0/+34
| |/
* | Merge remote-tracking branch 'odersky/topic/inline' into merge-inlinePaul Phillips2012-03-1414-51/+163
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
| * | Fixes to value classes: Flags now double definitions, private constructors ↵Martin Odersky2012-03-063-17/+27
| | | | | | | | | | | | 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-052-2/+20
| | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-04 14:30:17 +0000