aboutsummaryrefslogtreecommitdiff
path: root/tests/pos
Commit message (Collapse)AuthorAgeFilesLines
* 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.
* | Generalize self-referential member comparisons.Martin Odersky2016-08-261-0/+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/+3
| | | | | | | | Fixes SI-7426, which caused a double definition before.
* | Drop out of date commentMartin Odersky2016-08-261-1/+1
| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-15 04:23:51 +0000