aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* New phase to drop empty companion objectsMartin Odersky2016-02-113-0/+81
* Abstract out lazy local names somewhatMartin Odersky2016-02-112-6/+13
* Enable tests for old fixed issuesGuillaume Martres2016-02-091-3/+3
* Merge pull request #1051 from dotty-staging/change-isVolatileodersky2016-02-0911-124/+210
|\
| * Fix commpilation errorMartin Odersky2016-02-091-3/+7
| * By-name parameters are not stable values.Martin Odersky2016-02-092-11/+7
| * Perform typer realizability checks only during Typer.Martin Odersky2016-02-091-2/+2
| * Big realizability refactoringMartin Odersky2016-02-096-124/+164
| * Handle paths of length > 1 for realizability checkingMartin Odersky2016-02-091-3/+41
| * Consider by name parameters as lazily initializedMartin Odersky2016-02-091-1/+7
| * Remove isVolatile and DNF methodsMartin Odersky2016-02-091-91/+1
| * Check that non-abstract classes have realizable bounds.Martin Odersky2016-02-092-10/+22
| * Fix isRealizableTestMartin Odersky2016-02-091-1/+1
| * Handle imports in path checks.Martin Odersky2016-02-091-0/+2
| * Fix path error disgnasticsMartin Odersky2016-02-092-7/+6
| * Only final lazy vals can be paths.Martin Odersky2016-02-091-1/+3
| * Enforce rule that laziness is preserved when overriding.Martin Odersky2016-02-093-7/+9
| * Reorganize tests to account for new typing of projectionMartin Odersky2016-02-093-15/+27
| * Cleanup of isEffectivelyFinalMartin Odersky2016-02-091-7/+4
| * Move realizability logic from Types to TypeOps.Martin Odersky2016-02-094-44/+45
| * Realizability refactoringMartin Odersky2016-02-095-27/+58
| * Also consider type aliases when checking for realizabilityMartin Odersky2016-02-091-1/+16
| * Move scala2Mode test from isStable to isRealizableMartin Odersky2016-02-092-5/+5
| * Use isRealizable to identify stable prefixesMartin Odersky2016-02-092-1/+20
| * No volatile check needed for strict vals.Martin Odersky2016-02-091-1/+1
* | Merge pull request #1058 from dotty-staging/fix-#864-v2Guillaume Martres2016-02-093-9/+84
|\ \ | |/ |/|
| * Fix documentation of ConstraintHandling#addConstraintGuillaume Martres2016-02-081-1/+1
| * Fix documentation of Config.checkConstraintsSeparatedGuillaume Martres2016-02-081-4/+4
| * Avoid `related` buffer in `addConstraint`.Martin Odersky2016-02-051-11/+17
| * Narrow problematic constraint instead of widening it.Martin Odersky2016-02-051-8/+22
| * Fix docs and namingMartin Odersky2016-02-052-6/+9
| * Prune constraints that could turn into cyclesMartin Odersky2016-02-052-3/+55
* | Merge pull request #1053 from dotty-staging/fix-#1045odersky2016-02-082-22/+82
|\ \
| * | Drop redundant context parameterMartin Odersky2016-02-081-1/+1
| * | Slight optimizationMartin Odersky2016-02-041-6/+8
| * | Try to make refinements match in approximateUnionsMartin Odersky2016-02-042-2/+41
| * | Push `|' into corresponding RefinedTypes in approximateUnionMartin Odersky2016-02-041-22/+41
* | | Merge pull request #1067 from dotty-staging/fix-1065odersky2016-02-081-2/+10
|\ \ \
| * | | Fix #1065 erasedLub for arrays of primitives.Dmitry Petrashko2016-02-081-2/+10
| |/ /
* | | Merge pull request #1063 from dotty-staging/fix-#803Dmitry Petrashko2016-02-081-3/+6
|\ \ \
| * | | Handle "missing args" case when expected type is a singleton type.Martin Odersky2016-02-051-3/+6
| | |/ | |/|
* | | Merge pull request #1057 from dotty-staging/fix/hide-stacktracesodersky2016-02-069-9/+11
|\ \ \
| * | | Do not use the plain printer with -YdebugGuillaume Martres2016-02-062-1/+2
| * | | Do not store context creation trace with -YdebugGuillaume Martres2016-02-062-1/+2
| * | | Do not use println when SingleDenotation#signature failsGuillaume Martres2016-02-051-1/+1
| * | | Hide stack traces behind -YdebugGuillaume Martres2016-02-055-6/+6
| |/ /
* | | Fix #1044: handle TypevarsMissContext mode in wildApproxGuillaume Martres2016-02-062-5/+11
* | | Merge pull request #1060 from dotty-staging/throwMethodInitodersky2016-02-051-1/+1
|\ \ \
| * | | Force the initialization of throwMethod in DefinitionsVladimirNik2016-02-051-1/+1
| |/ /
* | | Surive non-existing sourceModule in Scala2 pickled info.Martin Odersky2016-02-051-2/+4