aboutsummaryrefslogtreecommitdiff
path: root/tests/pending
Commit message (Collapse)AuthorAgeFilesLines
* Add testsOlivier Blanvillain2017-04-063-42/+0
| | | | | | - t7296 & case-class-23 are moved out of pending - 1938 tests productElement > 23
* Fix #2137: Create dummy companions for top-level objects without a real oneGuillaume Martres2017-03-234-0/+17
| | | | | | | | | | | | | | | | | Previously, we sometimes ended up forcing a companion class symbol from a previous run or from the classpath which lead to weird issues like in `false-companion`. Even if we end up not forcing such a symbol, its presence can still lead to issue: before this commit incremental compilation of `dotty-compiler-bootstrapped` was broken because we recorded a false dependency on the non-bootstrapped `dotty-compiler` jar. The added test is currently marked pending because it does not work with JUnit (which doesn't handle separate compilation), only partest. I didn't managed to get it to work right, and this won't be necessary once our testing framework is overhauled by https://github.com/lampepfl/dotty/pull/2125 anyway, so I'll just have to remember to enable this test afterwards.
* Adress reviewers commentsMartin Odersky2017-03-031-1/+7
|
* Move depmeth tests back to pendingMartin Odersky2017-03-012-0/+149
| | | | | | | | I believe this worked only accidentally because we matched more things with wildcards which turned out to be flawed. The test errors show some funky _#_ types, so not sure whether the tests are still valid or not. Moved back to pending awaiting further resolution.
* Re-instantiate depmeth testsMartin Odersky2017-02-284-228/+0
| | | | | These now compile with the changes to dependent methods, except for one which is invalid under dotty.
* More tests and other odds and endMartin Odersky2016-12-143-0/+28
| | | | | | - Add tests that work to pos/neg, tests that don't work yet to pending/pos/neg. - Also, change .gitignore to allow for a local directory. - Also add a draft page to the docs.
* Use => instead of -> for PolyTypesMartin Odersky2016-10-121-0/+9
| | | | | | If PolyTypes are to become value types we want to keep `=>` as the arrow for consistency. `->` should be reserved for PolyTypes that do not have side effects on instantiation.
* Merge pull request #1465 from dotty-staging/fix-#1457odersky2016-09-165-44/+0
|\ | | | | Fix #1457: Three incompatbilities with scalac
| * Fix #1457: Three incompatbilities with scalacMartin Odersky2016-08-235-44/+0
| | | | | | | | | | | | | | | | Two of these are unavoidable. I moved the tests to diabled/not-representable and added in each case a comment to the main scala file detailing why there is a deviation. The last one (import-rewrite) is fixed.
* | Merge pull request #1469 from dotty-staging/fix-scala.Dynamicodersky2016-09-1620-297/+0
|\ \ | | | | | | Fixes for scala.Dynamic
| * | Enable scala.Dynamic pending/untried tests.Nicolas Stucki2016-09-0512-174/+0
| | |
| * | Fix #1474: Fix applies to applyDynamic.Nicolas Stucki2016-09-055-110/+0
| | |
| * | Fix #1470: Fix dynamic selection in presence of inaccessible members.Nicolas Stucki2016-09-053-13/+0
| | |
* | | Add missing check file.Martin Odersky2016-09-141-2/+0
| | |
* | | Add some run testsMartin Odersky2016-09-1411-207/+26
|/ /
* | Handle case where expected type of a SeqLiteral has an undetermined element ↵Martin Odersky2016-08-261-8/+0
| | | | | | | | | | | | type. Test case is isApplicableSafe -Ycheck:first.
* | Dependent method testsMartin Odersky2016-08-262-46/+7
| |
* | More tests recategorizedMartin Odersky2016-08-265-56/+0
| |
* | Make inherited inferred result type work for dependent methodsMartin Odersky2016-08-261-12/+0
| | | | | | | | We did not properly rename parameter references before.
* | Relax matching requirement in unApplyMartin Odersky2016-08-261-6/+0
| | | | | | | | | | | | We now always widen selector type to the superclass if necessary, no matter whether the selector type refers to a trait or a proper class.
* | Move tests to right directoryMartin Odersky2016-08-262-0/+12
| |
* | Test recategorizationMartin Odersky2016-08-262-45/+0
| |
* | Generalize self-referential member comparisons.Martin Odersky2016-08-261-2/+0
| | | | | | | | | | | | | | The special case in hasMatchingMember dealing with self-refential members has to be generalized to deal lower and upper bounds. Test case is t762.scala
* | Type annotations in context enclosing the annotated definitionMartin Odersky2016-08-261-3/+0
| | | | | | | | Fixes SI-7426, which caused a double definition before.
* | Implement alternative desugaring of for-if to filter.Martin Odersky2016-08-262-90/+0
| | | | | | | | | | | | | | Fallback to .filter if a .withFilter is not available, but do this only for .withFilter calls generated from for expressions (this is different from what scalac does; the latter can also rewrite .withFilter calls given in source, which is not desirable.
* | Recategorize testsMartin Odersky2016-08-2678-953/+5
| | | | | | | | | | | | | | | | | | Passing tests from pending/pos go in pos. Some others go in diabled/not-testable. These are tests that require a compilation order which we cannot yet do with our unit testing framework. Compiling them alltogether (as is now doen in junit) does not work either for them because they contain a duplicate class.
* | GADT testMartin Odersky2016-08-261-25/+0
| | | | | | | | | | This one failed in getters before because a (previously unchecked) assignment was turned into a checked application. Now it passes.
* | Merge pull request #1460 from dotty-staging/fix-t1756odersky2016-08-261-59/+0
|\ \ | |/ |/| Make sure arguments are evaluated in the correct typer state.
| * 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.
* | Three incompatibilities with scalac.Ólafur Páll Geirsson2016-08-238-0/+64
|/ | | | | | Using Scala 2.11.8 and dotty at bcfa3be8cfe2be. cc/ #1457
* 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
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-13 22:57:17 +0000