aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools
Commit message (Expand)AuthorAgeFilesLines
* Fix computation of inherited result types.Martin Odersky2014-01-061-9/+16
* Fix divergence test for implicitsMartin Odersky2014-01-061-1/+3
* Change to overloading behaviorMartin Odersky2014-01-065-24/+33
* Relax isFullyDefined testMartin Odersky2014-01-062-3/+8
* Fix to overloading resolution: prioritize non-methods over methods.Martin Odersky2014-01-061-3/+8
* Change to computing of unapply patterns.Martin Odersky2014-01-062-4/+5
* Exclude inaccessible definitions from contextual implicit search.Martin Odersky2014-01-061-2/+4
* Make implicit scope work in the presence to TypeVarsMartin Odersky2014-01-062-55/+74
* Make Settings.scala dotty conformantMartin Odersky2014-01-062-3/+6
* Propagate constraints on result type eagerly into implicit search.Martin Odersky2014-01-044-24/+24
* Changes to propagation of wildcardtypesMartin Odersky2014-01-042-5/+7
* Output cleanupsMartin Odersky2014-01-047-9/+15
* Fix prinitng of pattern guards in treesMartin Odersky2014-01-041-1/+1
* Fix in constrainResultMartin Odersky2014-01-043-2/+6
* Add AnyRef parent for case classes that do not have an extends clause.Martin Odersky2014-01-042-3/+5
* Make anonymous methods non-dependent where possible so that they can be used ...Martin Odersky2014-01-043-12/+16
* Generalize overloading resolution to type arguments.Martin Odersky2014-01-043-29/+45
* Hardening against a possible NoDenotation has no owner crash.Martin Odersky2014-01-031-1/+1
* typeArgs should return TypeBounds for a wildcard type.Martin Odersky2014-01-031-1/+1
* Avoid premature caching of baseClasses and superclass bits.Martin Odersky2014-01-031-8/+12
* Fix printing of wildcard types.Martin Odersky2014-01-031-3/+17
* Making namedPartsWith more robust.Martin Odersky2014-01-032-3/+7
* Don't print module class suffix in refined printer.Martin Odersky2014-01-031-6/+3
* Drop module class suffix when looking for class with enclosing name.Martin Odersky2014-01-031-6/+10
* Making printing configurable.Martin Odersky2014-01-037-37/+60
* safeUnderlyingTypeParams now forces uncompleted symbols.Martin Odersky2014-01-033-13/+11
* Fixing a type problem where code does not compile under dotty.Martin Odersky2014-01-022-2/+5
* Tweak to isFullyDefinedMartin Odersky2014-01-021-2/+14
* Some cleanups.Martin Odersky2014-01-023-3/+5
* Taking a fully-defined result type into account when forming a closure.Martin Odersky2014-01-022-5/+5
* Fixing a problem with isFullyDefinedMartin Odersky2014-01-021-4/+6
* Fixing problems with wrong ownerMartin Odersky2014-01-021-6/+10
* Propagating fully defined result types into closures.Martin Odersky2014-01-021-6/+10
* Making Desugar.scala dotty-conform.Martin Odersky2014-01-021-2/+4
* Ensuring that contexts do not have NoSymbol as owner.Martin Odersky2014-01-022-4/+8
* Avoiding a crash in denot-union.Martin Odersky2014-01-021-1/+1
* Avoiding converting with a view to a TypeVarMartin Odersky2014-01-021-1/+1
* Better error message for accessibility errors.Martin Odersky2014-01-021-3/+3
* More precise widening of types referring to a block-local.Martin Odersky2014-01-014-23/+24
* Constraints need to be ignored when forming lubs and glbs of constrained oara...Martin Odersky2014-01-011-3/+18
* Reverting a change in `tpd` that would no longer be type-correct under dotty ...Martin Odersky2014-01-013-2/+12
* Revert "Reverting a change in `tpd` that would no longer be type-correct unde...Martin Odersky2014-01-011-1/+1
* Better assertions and diagnostics in TypeComparers.Martin Odersky2013-12-311-4/+6
* Reverting a change in `tpd` that would no longer be type-correct under dotty ...Martin Odersky2013-12-311-1/+1
* Check that constraints are not cyclic, and avoid cycles when replacing parame...Martin Odersky2013-12-313-16/+58
* Avoiding search for companion module if class in question is anonymous.Martin Odersky2013-12-311-1/+1
* Combining AndType, OrType into common Trait.Martin Odersky2013-12-311-2/+7
* Adding dotty.Predef to root importsMartin Odersky2013-12-312-11/+6
* Adding a prototype of the right-hand side of default-getters.Martin Odersky2013-12-312-8/+54
* Fixing the type of a named self reference.Martin Odersky2013-12-313-3/+15