summaryrefslogtreecommitdiff
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
*-. Merge commit 'refs/pull/391/head'; commit 'refs/pull/390/head' into developPaul Phillips2012-04-1470-196/+313
|\ \
| | * no longer need -YvirtpatmatAdriaan Moors2012-04-141-1/+1
| | |
| | * enable implicit enrichment when typing patternsAdriaan Moors2012-04-133-0/+15
| | |
| * | virtpatmat on by default; chicken out: -XoldpatmatAdriaan Moors2012-04-1463-190/+240
| | | | | | | | | | | | | | | | | | | | | 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
| * | virtpatmat: initial CPS supportAdriaan Moors2012-04-141-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | typers&patmatvirtualizer have ad-hoc support for dropping annotations in a way that makes the CPS plugins happy... this is not ideal, but unless virtpatmat runs after the plugin phases, I don't see how to solve it running virtpatmat after the CPS plugin would mean the pattern matching evaluation cannot be captured by CPS, so it's not even desirable to move it to a later phase - typedIf must lub annotated types - drop selector.tpe's annotations - drop annots in matchEnd's argument type - deal with annots in casts synth by in virtpatmat (drop them from type arg to asInstanceof, recover them using type ascription) - workaround skolemize existential dropping annots CPS is the main reason why typedMatchAnonFun is not used anymore, and PartialFunction synthesis is moved back to uncurry (which is quite painful due to labeldefs being so broken) we can't synth partialfunction during typer since T @cps[U] does not conform to Any, so we can't pass it as a type arg to PartialFunction, so we can't type a cps-transformed PF after the CPS plugin, T @cps[U] becomes ControlContext[...], which is a type we can pass to PartialFunction virtpatmat is now also run until right before uncurry (so, can't use isPastTyper, although it means more or less the same thing -- we don't run after uncurry) the main functional improvements are in the selective ANF transform its treatment of labeldefs was broken: for example, LabelDef L1; LabelDef L2 --> DefDef L1; L1(); DefDef L2; L2() but this does not take into account L1 may jump over L2 to another label since methods always return (or fail), and the ANF transform generates ValDefs to store the result of those method calls, both L1 and L2 would always be executed (so you would run a match with N cases N times, with each partial run starting at a later case) also fixed a couple of weird bugs in selective anf that caused matches to be duplicated (with the duplicate being nested in the original) since label defs are turned into method defs, and later defs will be nested in the flatMap calls on the controlcontext yielded by earlier statements, we reverse the list of method definitions, so that earlier (in the control flow sense) methods are visible in later ones selective CPS now generates a catch that's directly digestible by backend
| * | wip: put skeleton for typetag-based typetests in placeAdriaan Moors2012-04-141-0/+5
| | |
| * | more prudent bridging to unapply[Seq]Adriaan Moors2012-04-142-5/+46
| | | | | | | | | | | | | | | | | | | | | | | | | | | since we can't statically know whether the unapply we'll be bridging to is synthetic, drop this condition, and do pessimistic bridging for all unapply[Seq] (i.e., if we can't statically guarantee the type that would be assumed to be safe to cast to by a synthetic extractor, do the type test and return None if it fails)
| * | synth PartialFunction in uncurryAdriaan Moors2012-04-141-0/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | due to interaction with the CPS plugin, can't synth PartialFun during typer (the types don't work out: in PartialFun[T, U @cps[V]], U @cps[V] does not conform to Any, and we can't move the annot from the type arg directly to applyOrElse's result, since then it won't override anything) thus, we face the pain of mangling labeldefs again resetLocalAttrsKeepLabels can't use leaveAlone don't cast matcherror throw, uncurry gets confused uncurry: cast selector valdef's rhs to avoid skolem mismatch NOTE: I'm not happy about this code, but I don't know how to make the clean way (typedMatchAnonFun) compatible with the CPS plugin one avenue to explor would be to introduce PartialFunCPS, which is transformed into a regular PartialFun when T @cps[U] is turned into ControlContext[T, U]
* | | restores some disabled macro tests, makes checkFeature synchronous when used ↵Eugene Burmako2012-04-1440-109/+134
|/ / | | | | | | for macros
* | Merge commit 'refs/pull/395/head'Paul Phillips2012-04-148-4/+8
|\ \
| * | disabling scaladoc tests. Don't know how to fix them to make them work under ↵Martin Odersky2012-04-138-4/+8
| | | | | | | | | | | | SIP 18.
| * | one more macro test sdisabled that lipped through the net before.Martin Odersky2012-04-133-0/+0
| | |
* | | One more macro test to disable for SIP 18.Paul Phillips2012-04-143-0/+0
| | |
| | |
| \ \
*-. \ \ Merge commit 'refs/pull/389/head'; commit 'refs/pull/393/head' into developPaul Phillips2012-04-147-0/+193
|\ \ \ \ | |_|/ / |/| | |
| | * | DynamicProxy: improved docs, fixed EOL styleChristopher Vogt2012-04-143-93/+93
| | | |
| | * | implemented DynamicProxy as portrayed by the Scala reflection teamChristopher Vogt2012-04-143-0/+93
| | | |
| * | | rule out sequence arg to applyDynamicAdriaan Moors2012-04-133-2/+22
| | | |
| * | | implement SIP Type DynamicAdriaan Moors2012-04-132-0/+80
| | |/ | |/|
* | | disabled failing macro test; needs to be adapted to new scheme.Martin Odersky2012-04-134-0/+0
| | |
* | | Disabled macro neg tests that no longer make sense in this formMartin Odersky2012-04-1351-0/+0
| | |
* | | Merge branch 'master' into topic/sip18Martin Odersky2012-04-1397-224/+940
|\ \ \ | | |/ | |/|
| * | Scaladoc feature that shows implicit conversionsVlad Ureche2012-04-1315-6/+603
| |/ | | | | | | | | | | | | See https://github.com/VladUreche/scala/tree/feature/doc-implicits for the history. See https://scala-webapps.epfl.ch/jenkins/view/scaladoc/job/scaladoc-implicits-nightly/ for nightlies. Many thanks fly out to Adriaan for his help with implicit search!
| * Fix for failing test.Paul Phillips2012-04-131-2/+2
| |
| * Merge commit 'refs/pull/383/head' into developPaul Phillips2012-04-132-22/+20
| |\
| | * Fixing a failing test.aleksandar2012-04-122-22/+20
| | |
| | |
| | \
| *-. \ 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
| | |/ /
| * | | Merge commit 'refs/pull/379/head'Paul Phillips2012-04-122-2/+2
| |\ \ \
| | * | | fixes petty macro testsEugene Burmako2012-04-122-2/+2
| | | | |
| * | | | Workaround for SI-5583.Paul Phillips2012-04-122-0/+31
| | | | | | | | | | | | | | | | | | | | | | | | | Somehow type args to be applied arrive in the specialized subclass where type args are no longer applicable. Log and discard.
| * | | | Fix for SI-5535.Paul Phillips2012-04-122-0/+30
| |/ / /
| * / / fixes petty macro testsEugene Burmako2012-04-1272-194/+228
| |/ /
* | | Fixed tests to account for SIP 18Martin Odersky2012-04-1317-470/+492
| | |
* | | Added languageFeature annotation (was missing before). Resolved problem with ↵Martin Odersky2012-04-13131-131/+131
|/ / | | | | | | late loading of nested classes in Definitions. Resolved handling of deprecated idents `then` and `macro`. Massaged test flags.
* | Merge commit 'refs/pull/375/head' into developPaul Phillips2012-04-12940-1913/+6590
|\ \
| * | GroundTypeTag => ConcreteTypeTagEugene Burmako2012-04-1237-134/+134
| | |
| * | Next generation of macrosEugene Burmako2012-04-12940-1913/+6590
| |/ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
* | Disabling failing tests.Paul Phillips2012-04-125-0/+0
| | | | | | | | | | | | | | | | | | | | I turn them over to the responsible parties. Iulian knows about the deadlock test; for philipp I presume, 07:10:29 [partest] concurrent-future.scala:97: error: not found: type FutureTimeoutException 07:10:29 [partest] throw new FutureTimeoutException(null) 07:10:29 [partest] ^ 07:10:29 [partest] one error found
* | Implementation of SIP 13 take 2.Martin Odersky2012-04-111-1/+1
| |
* | Implementation of SIP 13 - implicit classesMartin Odersky2012-04-111-0/+10
|/
* Fix for SI-5648.Paul Phillips2012-04-103-0/+15
| | | | More care in warning about bad comparisons.
* Cleaning up some repl mechanisms.Paul Phillips2012-04-091-1/+1
|
* Bumped the number of samples of the memory leaks test to 50. This should ↵Iulian Dragos2012-04-092-10/+51
| | | | make it much more resilient against spikes. Also removed usedmem file dumps.
* SI-4540 Fix [RichDouble|RichFloat|RichLong].isValid[Byte|Short|Char|Int].Dmitry Nadezhin2012-04-081-58/+273
| | | | | | | | | | This commit fixes test cases mentioned in comment 03/Apr/12 to SI-4540. Methods are fixed in leaf classes RichDouble|RichFloat|RichLong. Their superclasses are not modified. File is-valid-num.scala contains commented tests of isValidLong|isValidFloat|isValidLong, but they are not added anywhere now.
* Merge branch 'apr6-flags' of leaf:/scala/trunk into developPaul Phillips2012-04-061-18/+18
|\
* \ Merge commit 'pull/358/head' into developPaul Phillips2012-04-061-0/+16
|\ \
| * | Test case for overloading resolution during reflection.Martin Odersky2012-04-051-0/+16
| | |
* | | 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.
* | | Make NumericRange# O(1) instead of O(n).Simon Ochsenreither2012-04-062-17/+9
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | It makes me a bit nervous that NumericRange[Int] will get different wrong values in overflow situations compared to Range due to the missing toLong though. It could probably need some investigation if reordering the operations can rule out wrong values, e. g. only fail when the fold also fails. Apart from that, it might make sense to just throw an exception if an overflow happens instead of silent overflow.
* | | Fix for SI-5591.Geoff Reedy2012-04-062-0/+11
| |/ |/| | | | | And test case for SI-5591.
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-21 11:10:18 +0000