aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Fix handling of superCalls.Dmitry Petrashko2016-09-192-3/+10
| | | | | 1. There may be calls to super on non-this. 2. there may be calls to in-dirrect super-traits.
* Merge pull request #1522 from dotty-staging/fix-#1503odersky2016-09-189-11/+90
|\ | | | | Fix #1503: be more careful where to insert apply
| * Address reviewer commentsMartin Odersky2016-09-182-3/+8
| |
| * Fix #1503 - be careful where to insert an apply.Martin Odersky2016-09-179-12/+86
|/ | | | | | `apply` nodes should not be inserted in the result parts of a block, if-then-else, match, or try. Instead they should be added to the surrounding statement.
* Merge pull request #1465 from dotty-staging/fix-#1457odersky2016-09-169-51/+110
|\ | | | | Fix #1457: Three incompatbilities with scalac
| * Refactoring of findRefMartin Odersky2016-09-161-58/+83
| | | | | | | | | | | | | | | | | | | | | | Three goals: 1. Fix crasher in compileStdLib by saving and restoring foundUnderScala2 analogous to iportedFromRoot. 2. Make behavior the same as scalac under Scala2 mode - ListBuffer behaved differently before. 3. Make findRef faster by making it tail-recursive as long as nothing was found.
| * Add test file.Martin Odersky2016-08-262-0/+15
| |
| * Accommodate Scala2 name resolution schemeMartin Odersky2016-08-264-28/+26
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Scala2 does not conform to spec Section 2, where it says: Bindings of different kinds have a precedence defined on them: 1. Definitions and declarations that are local, inherited, or made available by a package clause and also defined in the same compilation unit as the reference, have highest precedence. 2. Explicit imports have next highest precedence. 3. Wildcard imports have next highest precedence. 4. Definitions made available by a package clause, but not also defined in the same compilation unit as the reference, have lowest precedence. In fact Scala 2, merges (1) and (4) into highest precedence. This commit simulates the Scala2 behavior under -language:Scala2, but gives a migration warning. For the naming-resolution test case we get: dotc *.scala -language:Scala2 -migration callsite.scala:9: migration warning: Name resolution will change. currently selected : naming.resolution.Files in the future, without -language:Scala2: java.nio.file.Files' where Files is a type in package object package which is an alias of java.util.stream.Stream[java.nio.file.Path] Files' is a class in package file def gimmeFiles: Files = Files.list(Paths.get(".")) ^ one warning found
| * Fix #1457: Three incompatbilities with scalacMartin Odersky2016-08-239-6/+27
| | | | | | | | | | | | | | | | 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-166-19/+87
|\ \ | | | | | | Fix #1513: misaligned by name type parameter type bounds
| * | Fix corner case w types ALL passed by name & out of orderOlivier Blanvillain2016-09-163-7/+13
| | | | | | | | | | | | | | | | | | | | | | | | 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-154-13/+75
| | |
* | | Merge pull request #1511 from dotty-staging/fix-1510odersky2016-09-161-1/+1
|\ \ \ | | | | | | | | Fix #1510: Fix error message when abstract member not implemented.
| * | | Fix #1510: Fix error message when abstract member not implemented.Nicolas Stucki2016-09-141-1/+1
| |/ /
* | | Merge pull request #1469 from dotty-staging/fix-scala.Dynamicodersky2016-09-1639-181/+215
|\ \ \ | | | | | | | | Fixes for scala.Dynamic
| * | | Reformat code after fixes on scala.Dynamic.Nicolas Stucki2016-09-053-60/+60
| | | |
| * | | Enable scala.Dynamic pending/untried tests.Nicolas Stucki2016-09-0523-120/+98
| | | |
| * | | Fix #1474: Fix applies to applyDynamic.Nicolas Stucki2016-09-056-7/+10
| | | |
| * | | fixup #1470Nicolas Stucki2016-09-051-4/+5
| | | |
| * | | Fix #1470: Fix dynamic selection in presence of inaccessible members.Nicolas Stucki2016-09-054-2/+4
| | | |
| * | | Fix #1468: Add type parameter support for scala.DynamicNicolas Stucki2016-09-057-35/+85
| | | |
* | | | Merge pull request #1509 from felixmulder/topic/better-try-catch-messagesFelix Mulder2016-09-153-2/+26
|\ \ \ \ | | | | | | | | | | Better `try` and `catch` messages
| * | | | Improve error message on empty catch blockFelix Mulder2016-09-152-0/+12
| | | | |
| * | | | Allow try expression without catch or finally, issue warningFelix Mulder2016-09-152-2/+14
|/ / / /
* | | | Merge pull request #1512 from OlivierBlanvillain/mv-testFelix Mulder2016-09-151-0/+0
|\ \ \ \ | |_|/ / |/| | | Move t1335 test from /pos to /run
| * | | Move t1335 test from /pos to /runOlivier Blanvillain2016-09-151-0/+0
|/ / /
* | | Merge pull request #1466 from dotty-staging/more-run-testsFelix Mulder2016-09-1412-20/+29
|\ \ \ | | | | | | | | More run tests
| * | | Add missing check file.Martin Odersky2016-09-141-0/+0
| | | |
| * | | Fix test syntax to make it dotty compatibleMartin Odersky2016-09-141-2/+2
| | | |
| * | | Add some run testsMartin Odersky2016-09-1411-18/+27
|/ / /
* | | Merge pull request #1499 from OlivierBlanvillain/fix-1335Felix Mulder2016-09-145-88/+97
|\ \ \ | | | | | | | | Fix #1335: Generate null checks for extractors
| * | | Fix #1335: Generate null checks for extractorsOlivier Blanvillain2016-09-082-3/+18
| | | |
| * | | Identation/spacing cleanupOlivier Blanvillain2016-09-084-85/+79
| | | |
* | | | Merge pull request #1504 from OlivierBlanvillain/fix-1500Felix Mulder2016-09-144-4/+73
|\ \ \ \ | |/ / / |/| | | Partially fix #1500: Implicit search breaks at a certain depth
| * | | Partially fix #1500: Implicit search breaks at a certain depthOlivier Blanvillain2016-09-134-4/+73
|/ / / | | | | | | | | | | | | | | | 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 #1498 from felixmulder/fix-nightlyFelix Mulder2016-09-061-1/+1
|\ \ \ | | | | | | | | Get property from environment instead of from sysprops
| * | | Get property from environment instead of from syspropsFelix Mulder2016-09-061-1/+1
|/ / /
* | | Merge pull request #1496 from felixmulder/dottydoc-client-v0.1.0Felix Mulder2016-09-061-3/+1
|\ \ \ | |/ / |/| | Bump dottydoc version for nightly builds
| * | Bump dottydoc version for nightly buildsFelix Mulder2016-09-061-3/+1
|/ /
* | Merge pull request #1482 from dotty-staging/fix-asapplicable-safeodersky2016-09-047-33/+119
|\ \ | | | | | | More tweaks to type inference
| * | TyperState refactoring.Martin Odersky2016-08-261-17/+7
| | | | | | | | | | | | | | | Need to export just uncommittedAncestor, can hide isCommitted and parent.
| * | Handle case where expected type of a SeqLiteral has an undetermined element ↵Martin Odersky2016-08-263-9/+59
| | | | | | | | | | | | | | | | | | type. Test case is isApplicableSafe -Ycheck:first.
| * | Handle complex context merging casesMartin Odersky2016-08-262-4/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Test case in isApplicableSafe.scala. It turns out that this requires a context merge using the new `&' operator. Sequence of actions: 1) Typecheck argument in typerstate 1. 2) Cache argument. 3) Evolve same typer state (to typecheck other arguments, say) leading to a different constraint. 4) Take typechecked argument in same state. It turns out that the merge in TyperState is needed not just for isApplicableSafe but also for (e.g. erased-lubs.scala) as well as many parts of dotty itself.
| * | Implement constraint mergingMartin Odersky2016-08-263-5/+48
| | | | | | | | | | | | Not used yet, but we might use it as an alternative to typedArg invalidation later.
* | | Merge pull request #1491 from dotty-staging/fix-i1490Guillaume Martres2016-09-013-1/+17
|\ \ \ | | | | | | | | Fix #1490: type test of union types via type alias
| * | | Fix #1490: type test of union types via type aliasliu fengyun2016-09-013-1/+17
|/ / /
* | | Merge pull request #1483 from lampepfl/DarkDimius-patch-7Felix Mulder2016-08-291-2/+3
|\ \ \ | |/ / |/| | Update readme: mark Exhaustivity checks & multiv.eq. as implemented
| * | Update readme: mark Exhaustivity checks & multiv.eq. as implementedDmitry Petrashko2016-08-291-2/+3
|/ /
* | Merge pull request #1461 from dotty-staging/fixes-gadtsodersky2016-08-26109-102/+155
|\ \ | | | | | | Fixes of GADTs and test recategorization.
| * | Dependent method testsMartin Odersky2016-08-264-2/+29
| | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-22 21:18:15 +0000