aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
...
| * | Fix computation of parent types of a classinfo.Martin Odersky2016-07-171-5/+1
| | | | | | | | | | | | | | | The previously used `rebase` did not rewrire outer this references. The right thing to do here is an asSeenFrom.
* | | Fix #1285: Mutable vars are not to be considered constantMartin Odersky2016-07-312-3/+3
| | |
* | | Merge pull request #1425 from dotty-staging/fix-#1423odersky2016-07-311-7/+8
|\ \ \ | | | | | | | | Fix #1423: Fix owners of called methods in CollectSuperCalls.
| * | | Fix #1423: Fix owners of called methods in CollectSuperCalls.Nicolas Stucki2016-07-291-7/+8
| | | |
* | | | Merge pull request #1422 from dotty-staging/add-Function25odersky2016-07-317-2/+123
|\ \ \ \ | |/ / / |/| | | Add Function25 on top of #1413.
| * | | Add Function25 on top of #1413.Nicolas Stucki2016-07-287-2/+123
| | | |
* | | | Merge pull request #1410 from dotty-staging/fix-#1263Dmitry Petrashko2016-07-281-7/+7
|\ \ \ \ | |/ / / |/| | | Fix #1263: Suppress super initializer call for val parameters of traits.
| * | | Fix #1263: Suppress super initializer call for val parameters of traits.Martin Odersky2016-07-221-7/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Val-parameters of traits don't have an initializer, as other vals do. So we cannot call the initializer in an initialization sequence of a subclass. Fixes #1263.
* | | | Merge pull request #1289 from dotty-staging/fix/partest-separateGuillaume Martres2016-07-275-7/+31
|\ \ \ \ | | | | | | | | | | partest: Enable separate compilation
| * | | | Refine HKApply#superTypeMartin Odersky2016-07-281-1/+1
| | | | |
| * | | | Fix HkApply#superType if type constructor is a TypeVarMartin Odersky2016-07-271-0/+3
| | | | | | | | | | | | | | | | | | | | In this case, supertype is not stable and should not be cached.
| * | | | Don't generate outer accessors for Java innner classes.Martin Odersky2016-07-271-1/+1
| | | | | | | | | | | | | | | | | | | | Java's naming convention is different from Scala's.
| * | | | Fix colltest4: ListBuffer[A]#fromIterable had an incorrect castFelix Mulder2016-07-271-1/+1
| | | | |
| * | | | Remove overloaded constructor for annotationsGuillaume Martres2016-07-271-4/+14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This lead to inference failures when separately compiling t1751 and t294, this did not happen under joint compilation because JavaParser does not create the overloaded constructor
| * | | | Make private accessor in value class not-private.VladimirNik2016-07-271-1/+12
| | |_|/ | |/| | | | | | | | | | | | | | This is necessary to unbox the value class when accessing it from separate compilation units
* | | | Merge pull request #1421 from cswinter/repl-inversion-fixodersky2016-07-272-6/+6
|\ \ \ \ | | | | | | | | | | Fix #1411: Give REPL output in correct order
| * | | | Fix #1411: Give REPL output in correct orderClemens Winter2016-07-272-6/+6
| | | | |
* | | | | Fixes #1316: Remove JLineKazuyoshi Kato2016-07-275-31/+4
|/ / / / | | | | | | | | | | | | | | | | Dotty uses ammonite.terminal since April (53bd25f) which replaces JLine. There is no reason to keep it anymore.
* | | | Merge pull request #1415 from dotty-staging/fix-i1354odersky2016-07-271-8/+23
|\ \ \ \ | | | | | | | | | | fix #1354: improve type test of union types
| * | | | fix #1354: improve type test and typecast of union typesliu fengyun2016-07-261-8/+23
| |/ / /
* | | | more friendly error message for case traitliu fengyun2016-07-271-1/+4
| | | |
* | | | Merge pull request #1416 from dotty-staging/fix/Xprint-colorsNicolas Stucki2016-07-271-6/+7
|\ \ \ \ | | | | | | | | | | -Xprint-diff-del: more meaningful colors
| * | | | -Xprint-diff-del: more meaningful colorsGuillaume Martres2016-07-261-6/+7
| | | | | | | | | | | | | | | | | | | | | | | | | When a line is modified, show the deleted part in red and the added part in green instead of using magenta and yellow which are confusing.
* | | | | Merge pull request #1412 from dotty-staging/fix-#1284odersky2016-07-262-9/+25
|\ \ \ \ \ | |/ / / / |/| | | | Fix #1284: Make classTag depend directly on erasure
| * | | | Fix #1284: Make classTag depend directly on erasureMartin Odersky2016-07-252-9/+25
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In the end, a classTag reflects the erased version of a type. The only condition for its generation should be that the erasure is stable under possible instantiations.
* | | | | Merge pull request #1409 from dotty-staging/fix-hk-typdefs-of-lambdasGuillaume Martres2016-07-254-17/+22
|\ \ \ \ \ | |_|/ / / |/| | | | Fix parameterized typedefs with lambdas as rhs
| * | | | Simplify abstractedMartin Odersky2016-07-221-5/+5
| | | | | | | | | | | | | | | | | | | | | | | | | As @smarter noted, makes no sense to use a boolean parameter here. We got there by refactoring blindness.
| * | | | Take curried type lambdas into accountMartin Odersky2016-07-223-10/+17
| | | | | | | | | | | | | | | | | | | | | | | | | Adapt operations TypeApplications and TypeComparer to account for the possibilities of curried type lambdas.
| * | | | Fix parameterized typedefs with lambdas as rhsMartin Odersky2016-07-221-8/+6
| | |/ / | |/| | | | | | | | | | | | | | | | | | Previously the compiler crashed when faced with a parameterized typedef that has a lambda as rhs. We fix this by refining the condition when not to abstract in typeDefsig.
* | | | Adress reviewers commentsMartin Odersky2016-07-251-1/+1
| | | |
* | | | Fix #1385: Temporarily lift 22 limit for functionsMartin Odersky2016-07-253-2/+50
| |/ / |/| |
* | | Resume suspensions also when reading from classfilesMartin Odersky2016-07-224-10/+17
| | | | | | | | | | | | | | | Make treatment in Scala2Unpickler and Namer the same and factor out common functionality.
* | | Fix #1401: Make sure all refs are forwardedMartin Odersky2016-07-214-9/+33
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Faced with recursive dependencies through self types, we might have to apply `normalizeToClassRefs` to a class P with a parent that is not yet initialized (witnessed by P's parents being Nil). In that case we should still execute forwardRefs on P, but we have to wait in a suspension until P is initialized. This avoids the problem raised in #1401. I am still not quite sure why forwardRefs is needed, but it seems that asSeenFrom alone is not enough to track the dependencies in this case.
* | | Tweaks to printingMartin Odersky2016-07-212-2/+2
|/ / | | | | | | | | - increase page width - print scopes more legibly under -verbose
* | Merge pull request #1395 from dotty-staging/fix-#1378odersky2016-07-215-4/+34
|\ \ | | | | | | Fix #1378: Propagate more knowledge of result type into applications
| * | Adress reviewers commentsMartin Odersky2016-07-173-8/+10
| | |
| * | Proparage function result constrains when inferring parameter typesMartin Odersky2016-07-164-2/+30
| | | | | | | | | | | | | | | | | | | | | | | | If an application has functions with implicit parameter types we need to be more aggressive about propagating knowledge of the expected result type into the constraint. Fixes #1378.
| * | Add recursive calls to classBoundMartin Odersky2016-07-161-2/+2
| |/ | | | | | | As observed by @smarter, makes sense to do this.
* | Make -Xprint-diff an opt-in option.Nicolas Stucki2016-07-202-3/+6
| | | | | | | | | | | | * -Xprint:[...] alone prints the trees without diffs. * -Xprint-diff enables the diff on -Xprint. * -Xprint-diff-del enables the diff with deletes on -Xprint.
* | Merge pull request #1402 from dotty-staging/fix-wildcard-protosGuillaume Martres2016-07-192-4/+7
|\ \ | | | | | | Fix wildcard protos
| * | Refine printing of tuple an function types with wildcardsMartin Odersky2016-07-191-3/+3
| | |
| * | Allow function prototypes to have wildcards.Martin Odersky2016-07-191-1/+4
| | |
* | | Merge pull request #1400 from dotty-staging/fix/hk-reduce-typerefsodersky2016-07-192-15/+9
|\ \ \ | |/ / |/| | HK reduction: Remove special-case for typerefs
| * | HK reduction: Remove special-case for typerefsGuillaume Martres2016-07-182-15/+9
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The special case: case stripped: TypeRef => stripped.symbol.is(BaseTypeArg) is wrong because you might still want to reduce applications involving TypeRefs which are not base class parameters, like in: class Foo[A] type Alias[X] = Foo[X] val x: Alias[Int] = ??? `Alias` is a TypeRef so before this commit `Alias[Int]` was never reduced to `Foo[Int]`. It should have been: case stripped: TypeRef if stripped.symbol.is(BaseTypeArg) => true But even this is incorrect: it assumes that we can always safely reduce HK applications involving base class parameters, this is not the case when the parameter kind is different from the rhs kind as illustrated by `i1181c.scala`. We fix this by simply dropping the special case.
* | | Merge pull request #1393 from dotty-staging/fix-#1386odersky2016-07-181-6/+36
|\ \ \ | | | | | | | | Fix #1386: Reduce double def errors
| * | | Refactor code into nested methodMartin Odersky2016-07-151-5/+6
| | | | | | | | | | | | | | | | mergeDenot is already large as it is.
| * | | Refine disambiguation logic and add test case.Martin Odersky2016-07-151-3/+14
| | | |
| * | | Fix #1386: Reduce double def errorsMartin Odersky2016-07-151-6/+24
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Use additional disambiguation criteria before raising a double def error. See for context: #1240. Review by @darkdimius
* | | | Merge pull request #1399 from dotty-staging/fix-patmat-typingodersky2016-07-181-8/+12
|\ \ \ \ | | | | | | | | | | Fix typing of match expressions
| * | | | Add test caseMartin Odersky2016-07-181-1/+1
| | | | | | | | | | | | | | | | | | | | Also fix reviewers comments about `firstParent`
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 00:34:53 +0000