aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
...
* | | Partially fix #1500: Implicit search breaks at a certain depthOlivier Blanvillain2016-09-133-0/+68
|/ / | | | | | | | | | | The issue fixed here was introduced by 71027f15. The added `csyms.isEmpty` condition on `case nil =>` is always true, which is clearely a bug. t1500c still fails with covariant (or contravariant) type parameters on `::`, but this seams to be a more complicated issue involving the typer.
* | Merge pull request #1482 from dotty-staging/fix-asapplicable-safeodersky2016-09-042-8/+54
|\ \ | | | | | | More tweaks to type inference
| * | Handle case where expected type of a SeqLiteral has an undetermined element ↵Martin Odersky2016-08-262-8/+54
| | | | | | | | | | | | | | | | | | type. Test case is isApplicableSafe -Ycheck:first.
* | | Fix #1490: type test of union types via type aliasliu fengyun2016-09-012-0/+16
|/ /
* | Dependent method testsMartin Odersky2016-08-264-2/+29
| |
* | More tests recategorizedMartin Odersky2016-08-265-3/+2
| |
* | Make inherited inferred result type work for dependent methodsMartin Odersky2016-08-261-1/+1
| | | | | | | | We did not properly rename parameter references before.
* | Relax matching requirement in unApplyMartin Odersky2016-08-261-0/+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-267-0/+13
| |
* | Test recategorizationMartin Odersky2016-08-262-4/+6
| |
* | Generalize self-referential member comparisons.Martin Odersky2016-08-262-2/+4
| | | | | | | | | | | | | | 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-0/+0
| | | | | | | | Fixes SI-7426, which caused a double definition before.
* | Drop out of date commentMartin Odersky2016-08-261-1/+1
| |
* | Add more missing testsMartin Odersky2016-08-268-0/+72
| |
* | Implement alternative desugaring of for-if to filter.Martin Odersky2016-08-263-0/+15
| | | | | | | | | | | | | | 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-135/+6
| | | | | | | | | | | | | | | | | | 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-2/+2
| | | | | | | | | | 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-262-59/+33
|\ \ | | | | | | Make sure arguments are evaluated in the correct typer state.
| * | Make sure arguments are evaluated in the correct typer state.Martin Odersky2016-08-212-59/+33
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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.
* | | add test set for exhaustivity and redundancy checkliu fengyun2016-08-24136-0/+3184
| |/ |/|
* | 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 #1456 from dotty-staging/fix-#1444odersky2016-08-215-5/+49
|\ \ | |/ |/| Fix #1444: Pass implicits to parameterless traits if needed
| * Fix testMartin Odersky2016-08-201-1/+1
| |
| * Fix #1444: Add implicit arguments to supertraitsMartin Odersky2016-08-205-5/+49
| | | | | | | | | | | | | | | | If a super trait is given as a type (i.e. no argument list), implicit args were not passed. This is fixed now. Also, we now check for parameterized traits lacking type arguments in Typer instead of in Mixin. Fixes #1444.
* | Merge pull request #1459 from dotty-staging/tests3odersky2016-08-215-30/+31
|\ \ | | | | | | Refinements to auto-tupling
| * | Address reviewers comments.Martin Odersky2016-08-211-4/+2
| | |
| * | Add import back.Martin Odersky2016-08-181-0/+2
| | | | | | | | | | | | Needed because the test is also run in neg wihtout command line option.
| * | Test reshufflingMartin Odersky2016-08-183-25/+5
| | | | | | | | | | | | | | | | | | - Delete redundant t2660 (exists elready in pos) - Comment t1756 - Recategorize tryexpr
| * | Refinements to auto tuplingMartin Odersky2016-08-182-4/+25
| |/ | | | | | | | | | | | | | | | | | | 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.
* | Add passing testMartin Odersky2016-08-182-0/+8
| | | | | | | | Needs to be done in pos-special because junit tests do not recognize _1, _2.
* | 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-0/+0
|/ | | | | Needed to address problem shown by z1720.scala. Another fix to avoidance is needed to make it pass completely.
* Merge pull request #1452 from dotty-staging/fix-#1432Guillaume Martres2016-08-173-0/+16
|\ | | | | Fix desugaring of Bind(WILDCARD, _).
| * Fix #1432: Fix desugaring of Bind(WILDCARD, _).Nicolas Stucki2016-08-153-0/+16
| |
* | Add passing testsMartin Odersky2016-08-1710-2/+2
| |
* | Fix eta expansion for deeply curried methodsMartin Odersky2016-08-172-22/+1
| | | | | | | | | | | | 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-173-3/+28
| | | | | | | | Turn assertion into test. Without this, neg/tcpoly_overloaded.scala fails.
* | Add clause for HKApply in TypeAssigner#avoidMartin Odersky2016-08-171-0/+0
| |
* | Fix readLine in TestREPL to align with Ammonite readerMartin Odersky2016-08-161-0/+74
| | | | | | | | | | | | Needs to read several input lines at once. Enables repl test of new error messages.
* | New string infterpolatorsMartin Odersky2016-08-161-0/+26
| | | | | | | | | | | | Roll `sm` and `i` into one interpolator (also called `i`) Evolve `d` to `em` interpolator (for error messages) New interpolator `ex` with more explanations, replaces disambiguation.
* | Error message for illegal self type (#1424)Martin Odersky2016-08-161-0/+3
| | | | | | | | Remove debug info from error message.
* | Suspend interpolating typevars when there are unreported errors.Martin Odersky2016-08-161-0/+8
| | | | | | | | | | | | | | | | Interpolating typevars that appear co- or contra-variantly in a type is a cleanup measure - it helps keep the constraint set small. However, if there are uneported errors, some of these errors might report on unsatisfiable constraints for these type variables. In that case, instantiating the type variables risks being confusing.
* | Merge pull request #1445 from dotty-staging/fix-#1442Dmitry Petrashko2016-08-152-1/+25
|\ \ | | | | | | Fix #1442: add new phase, SelectStatic
| * | t4859: update the check file.Dmitry Petrashko2016-08-091-1/+1
| | | | | | | | | | | | | | | | | | | | | The new behaviour is more reasonable. Now the module if forced consistently in both examples. Note that this is deviation from behaviour of scalac.
| * | Test that #1442 is fixed.Dmitry Petrashko2016-08-091-0/+24
| | |
* | | Merge pull request #1450 from cswinter/elim-toplevel-typeboundGuillaume Martres2016-08-151-1/+0
|\ \ \ | |_|/ |/| | Fix #1443: Replace toplevel TypeBounds with Any
| * | Fix #1443: Replace toplevel TypeBounds with AnyClemens Winter2016-08-151-1/+0
| |/
* | Merge pull request #1414 from dotty-staging/add-array-strawmanodersky2016-08-146-1/+1527
|\ \ | | | | | | Add arrays to collection strawman
| * | Add missing importMartin Odersky2016-07-311-0/+1
| | |
| * | Fix problem with IndexedView.iterator.lengthMartin Odersky2016-07-311-4/+3
| | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 19:49:26 +0000