aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* 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-079-55/+106
* Remove debug outputMartin Odersky2014-01-062-19/+6
* 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-063-3/+10
* Fix to overloading resolution: prioritize non-methods over methods.Martin Odersky2014-01-062-4/+11
* Change to computing of unapply patterns.Martin Odersky2014-01-062-4/+5
* Exclude inaccessible definitions from contextual implicit search.Martin Odersky2014-01-062-2/+5
* Make implicit scope work in the presence to TypeVarsMartin Odersky2014-01-063-55/+76
* 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-044-30/+49
* 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-034-14/+17
* Fixing a type problem where code does not compile under dotty.Martin Odersky2014-01-023-9/+6
* 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-022-2/+5
* 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