aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* 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 #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
* | | Handle subtyping of LazyVals that are in train of being evaluated.Martin Odersky2016-02-051-2/+5
* | | Make LazyRef#ref a def instead of a lazy valMartin Odersky2016-02-051-1/+2
|/ /
* | Use Context#setReporter where possibleGuillaume Martres2016-02-051-2/+1
* | Context: set compilerCallback like other context variablesGuillaume Martres2016-02-042-16/+7
* | Better compiler entry pointsGuillaume Martres2016-02-042-10/+49
* | Compiler: use the reporter passed from the DriverGuillaume Martres2016-02-042-4/+2
* | Driver: properly use root Context passed as argumentGuillaume Martres2016-02-041-6/+4
* | Reporter: make summary available without a ContextGuillaume Martres2016-02-041-5/+16
* | ConsoleReporter: remove unused argument ctxGuillaume Martres2016-02-043-3/+3
|/
* Fix i939: Patmat shouldn't compare selectors to module TypeTrees.Dmitry Petrashko2016-01-241-1/+2
* Merge pull request #1039 from dotty-staging/fix-#998Guillaume Martres2016-01-231-3/+22
|\
| * Fix #998Martin Odersky2016-01-201-3/+22
* | Merge pull request #1038 from dotty-staging/fix-#1037Guillaume Martres2016-01-234-8/+16
|\ \
| * | Perform isCurrent at transform phaseMartin Odersky2016-01-191-3/+8
| * | Small refactoringMartin Odersky2016-01-191-2/+5
| * | Don't force symbol denotation when taking fingerprint.Martin Odersky2016-01-192-2/+2
| * | Avoid repeated evaluations of parentIsYounger.Martin Odersky2016-01-191-1/+1
| |/
* / Fix #1036Martin Odersky2016-01-201-1/+6
|/
* Check AppliedTypeTrees bounds inside AppliedTypeTreeGuillaume Martres2016-01-181-7/+10
* Avoid infinite subtyping checks when intersecting denotationsGuillaume Martres2016-01-182-12/+32
* Avoid caching the wrong bounds in TypeRefsMartin Odersky2016-01-181-1/+16
* Check bounds everywhereMartin Odersky2016-01-183-29/+35
* Keep rhs of TypeDef in typed treeMartin Odersky2016-01-182-2/+10
* Fix caching bug: don't assume that tvars instantiation cannot be retractedGuillaume Martres2016-01-171-1/+4
* Merge pull request #1021 from dotty-staging/fix/procedure-migrationodersky2016-01-171-1/+1
|\
| * Improve migration message for Scala 2 proceduresGuillaume Martres2016-01-141-1/+1
* | Always eta-expand AppliedTypeTrees argumentsGuillaume Martres2016-01-161-1/+1