aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | Rename unused phases.Dmitry Petrashko2016-02-203-0/+0
| | | |
| * | | FirstTransform: simplify needsCompanion codeDmitry Petrashko2016-02-201-4/+6
| | | |
| * | | Do not create companions that will be dropped later.Dmitry Petrashko2016-02-205-6/+31
|/ / / | | | | | | | | | | | | | | | | | | | | | Fix blocker bug reported in #1114 I dislike this fix as now phase needs to know in advance if it will ever need a companion for the class. On the bright side, this change makes it clear which phases need companions
* | | Merge pull request #1112 from dotty-staging/value-classes-private-this-paramDmitry Petrashko2016-02-205-7/+22
|\ \ \ | | | | | | | | Value classes: add support for private[this] parameter
| * | | fix to neg_valueClasses testVladimirNik2016-02-191-1/+1
| | | |
| * | | Add support for private[this] parameter in value classesVladimirNik2016-02-194-6/+21
| | | |
* | | | Merge pull request #1120 from dotty-staging/fix-1114-patmatodersky2016-02-202-1/+22
|\ \ \ \ | | | | | | | | | | PatMat: remove one more trace of doing several steps at a time
| * | | | Test that #1114 is fixed.Dmitry Petrashko2016-02-201-0/+21
| | | | |
| * | | | PatMat: remove one more trace of doing several steps at a timeDmitry Petrashko2016-02-201-1/+1
| | |_|/ | |/| | | | | | | | | | | | | | | | | | | | | | When creating subPatRefs the consider returned type of accessor, not the type of binder. Fixes #1114
* | | | Merge pull request #1119 from dotty-staging/fix-#1116Dmitry Petrashko2016-02-201-1/+1
|\ \ \ \ | |/ / / |/| | | Default getters accessibility fix
| * | | Don't copy annotations from method to default getter.Martin Odersky2016-02-201-1/+1
| | | |
| * | | Default getters accessibility fixMartin Odersky2016-02-201-1/+1
|/ / / | | | | | | | | | | | | | | | Default getters should have same accessibility as the method they belong to. Previously, it was the accessibility of the parameter, which makes no sense. Fixes #1116.
* | | Merge pull request #1102 from dotty-staging/fix-#1096odersky2016-02-191-6/+4
|\ \ \ | | | | | | | | Keep named arguments during eta expansion
| * | | Keep named arguments during eta expansionMartin Odersky2016-02-181-6/+4
| | | | | | | | | | | | | | | | Fixes #1096.
* | | | Merge pull request #1066 from dotty-staging/fix-#997odersky2016-02-1913-16/+140
|\ \ \ \ | | | | | | | | | | Fix #997
| * | | | Add error markersMartin Odersky2016-02-191-2/+2
| | | | |
| * | | | Merge parentsWithArgs and instantiatedParentsMartin Odersky2016-02-194-9/+6
| | | | |
| * | | | Fix expected error countMartin Odersky2016-02-191-1/+1
| | | | |
| * | | | Move leak detection to CheckingMartin Odersky2016-02-193-34/+44
| | | | | | | | | | | | | | | | | | | | Also: include a test that private aliases are transparent.
| * | | | Fix two private leaks in dotty compiler itself.Martin Odersky2016-02-192-3/+3
| | | | |
| * | | | Add checking for leaking private definitionsMartin Odersky2016-02-195-5/+98
| | | | | | | | | | | | | | | | | | | | First version. Fixes #997.
| * | | | New utility method: Reporter#errorOrMigrationWarningMartin Odersky2016-02-191-0/+3
| | | | |
| * | | | Copy access flags to derived definitions during desugaringMartin Odersky2016-02-192-5/+26
| | |/ / | |/| | | | | | | | | | Previously, some definitions were too public, others too private.
* | | | Merge pull request #1072 from dotty-staging/change-isVolatile-2odersky2016-02-1929-108/+957
|\ \ \ \ | |/ / / |/| | | Change is volatile 2
| * | | Fix merge breakage.Martin Odersky2016-02-191-0/+1
| | | |
| * | | Remove unused method, fix comments.Martin Odersky2016-02-192-19/+9
| | | | | | | | | | | | | | | | | | | | Addendum to change-isVolatile. Changes did not make it in by accident before that branch was merged.
| * | | Simplify logic in matchNamedMartin Odersky2016-02-191-4/+3
| | | |
| * | | Allow Named Arguments in TypeArgsMartin Odersky2016-02-1910-20/+121
| | | | | | | | | | | | | | | | Lets one also pass named arguments to methods.
| * | | Use hasNamedArgs instead of repeating test inline.Martin Odersky2016-02-194-8/+9
| | | |
| * | | Add some flexibility in comparing named and unnamed parameterized types.Martin Odersky2016-02-192-3/+96
| | | |
| * | | Take defult parameters into account for overloading resolution.Martin Odersky2016-02-191-11/+14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The current Scala spec only considers methods without default parameters for overloading resolution (unless only a single one remains anyway after filtering by shape). This is needlessly restrictive. But dropping this restriction (as dotty does) can lead to ambiguity errors, which is why run/t8197 did not compile anymore. We fix the problem by a last try rule: If after asSpecific tests there are still several alternatives, and only one of them is without default arguments, pick that one. I tried an alternative rule which would make the distinction on default params earlier but that one fails for the overloaded tree copier functions in Trees.scala (the method with default parameters is also the one which is more specific).
| * | | Fix problem of overloading resolution when receiver is not stable.Martin Odersky2016-02-194-7/+9
| | | |
| * | | Fix review comment in previous PRMartin Odersky2016-02-191-2/+1
| | | | | | | | | | | | | | | | Was not fixed by accident then, so we do it here now.
| * | | Fix assertion error messageMartin Odersky2016-02-191-1/+1
| | | |
| * | | Add test to illustrate overloading problem.Martin Odersky2016-02-191-0/+15
| | | |
| * | | Make type parameter reordering generally available.Martin Odersky2016-02-192-11/+20
| | | |
| * | | Add doc commentMartin Odersky2016-02-191-0/+1
| | | |
| * | | Address reviewer commentsMartin Odersky2016-02-192-2/+3
| | | |
| * | | More named param testsMartin Odersky2016-02-193-0/+437
| | | | | | | | | | | | | | | | Also, add an unrelated test file to pos.
| * | | Annotate test with // error indicationsMartin Odersky2016-02-191-6/+7
| | | | | | | | | | | | | | | | | | | | We had same fleyness in number of errors of cycle.scala which prompted this.
| * | | Check named type params for welformedness rules.Martin Odersky2016-02-193-4/+75
| | | |
| * | | Fix PostTyper normalization for named argsMartin Odersky2016-02-191-6/+4
| | | | | | | | | | | | | | | | | | | | Needs to work also if named arg refers to an abstract type, not a parameter.
| * | | Fix pending test for picklingMartin Odersky2016-02-191-2/+2
| | | | | | | | | | | | | | | | | | | | There is a before/after difference having to do with the order in which class declarations show up.
| * | | Move failing test to pendingMartin Odersky2016-02-191-0/+0
| | | | | | | | | | | | | | | | | | | | | | | | Named parameters cause some elements to be unpickled in a different order as they are pickled. In particular term parameter aliases and type parameter aliases seem to be swapped.
| * | | Avoid cyclic reference error when building dotty.Martin Odersky2016-02-191-2/+1
| | | |
| * | | Make named parameter alias handling more robustMartin Odersky2016-02-191-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | After unpickling we might see an alias X = pre.X where pre =:= the ThisType of the enclosing class. But it might not be `eq` to it.
| * | | Augment test caseMartin Odersky2016-02-192-6/+15
| | | |
| * | | Make some operations surivive partial named parameter listsMartin Odersky2016-02-193-8/+19
| | | | | | | | | | | | | | | | | | | | Types#underlyingClassRef and PostTyper#normalizeTree need to be changed so they can deal with partial named parameter lists.
| * | | First version of named type argumentsMartin Odersky2016-02-196-24/+121
| | | |
| * | | Support named type parametersMartin Odersky2016-02-194-3/+11
| | | | | | | | | | | | | | | | | | | | Changes needed to support simple named type parameters. Not yet implemented: named arguments.
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 13:04:28 +0000