aboutsummaryrefslogtreecommitdiff
path: root/tests/pos
Commit message (Collapse)AuthorAgeFilesLines
* checkNoPrivateLeaks: handle defs in local classesGuillaume Martres2016-11-221-0/+10
| | | | | | The access boundary of a def in a local class is the owner of that class, previously it was set to the access boundary of the owner of the class instead.
* checkNoPrivateLeaks: handle references to companion membersGuillaume Martres2016-11-221-0/+17
| | | | | | | | | | | Previously Outer2#Inner#foo failed to compile with: ``` non-private method foo refers to private value x in its type signature ``` This should compile because the boundary of `foo` is `class Outer2` and the boundary of `x` is `object Outer2`. This commit fixes this by also considering the linked boundary in `checkNoPrivateLeaks`.
* Fix partest compilation of java-interop tests by moving themGuillaume Martres2016-11-2275-356/+0
| | | | | | | | | | Previously, the tests where all in tests/pos/java-interop which means that partest would try to run them as one single test, this failed because some of these tests define classes with the same name. We could fix this by putting them all in separate packages but for now it's simple to move them to tests/pos-java-interop (they will still be run individually as they should thanks to the `java_all` test defined in tests.scala)
* Fix #1664: Refine isOuterRef conditionMartin Odersky2016-11-101-0/+12
| | | | | | | | We forgot the case where a hoistable method can still refer to free variables that have to be passed using outer pointers. Fixes #1664.
* Merge pull request #1657 from dotty-staging/fix-#1638odersky2016-11-051-0/+3
|\ | | | | Fix #1638: Don't import when typing a package clause
| * Fix #1638: Don't import when typing a package clauseMartin Odersky2016-11-031-0/+3
| | | | | | | | | | | | | | When typing the first identifier of a package clause, disable imports, as package clauses are never imported. Fixes #1638.
* | Fix #1637: Future defs are always OKMartin Odersky2016-10-311-0/+8
|/ | | | | | | Drop special mode that handles future defs without which we get DenotationNotDefinedHere errors. In more than a year, this has only turned up false negatives. So I think it's better to drop the check, and the contortions needed to deal with it.
* Merge pull request #1600 from dotty-staging/fix-#1500Guillaume Martres2016-10-251-0/+19
|\ | | | | Fix-#1500 Include constraining type variables when interpolating
| * Fix-#1500 Include constraining type variables when interpolatingMartin Odersky2016-10-151-0/+19
| | | | | | | | Fixes #1500. Review by @smarter.
* | Merge pull request #1599 from dotty-staging/fix-#1570Guillaume Martres2016-10-251-0/+4
|\ \ | | | | | | Fix #1570: Allow inline parameters as inline args
| * | Fix #1570: Allow inline parameters as inline argsMartin Odersky2016-10-141-0/+4
| |/ | | | | | | | | | | | | Inline parameters can always be passed to other inline parameters. Fixes #1570.
* | Test that #1614 remains fixed.Dmitry Petrashko2016-10-231-0/+9
| |
* | Merge pull request #1594 from dotty-staging/fix-#1576Olivier Blanvillain2016-10-202-0/+8
|\ \ | | | | | | Fix #1576: Parameters of Java annotations should be public
| * | Fix #1576: Parameters of Java annotations should be publicMartin Odersky2016-10-132-0/+8
| |/ | | | | | | | | Parameters of annotation classes parsed by the Java parser should have public val parameters. Otherwise they cannot be accessed as fields.
* | Merge pull request #1595 from dotty-staging/fix-#1567odersky2016-10-202-0/+9
|\ \ | | | | | | Fix #1567: Widen private constructor in value class
| * | Fix #1567: Widen private constructor in value classMartin Odersky2016-10-142-0/+9
| |/ | | | | | | | | | | | | | | Private or protected constructors of value classes need to be widenened to public in order to enable boxing anywhere. Technically we should also do something about qualified private constructors, but since we want to get rid of them anyway it's urgent.
* | Merge pull request #1592 from dotty-staging/fix-#1590odersky2016-10-161-0/+10
|\ \ | | | | | | Fix #1590: Eliminate wildcards when approximating a type
| * | Refinement of interpolation directionMartin Odersky2016-10-131-0/+9
| | |
| * | Fix #1590: Eliminate wildcards when approximating a typeMartin Odersky2016-10-131-0/+1
| |/ | | | | | | | | Fixes #1590. Type variables should never be instantiated to types containing wildcards.
* | Merge pull request #1588 from dotty-staging/fix-#1502odersky2016-10-161-0/+4
|\ \ | | | | | | Fix #1544: Allow long signatures in names
| * | Fix #1544: Allow long signatures in namesMartin Odersky2016-10-131-0/+4
| | | | | | | | | | | | | | | Fixes #1544 by making the length field use 1 or 2 bytes, depending on the number of parameters in a signature.
* | | Merge pull request #1597 from dotty-staging/fix-i1540odersky2016-10-142-0/+28
|\ \ \ | | | | | | | | Fix #1540: overloaded get and isDefined in option-less patmat
| * | | add another test for i1540liu fengyun2016-10-141-0/+14
| | | |
| * | | fix #1540: overloaded get and isDefined in option-less patmatliu fengyun2016-10-141-0/+14
| | |/ | |/|
* / | Fix #1515: Don't narrow gadt bounds when frozenMartin Odersky2016-10-141-0/+16
|/ / | | | | | | Fixes #1515. Review by @smarter.
* | Update tests to use new PolyType syntax.Martin Odersky2016-10-125-8/+8
| |
* | Harmonize PolyType and TypeLambdaMartin Odersky2016-10-121-0/+13
| | | | | | | | | | | | Let them inherit the same traits and push as much functionality as possibly into the common superclass GenericType.
* | Add test caseMartin Odersky2016-10-111-0/+6
| |
* | Drop dotty.language from DefinitionsMartin Odersky2016-10-111-1/+0
| |
* | Adapt testsMartin Odersky2016-10-113-32/+28
|/
* Merge pull request #1492 from dotty-staging/add-inlineGuillaume Martres2016-10-061-5/+5
|\ | | | | Implement inline
| * Add InlineBytecodeTests to check that inline really worksGuillaume Martres2016-10-051-7/+0
| |
| * Add test caseMartin Odersky2016-10-051-0/+7
| |
| * Make inline a keywordMartin Odersky2016-10-021-5/+5
| | | | | | | | | | | | | | `inline` is now a modifier keyword. To keep disruption tolerable, we still allow `@inline` as an annotation as well. Other uses of `inline` are supported only under `-language:Scala2` and are rewritten to identifiers in backticks.
* | Merge pull request #1494 from martijnhoekstra/wintestsFelix Mulder2016-10-0628-0/+0
|\ \ | |/ |/| [WIP] fix encoding issues
| * honor -encoding compiler flag and defaultsMartijn Hoekstra2016-09-0728-0/+0
| | | | | | | | | | | | | | | | | | rename test/pos/valueclasses to pos_valueclasses tests/pos/valueclasses generates a valueclasses.flags file in /tests/partest-generated/pos that conflicts with the valueClasses.flags file that tests/neg/valueClasses.scala tries to create
* | Merge pull request #1465 from dotty-staging/fix-#1457odersky2016-09-162-0/+17
|\ \ | | | | | | Fix #1457: Three incompatbilities with scalac
| * | Fix #1457: Three incompatbilities with scalacMartin Odersky2016-08-232-0/+17
| | | | | | | | | | | | | | | | | | | | | | | | 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 #1514 from OlivierBlanvillain/fix-1513odersky2016-09-162-0/+61
|\ \ \ | | | | | | | | Fix #1513: misaligned by name type parameter type bounds
| * | | Fix corner case w types ALL passed by name & out of orderOlivier Blanvillain2016-09-161-1/+10
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This commit removes a problematic duplicated `checkBounds` call on `TypeApply`. To verify correctness of this change on has to check that `normalizeTree` used only once [1], and the function using `normalizeTree` already takes care of calling `checkBounds`. [1]: https://github.com/lampepfl/dotty/blob/0e8f05d88bfef95fac59f522fd9d06792126bd11/src/dotty/tools/dotc/transform/PostTyper.scala#L205
| * | | Fix #1513: misaligned by name type parameter type boundsOlivier Blanvillain2016-09-152-0/+52
| | | |
* | | | Allow try expression without catch or finally, issue warningFelix Mulder2016-09-151-0/+7
| | | |
* | | | Move t1335 test from /pos to /runOlivier Blanvillain2016-09-151-11/+0
|/ / /
* | | Merge pull request #1499 from OlivierBlanvillain/fix-1335Felix Mulder2016-09-141-0/+11
|\ \ \ | | | | | | | | Fix #1335: Generate null checks for extractors
| * | | Fix #1335: Generate null checks for extractorsOlivier Blanvillain2016-09-081-0/+11
| | |/ | |/|
* / | Partially fix #1500: Implicit search breaks at a certain depthOlivier Blanvillain2016-09-131-0/+28
|/ / | | | | | | | | | | 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.
* | Handle case where expected type of a SeqLiteral has an undetermined element ↵Martin Odersky2016-08-261-0/+54
| | | | | | | | | | | | type. Test case is isApplicableSafe -Ycheck:first.
* | Dependent method testsMartin Odersky2016-08-262-0/+22
| |
* | Make inherited inferred result type work for dependent methodsMartin Odersky2016-08-261-0/+12
| | | | | | | | We did not properly rename parameter references before.
* | Relax matching requirement in unApplyMartin Odersky2016-08-261-0/+6
| | | | | | | | | | | | 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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 15:42:50 +0000