aboutsummaryrefslogtreecommitdiff
path: root/tests/pending
Commit message (Collapse)AuthorAgeFilesLines
* Make sure arguments are evaluated in the correct typer state.Martin Odersky2016-08-211-59/+0
| | | | | | | | | | | | | | | | | | | | There's a tricky interaction with caching of typed arguments in FunProto types and backtracking using different typer states. We might end up with a typed argument that is evaluated in one typer state and that is used in another. The problem is that the argument typing might have inserted type variables (maybe by adding polymorphic implicit views) that are not registered in the typer state in which the application is finally typed. In that case we will see an "orphan poly parameter" in pickling. The fix is to discard argument types is their typerstate is not committed to the one in which the application is finally typed. To apply the fix we need to track - for typer states: whether or not it was committed, and what its parent is. - for function prototypes: the typer state in which an argument with cached type was evaluated. Test case is t1756.scala, which produced an "orphan poly parameter CI" before.
* Merge pull request #1459 from dotty-staging/tests3odersky2016-08-214-90/+5
|\ | | | | Refinements to auto-tupling
| * Test reshufflingMartin Odersky2016-08-183-35/+5
| | | | | | | | | | | | - Delete redundant t2660 (exists elready in pos) - Comment t1756 - Recategorize tryexpr
| * Refinements to auto tuplingMartin Odersky2016-08-181-55/+0
| | | | | | | | | | | | | | | | | | | | There's a nasty interaction with auto-tupling and trying to insert an implicit on the qualifier of a call. If the original call fails, we need to "undo" any auto-tupling decisions in calls where an implicit is inserted on the qualifier. Also: Needed to fix canAutoTuple test so that Scala2 feature is checked instead of dotty's. Also: Drop features in dotty.language that duplicate those in scala.language.
* | Fix to avoidance of singleton type argumentsMartin Odersky2016-08-182-8/+0
| | | | | | | | Bring in line with comparisons. Fixes z1720 for good.
* | Fixes in comparisons between singleton typesMartin Odersky2016-08-181-16/+0
|/ | | | | Needed to address problem shown by z1720.scala. Another fix to avoidance is needed to make it pass completely.
* Add passing testsMartin Odersky2016-08-1710-564/+0
|
* Fix eta expansion for deeply curried methodsMartin Odersky2016-08-172-133/+0
| | | | | | Eta expansion yielded incorrect result if the eta expanded method has more than one parameter sections and the expected result type is a unary function type. In that case a postfix `_' needs to be appended.
* Harden copmpareHkApply for ill-typed programsMartin Odersky2016-08-172-39/+0
| | | | Turn assertion into test. Without this, neg/tcpoly_overloaded.scala fails.
* Add clause for HKApply in TypeAssigner#avoidMartin Odersky2016-08-171-27/+0
|
* Fix #1443: Replace toplevel TypeBounds with AnyClemens Winter2016-08-151-21/+0
|
* Add tests for unbound wildcard typesClemens Winter2016-08-011-0/+21
|
* Move java tests relying on type parameters to pendingGuillaume Martres2016-07-274-0/+44
| | | | | | | Currently, the classfiles emitted by dotty do not contain the type parameters information that javac relies on. Fixing this is tracked by #1303.
* Enable test for fixed #1181: Typer should preserve aliases in TypeTreesGuillaume Martres2016-07-121-12/+0
| | | | This was fixed two commits ago.
* Introduce recursive typesMartin Odersky2016-07-111-0/+14
| | | | | | | | | | | | | | | | | Map self-references in refinements to recursive types. This commit does this for refinement types appearing in source. We still have to do it for unpickled refinements. Test apply-equiv got moved to pending because it simulates the old higher-kinded type encoding in source, which relies on the old representation in terms of self-referential refinement types. The plan is not to adapt this encoding to the new representation, but to replace it with a different encoding that makes critical use of the added power of recursive types. Use recursive types also when unpickling from Scala 2.x. Add mapInfo method to Denotations.
* Hooks to check that comparisons with == / != make senseMartin Odersky2016-05-231-0/+126
| | | | | | | | | | Also, check that pattern matching against idents/selects/literals makes sense. The hooks perform an implicit search for an instance of `Eq[L, R]`, where `L`, `R` are the argument types. So far this always succeeeds because Eq.eqAny matches all such types. A separate commit will check the returned search term for validity.
* Merge pull request #1211 from dotty-staging/fix-#1202odersky2016-04-162-45/+1
|\ | | | | Fix Tasty errors
| * Rearrange pickle testsMartin Odersky2016-04-092-45/+1
| | | | | | | | | | | | | | 1) Move passing test to pickling 2) Add test case for #1212 in pending 3) Disable annotations/internal in pickling tests. They lead to a stable symbol error which is explainable (modifiers are read before symbol is created).
* | Add test for #1181 to pendingMartin Odersky2016-03-301-0/+12
|/
* More neg testsMartin Odersky2016-03-121-0/+11
| | | | Some random neg tests from previous experiments.
* Test case for #1149Martin Odersky2016-03-121-0/+18
|
* Fix problem of overloading resolution when receiver is not stable.Martin Odersky2016-02-191-15/+0
|
* Add test to illustrate overloading problem.Martin Odersky2016-02-191-0/+15
|
* Fix pending test for picklingMartin Odersky2016-02-191-2/+2
| | | | | There is a before/after difference having to do with the order in which class declarations show up.
* Move failing test to pendingMartin Odersky2016-02-191-0/+20
| | | | | | Named parameters cause some elements to be unpickled in a different order as they are pickled. In particular term parameter aliases and type parameter aliases seem to be swapped.
* Merge pull request #1075 from dotty-staging/fix-t920-testDmitry Petrashko2016-02-161-0/+25
|\ | | | | Drop empty companion objects
| * Move test to pendingMartin Odersky2016-02-111-0/+25
| | | | | | | | | | | | | | | | | | | | The underlying problem on MacOS/Windows remains: We have a class `B` and an object `b` in the same scope. We used to get a conflict on `B$/b$` because we created an empty companion object for `B`. Now we get a conflict for `B/b`, because the `b` object creates to classes: `b.class` an `b$.class` and `b.class` clashes with `B.class`.
* | Add test case for #645Martin Odersky2016-02-121-15/+0
|/
* Enable tests for old fixed issuesGuillaume Martres2016-02-096-584/+0
| | | | Fix #530, #654, #681, #684, #685
* Fix caching bug: don't assume that tvars instantiation cannot be retractedGuillaume Martres2016-01-171-5/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | When TypeVar#inst is empty but an instantiation exists in the typer state, we should set ephemeral to true, because this instantiation will be retracted if we throw away the current typer state. This makes hkrange.scala pass, it compiled before but the type parameter of `f` was inferred to be `Nothing` because of this bug, and this failed Ycheck. For anyone who wonders how caching bugs manifest themselves, here's what happened in details in hkrange.scala: 1. In an ExploreTyperState we set `CC` to be `IndexedSeq` in the constraint set 2. In that same typer state the TypeRef `CC[Int]` (it's a TypeRef because `CC` is a type lambda) gets the denotation `IndexedSeq[Int]`, which is correct, but the denotation is cached since `ephemeral` is false, which is wrong. 3. Later, we retract the ExplorerTyperState, so `CC` is uninstantiated again and unconstrained. 4. Then we do the subtyping check `CC[Int] <:< IndexedSeq[Int]`, because the denotation of `CC[Int]` was cached, this returns true, but `CC` stays unconstrained. 5. This means that when we instantiate `CC`, we get `Nothing` After this fix, the TypeRef denotation is no longer cached, so when we do `CC[Int] <:< IndexedSeq[Int]`, `CC` gets constrained as expected.
* Stop crashes because we're out of memory by disabling t7880Guillaume Martres2016-01-171-0/+8
| | | | | | | | | | | | | | | | All of our recent memory-related tests failures since https://github.com/lampepfl/dotty/pull/1030 was merged seem to be caused by t7880.scala. It tries to intentionally trigger an OutOfMemoryError, however since we don't pass -Xmx to our run tests it's possible that this we fill up the memory of our host before we reach the maximum heap size of the JVM. Ideally, we would specify a -Xmx for run tests (scalac uses 1 GB), unfortunately in the version of partest we use this is tricky because we need to set the system property "partest.java_opts". If we upgrade our partest to the latest release, we can instead specify it by setting the argument `javaOpts` of the constructor of `SuiteRunner`, see https://github.com/scala/scala-partest/commit/7c4659e1f88b410109ad3c4e7f66ae7070c6e985
* The big pending/pos test triageMartin Odersky2015-12-20189-3607/+8
|
* Categorize more testsMartin Odersky2015-12-191-0/+10
| | | | All pos tests up to 3999 have been triaged. One new test in pending.
* Remove empty test fileMartin Odersky2015-10-221-0/+0
|
* More testsMartin Odersky2015-10-214-0/+54
|
* Move failing test to pendingMartin Odersky2015-10-011-0/+45
| | | | | | | | | | There is a diff, but a minor one. Instead of (T? >: Int <: Int) we get (T? = Int) after pickling.
* Move failing test to pending.Martin Odersky2015-09-181-0/+52
| | | | | | The original IterableSelfRec is not syntactically legal after the hk changes. I attempted to fix, but there's still a type error. Need to investigate whether this is a true error or a bug.
* Enable more tests that passDmitry Petrashko2015-09-1475-1581/+0
|
* Revert "Workaround #742 and add a test for it."Martin Odersky2015-08-051-7/+0
| | | | This reverts commit a43d39ad719978fbb36663f336c1c7cd2c4da1e0.
* Merge pull request #735 from dotty-staging/ycheck-methodsodersky2015-08-0497-4440/+13
|\ | | | | Ycheck that methods defined in ClassInfo exist in tree.
| * Add a test for #743 to pending.Dmitry Petrashko2015-07-281-0/+6
| |
| * Workaround #742 and add a test for it.Dmitry Petrashko2015-07-281-0/+7
| | | | | | | | | | Making a correct fix could take some time, and I want to find other issues before I start working on this one.
| * Enable 61 tests that succeed.Dmitry Petrashko2015-07-1395-4440/+0
| |
* | Implement emotion of annotations in GenBCode.Dmitry Petrashko2015-07-141-12/+0
|/ | | | Fixes #688
* Merge pull request #694 from dotty-staging/fix/dependent-methodsodersky2015-07-061-28/+0
|\ | | | | Fix/dependent methods
| * Add test from pending.Martin Odersky2015-06-251-32/+0
| |
| * Handle normalization of implicit dependent methods.Martin Odersky2015-06-231-1/+5
| | | | | | | | Now handles included test if toplevel implicit is given, but not yet without.
* | Drop Module flag from lifted symbols.Martin Odersky2015-06-261-19/+0
| | | | | | | | | | | | | | Reason: A lifted module is no longer a module (i.e. singleton object) in the scope to which it is lifted. Fixes #689.
* | Fix erasure of Thistypes.Martin Odersky2015-06-262-59/+0
| | | | | | | | | | | | | | | | | | | | Thistypes erased to the underlying class. This is wrong. When seen as part of some other type, a ThisType has to erase to the erasure of the underlying type (i.e. the erasure if the selftype of the class). unittest-collections.scala failed with a MethodNotFound error because the erasure was computed incorrectly. On the other hand, a tree with a ThisType type, should keep the type, analogous to a tree with a TermRef type.
* | Merge pull request #678 from dotty-staging/fix/#670-orphan-polyparamodersky2015-06-251-26/+0
|\ \ | |/ |/| Avoid junk produced by Constraint#replace.
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-22 21:32:35 +0000