aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools
Commit message (Expand)AuthorAgeFilesLines
...
* Survive searching viers oper exprTypesMartin Odersky2014-01-131-1/+1
* Improved avoidance of local symbolsMartin Odersky2014-01-131-2/+9
* Make sure constructors have at least one non-empty parameter listsMartin Odersky2014-01-131-1/+5
* Making some traces conditional on printers being enabled.Martin Odersky2014-01-134-9/+17
* Follow through multople layers of instantiation when printing a typevarMartin Odersky2014-01-131-1/+1
* When typing a function value (xs) => T with a function type as exp[ected type,Martin Odersky2014-01-131-0/+3
* When instantiating a type var, need to map back from polyparams to typevars.Martin Odersky2014-01-132-2/+14
* Extend type maps and type accumulators to prototypesMartin Odersky2014-01-132-0/+39
* Redo isFullyDefinedAccumulatorMartin Odersky2014-01-131-22/+43
* fix for comparing or-types.Martin Odersky2014-01-111-1/+1
* Avoid cyclic references using imports.Martin Odersky2014-01-111-1/+1
* Handling refined types.Martin Odersky2014-01-112-15/+23
* Handles setters where the getter takes implicit or other parameters.Martin Odersky2014-01-111-16/+20
* Better reporting of cyclic references involving imports.Martin Odersky2014-01-113-1/+16
* Strip implicit parameters when deciding specifity of methods.Martin Odersky2014-01-112-10/+16
* Type comparison tweak.Martin Odersky2014-01-102-0/+2
* Removing conforms from StdNames because it shadows Predef.conforms, which is ...Martin Odersky2014-01-102-5/+5
* Mover termRef/typeRef and friends up to Denotation.Martin Odersky2014-01-103-21/+35
* Ensure completion before computing non-private members.Martin Odersky2014-01-101-0/+1
* Add type parameters to synthetic constructors.Martin Odersky2014-01-102-2/+6
* Add a constructor to class Any, so that it can be inherited.Martin Odersky2014-01-102-3/+8
* Ensure progress in checkAccessibleMartin Odersky2014-01-091-1/+1
* Refine eligibilityMartin Odersky2014-01-093-3/+8
* Avoid dropping errors in typedApplyMartin Odersky2014-01-091-8/+6
* Special case Unit for result type conformance check.Martin Odersky2014-01-091-1/+1
* Don't do an implicit conversion to Any, AnyRef, or Unit.Martin Odersky2014-01-091-1/+4
* Better error message for failed overloading resolution.Martin Odersky2014-01-091-2/+3
* Augment namedParts to follow through on some proxy types.Martin Odersky2014-01-092-5/+9
* Avoid dropping errors in typedApplyMartin Odersky2014-01-091-1/+5
* Refactoring Reporter.isSlent -> errorCount, wasSilentMartin Odersky2014-01-092-6/+8
* Change namedParts to also include the underlying types of TermRefs.Martin Odersky2014-01-082-3/+6
* Mapping over a SelectionProto should give a SelectionProto, not a RefinedType.Martin Odersky2014-01-082-1/+9
* Fixing illegal code that should have been flagged by scalac.Martin Odersky2014-01-071-3/+5
* New subtype constraint maintenance algorithm.Martin Odersky2014-01-078-55/+101
* Remove debug outputMartin Odersky2014-01-061-14/+3
* 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