aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools
Commit message (Expand)AuthorAgeFilesLines
* Tweaks to InferencingMartin Odersky2013-11-294-132/+178
* File name renamingMartin Odersky2013-11-283-4/+1
* Using SimpleMap instead of Map for replayability.Martin Odersky2013-11-281-13/+12
* Making substitutions deep type maps that also map parents and self type of a ...Martin Odersky2013-11-282-25/+28
* Refactorings in TypeComparers and elsewhereMartin Odersky2013-11-283-106/+78
* Tightening (constraint contains param) conditionMartin Odersky2013-11-281-1/+1
* Making maps configurable so that they can also go inside parents and self typ...Martin Odersky2013-11-281-1/+16
* Hoisting out commonly used values into util.commonMartin Odersky2013-11-286-43/+62
* Optimizing signaturesMartin Odersky2013-11-273-30/+32
* Changed SignaturesMartin Odersky2013-11-279-79/+116
* More posishings of SymDenots/Denotations.Martin Odersky2013-11-265-49/+47
* Dropping the Expanded when computing type parameter variances.Martin Odersky2013-11-254-22/+11
* Tweaks to SymDenotationsMartin Odersky2013-11-251-37/+48
* Final set of Types tweaksMartin Odersky2013-11-253-17/+14
* More Types polishingsMartin Odersky2013-11-252-121/+137
* Cleanup of TermRef.withSym and TypeRef.withSymMartin Odersky2013-11-2511-31/+27
* Getting rid of UnknownSignatureMartin Odersky2013-11-252-29/+21
* More Types polishingMartin Odersky2013-11-252-58/+31
* Types refactoringsMartin Odersky2013-11-257-388/+414
* Cleanup of named type creation from SymDenotations.Martin Odersky2013-11-2313-57/+58
* Renaming: typeConstructor -> typeRefMartin Odersky2013-11-2218-96/+96
* More tweaks to TypesMartin Odersky2013-11-221-74/+74
* Tweaks to SimpleMapMartin Odersky2013-11-221-62/+94
* Dropping cinsistency checking logic from typerstates.Martin Odersky2013-11-224-79/+32
* Consolidation of TyperState and ConstraintMartin Odersky2013-11-216-106/+148
* Better encapsulation for constraints.Martin Odersky2013-11-203-40/+44
* Splitting constraint.appky into at, bounds, contains.Martin Odersky2013-11-204-11/+16
* More tweaksMartin Odersky2013-11-204-6/+13
* Added unit testing supportMartin Odersky2013-11-183-13/+25
* Various cleanupsMartin Odersky2013-11-186-55/+44
* Changing some TermRef's to selectsMartin Odersky2013-11-161-4/+4
* Converting most uses of NamedType to select.Martin Odersky2013-11-158-39/+48
* Formign lubs over widened types only.Martin Odersky2013-11-151-1/+6
* Tweaks to adaptation and interpolationMartin Odersky2013-11-156-17/+25
* Tweak to Coder testMartin Odersky2013-11-151-1/+1
* Made stripTypeVar idempotentMartin Odersky2013-11-151-4/+9
* making all internal errors throw exceptions (for now).Martin Odersky2013-11-142-2/+2
* derivedNamedType -> derivedSelectMartin Odersky2013-11-143-12/+17
* Providing for new match scheme.Martin Odersky2013-11-141-8/+9
* Making as seenfrom reduce types.Martin Odersky2013-11-142-32/+22
* Some configuation parametersMartin Odersky2013-11-147-31/+47
* replace qualifierType by widenIfUnstable.Martin Odersky2013-11-143-4/+7
* Changes to dealiasing and wideningMartin Odersky2013-11-141-36/+72
* Debug measure: Report all errors when they are first issuedMartin Odersky2013-11-141-1/+3
* Make undetVars a set with deterministic traversal order.Martin Odersky2013-11-141-1/+1
* widen if unstable prefixMartin Odersky2013-11-133-5/+16
* Fixing a problem in <:< of named types.Martin Odersky2013-11-131-15/+53
* Bringing underlyingIfRepeated up-to-dateMartin Odersky2013-11-113-3/+5
* Dealias before add to constraint.Martin Odersky2013-11-102-4/+16
* Reporting max constraintMartin Odersky2013-11-103-24/+28