aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Fixes to named and default arguments.Martin Odersky2013-12-054-55/+64
* Changes to Desugar and Namer.Martin Odersky2013-12-054-40/+74
* Overloading resolution changeMartin Odersky2013-12-051-3/+7
* Changing some assertions on isCommittableMartin Odersky2013-12-053-4/+4
* Refactoring test compatible.Martin Odersky2013-12-022-11/+10
* Streamlining isApplicableMartin Odersky2013-12-022-24/+19
* Fixes to type applications and unapply.Martin Odersky2013-12-026-35/+56
* Tweaks to applications, operator assignments, and variable definitions.Martin Odersky2013-12-016-101/+125
* Polishing EtaExpansionMartin Odersky2013-12-012-26/+55
* Added divergence check for implicit searchesMartin Odersky2013-11-303-1/+77
* Tweaking ImplicitsMartin Odersky2013-11-292-42/+40
* SimpleMap.foreachKey -> foreachBindingMartin Odersky2013-11-294-29/+24
* 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