summaryrefslogtreecommitdiff
path: root/test/pending
Commit message (Collapse)AuthorAgeFilesLines
...
* TypeTag => AbsTypeTag, ConcreteTypeTag => TypeTagEugene Burmako2012-06-082-5/+5
| | | | | This protects everyone from the confusion caused by stuff like this: https://issues.scala-lang.org/browse/SI-5884
* repairs the tests after the refactoring spreeEugene Burmako2012-06-0854-161/+140
|
* macros: -Xmacros is now retiredEugene Burmako2012-06-0811-11/+11
|
* Add the first iteration of the `util.hashing` package.Aleksandar Prokopec2012-06-072-0/+69
| | | | | | | | | | | | | | | | | Move `MurmurHash3` to `util.hashing`. Make the `class` private and retain a public companion `object`, and put the `MurmurHash3.Hashing` implementations for various types in the companion. Add a method which composes `ByteswapHashing` with some other hashing. Rename `hashOf` to `hash`. Fix chi-square test in a test-case. Review by @jsuereth. Moved a failing test that seems to use some other library version to pending.
* Orphan checkfile remover.Paul Phillips2012-05-264-7/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Are these -msil checkfiles used in some secret fashion? The level of activity suggest otherwise. Since scala-nightly-msil has been disabled for over a year, it's an easy rm unless someone speaks up. % tools/rm-orphan-checkfiles Scanning for orphan check files... rm 'test/disabled/run/code.check' rm 'test/files/jvm/t1652.check' rm 'test/files/neg/macro-argtype-mismatch.check' rm 'test/files/neg/macro-noncompilertree.check' rm 'test/files/neg/macro-nontree.check' rm 'test/files/run/Course-2002-01-msil.check' rm 'test/files/run/Course-2002-02-msil.check' rm 'test/files/run/Course-2002-03-msil.check' rm 'test/files/run/Course-2002-04-msil.check' rm 'test/files/run/Course-2002-08-msil.check' rm 'test/files/run/Course-2002-09-msil.check' rm 'test/files/run/Course-2002-10-msil.check' rm 'test/files/run/absoverride-msil.check' rm 'test/files/run/bitsets-msil.check' rm 'test/files/run/boolord-msil.check' rm 'test/files/run/bugs-msil.check' rm 'test/files/run/impconvtimes-msil.check' rm 'test/files/run/infix-msil.check' rm 'test/files/run/iq-msil.check' rm 'test/files/run/macro-invalidret-doesnt-conform-to-impl-rettype.check' rm 'test/files/run/macro-rettype-mismatch.check' rm 'test/files/run/misc-msil.check' rm 'test/files/run/promotion-msil.check' rm 'test/files/run/richs-msil.check' rm 'test/files/run/runtime-msil.check' rm 'test/files/run/tuples-msil.check' rm 'test/pending/jvm/t1464.check' rm 'test/pending/run/subarray.check' rm 'test/pending/run/t0446.check' rm 'test/pending/run/t5629.check' Scanning for orphan flags files... rm 'test/files/neg/macro-argtype-mismatch.flags' rm 'test/files/neg/macro-noncompilertree.flags' rm 'test/files/neg/macro-nontree.flags' rm 'test/files/pos/anyval-children.flags' rm 'test/files/pos/t3097.flags' rm 'test/files/run/macro-invalidret-doesnt-conform-to-impl-rettype.flags' rm 'test/files/run/macro-rettype-mismatch.flags'
* Pending and passing tests.Paul Phillips2012-05-236-26/+216
| | | | | | | | Move now-passing SI-963 test into neg. Test for partial specialization. Pending test for SI-5008. Pending test for SI-4649. Abstract array type test.
* TreeMaker approximation refactorings and bug fixesAdriaan Moors2012-05-221-0/+19
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - TypeTestTreeMaker subsumes the old TypeTestTM and TypeAndEqualityTM its type- and equality-testing logic is configurable so that it can: - generate trees (main purpose) - check whether this tree maker is a pure type test - generate the proposition that models this tree maker (for exhaustivity and other analyses) - [CSE] subst binders of dropped tm's to stored ones somehow the refactoring broke the replacement of the binder of dropped treemakers by the binder of the reused treemaker when replacing TM1(x1 => ...) >> TM2(x2 => ...) >> TM3(x3 => ...) >> ... TM1'(x1' => ...) >> TM2'(x2' => ...) >> TM3(x3' => ...) >> ... by Memo1(x1 => ...) >> TM2(x2 => ...) >> Memo2(x3 => ...) >> ... Reuse(Memo2)... you need to replace x1' and x2' by x1 since TM2 tested a shared condition but was not memo-ised, that implies it simply passed x1 through to x3 unmodified, and x2' can simply use the stored x1 - type of first uniqued binder sets type of tree when approximating a tree of treemakers as a DAG, where sharing indicates the same value is tested, use the type of the binder that was first used to create a unique tree as the type of that tree, and thus all trees used for the same binder in the future - track substitution of alternatives when approximating - error on unswitchable @switch annotated matches if we can't turn a match (with more than two cases) into a switch, but the user insists, emit an error misc notes: - when all you need is nextBinder, FunTreeMaker is your guy - must pass flag to TypeTestTM for extractorarg test case TypeTestTreeMaker(prevBinder, testedBinder, expectedTp, nextBinderTp) (prevBinder eq testedBinder) does not imply it's a pure type test for an extractor call note that the expected type for an extractor argument is not a type pattern, thus we only do a classic type test -- the idea was to detect that case by noticing we're being called with the same previous and tested binder, but that case also arises for Typed patterns
* Pending test for SI-3899.Jason Zaugg2012-05-203-0/+39
| | | | | | The super accessor for the Java varargs method impedes Uncurry's efforts to convert repeated arguments to an Array. I'm not sure how to fix that.
*-. Merge commit 'refs/pull/547/head'; commit 'refs/pull/548/head'; commit ↵Paul Phillips2012-05-142-26/+0
|\ \ | | | | | | | | | 'refs/pull/549/head'; commit 'refs/pull/550/head'; commit 'refs/pull/551/head' into develop
| | * Better fix for SI-5676. Review by @paulpHubert Plociniczak2012-05-142-26/+0
| |/
* | Removing redunant/passing tests from pending.Paul Phillips2012-05-104-66/+0
| |
* | Merge commit 'refs/pull/526/head' into developPaul Phillips2012-05-103-97/+0
|\ \
| * | Fixed SI-5708. Correctly compute accessibility for object members.Iulian Dragos2012-05-103-97/+0
| | |
* | | Test cases.Paul Phillips2012-05-105-0/+62
| | | | | | | | | | | | | | | | | | Closes SI-4482, SI-4651, SI-3702. Pending tests for SI-1832, SI-3439, SI-5091, SI-5231, SI-5265.
* | | More useful crash reports.Paul Phillips2012-05-101-5/+5
|/ / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | If you can't get your hands on something which crashes scalac - I know, I know - you can try this ready-made crasher. % cat test/pending/pos/t4717.scala trait Bounds[@specialized A] { // okay without `>: A` def x[B >: A]: Unit = new Bounds[B] { lazy val it = ??? // def or val okay it } } % scalac -d /tmp test/pending/pos/t4717.scala error: while compiling: test/pending/pos/t4717.scala during phase: specialize library version: version 2.10.0-20120510-134429-ce1d68ed19 compiler version: version 2.10.0-20120510-152646-ba4dfd1e63 reconstructed args: -d /tmp last tree to typer: Select(This(trait Bounds$mcZ$sp), x$mcZ$sp) symbol: method x$mcZ$sp in trait Bounds$mcZ$sp (flags: override <method> <specialized>) symbol definition: override def x$mcZ$sp[B >: Boolean](): Unit tpe: [B >: Boolean]()Unit symbol owners: method x$mcZ$sp -> trait Bounds$mcZ$sp -> package <empty> context owners: value it -> anonymous class $anon -> method x$mcZ$sp -> trait Bounds$mcZ$sp -> package <empty> == Enclosing template or block == Block( Assign( $anon.this."it " Apply( // def ???(): Nothing in object Predef, tree.tpe=Nothing scala.this."Predef"."$qmark$qmark$qmark" // def ???(): Nothing in object Predef, tree.tpe=()Nothing Nil ) ) $anon.this."it " // lazy private[this] var it: Nothing, tree.tpe=Nothing ) == Expanded type of tree == PolyType( typeParams = List(TypeParam(B >: Boolean)) resultType = NullaryMethodType( resultType = TypeRef(TypeSymbol(final class Unit extends AnyVal)) ) ) // And then the usual stack trace
* / Fix an inference regression with this.type.Paul Phillips2012-05-091-0/+16
|/ | | | Closes SI-5210.
*-. Merge commit 'refs/pull/510/head'; commit 'refs/pull/511/head'Paul Phillips2012-05-081-0/+19
|\ \
| | * Test case for SI-5378phaller2012-05-081-0/+19
| | |
* | | Add test for t5564 in pending/posphaller2012-05-081-0/+5
| |/ |/|
| |
| \
| \
| \
| \
| \
| \
| \
| \
| \
| \
| \
| \
| \
| \
| \
| \
| \
*-----------------. \ Merge remote-tracking branches 'scalamacros/ticket/5722', ↵Paul Phillips2012-05-0716-0/+158
|\ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 'scalamacros/ticket/5726', 'scalamacros/ticket/5610', 'scalamacros/ticket/5654', 'scalamacros/ticket/5521', 'scalamacros/ticket/5585', 'scalamacros/ticket/5503', 'scalamacros/ticket/4728', 'scalamacros/ticket/5534' and 'scalamacros/ticket/4560'
| | | | | | | | | | * | test for SI-4560Eugene Burmako2012-05-081-0/+9
| | | | | | | | | | | |
| | | | | | | | | * | | test for SI-5534Eugene Burmako2012-05-081-0/+11
| | | | | | | | | |/ /
| | | | | | | | * / / test for SI-4728Eugene Burmako2012-05-082-0/+13
| | | | | | | | |/ /
| | | | | | | * / / test for SI-5503Eugene Burmako2012-05-082-0/+19
| | | | | | | |/ /
| | | | | | * / / test for SI-5585Eugene Burmako2012-05-081-0/+18
| | | | | | |/ /
| | | | | * / / test for SI-5521Eugene Burmako2012-05-081-0/+3
| | | | | |/ /
| | | | * / / test for SI-5654Eugene Burmako2012-05-081-0/+4
| | | | |/ /
| | | * / / test for SI-5610Eugene Burmako2012-05-084-0/+42
| | | |/ /
| | * / / tests for SI-5726Eugene Burmako2012-05-072-0/+33
| | |/ /
| * / / test for SI-5722Eugene Burmako2012-05-071-0/+6
| |/ /
| | |
| \ \
| \ \
| \ \
| \ \
| \ \
*-----. | | Merge commit 'refs/pull/486/head'; commit 'refs/pull/487/head'; commit ↵Paul Phillips2012-05-072-0/+45
|\ \ \ \| | | | | | | | | | | | | | | | | | | | 'refs/pull/488/head'; commit 'refs/pull/489/head'; commit 'refs/pull/490/head' into develop
| | * | | | Add test for t5579 in pending/posphaller2012-05-071-0/+29
| | | | | |
| * | | | | Test case for SI-2066Heather Miller2012-05-071-0/+16
| |/ / / /
* / / / / Add test files for t5639 in pending/posphaller2012-05-072-0/+14
|/ / / /
| | | |
| \ \ \
| \ \ \
| \ \ \
| \ \ \
| \ \ \
| \ \ \
| \ \ \
*-------. \ \ \ Merge commit 'refs/pull/479/head'; commit 'refs/pull/480/head'; commit ↵Paul Phillips2012-05-068-0/+151
|\ \ \ \ \ \ \ \ | | | | |_|/ / / | | | |/| | / / | |_|_|_|_|/ / |/| | | | | | 'refs/pull/481/head'; commit 'refs/pull/482/head'; commit 'refs/pull/483/head'; commit 'refs/pull/484/head'; commit 'refs/pull/485/head' into develop
| | | | | * | Add test for t5695 in pending/runphaller2012-05-073-0/+22
| |_|_|_|/ / |/| | | | |
| | | | * | Add test for t5708 in pending/presentationphaller2012-05-063-0/+97
| |_|_|/ / |/| | | |
| | | * | Test case for SI-1557Heather Miller2012-05-061-0/+18
| |_|/ / |/| | |
| * | | Add test file in pending/posphaller2012-05-061-0/+14
|/ / /
* | | Removed some tests for a "not a bug".Paul Phillips2012-05-042-46/+0
| | |
| | |
| \ \
*-. \ \ Merge commit 'refs/pull/471/head'; commit 'refs/pull/473/head'; commit ↵Paul Phillips2012-05-042-69/+0
|\ \ \ \ | |_|/ / |/| | | | | | | 'refs/pull/474/head'; commit 'refs/pull/475/head'; commit 'refs/pull/476/head' into develop
| | * | Fixes SI-5514.Aleksandar Prokopec2012-05-041-35/+0
| |/ / |/| | | | | | | | | | | | | | The acceptIf and acceptMatch parsers now check for end of input. Review by moors.
| * | Fix for si-5018.Aleksandar Prokopec2012-05-041-34/+0
|/ / | | | | | | Methods keySet, values and withDefault now return serializable collections.
* | Moved passing tests from pending to files.Paul Phillips2012-05-0316-365/+0
| | | | | | | | | | | | | | | | Most are pattern matcher bugs fixed by virtpatmat. A few are reifier, package object, or miscellaneous. I threw in an original test for SI-2337, to go with those for SI-1697, SI-3705, SI-4415, and SI-1357, all of which (in the interests of making sure this basket has all the eggs) I am closing.
* | Test cases for SI-5472, SI-5399, SI-5685.Paul Phillips2012-05-034-11/+69
| |
* | Pending test for si-4683.Aleksandar Prokopec2012-05-021-0/+11
| |
* | Pending test for si-5240.Aleksandar Prokopec2012-05-021-0/+11
| |
* | Pending test for si-5514Aleksandar Prokopec2012-05-021-0/+35
| |
* | Test case for si-5559.Aleksandar Prokopec2012-05-021-0/+23
| |
* | Test case for si-5606.Aleksandar Prokopec2012-05-021-0/+9
| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-12 16:48:22 +0000