aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Added eta-expansion.Martin Odersky2013-07-228-56/+149
* Added code for adapt and more.Martin Odersky2013-07-2112-121/+506
* Made implicit results use TyperState instead of full context.Martin Odersky2013-07-201-4/+4
* Integrated reporting into TyperState.Martin Odersky2013-07-197-30/+42
* Made reporting framework more lightweight and uniform in preparation of futur...Martin Odersky2013-07-198-139/+132
* Handling bounded wildcard types.Martin Odersky2013-07-194-11/+29
* Additions needed to support implicits.Martin Odersky2013-07-1911-42/+485
* Some bugfixes and added functionality to support implicits.Martin Odersky2013-07-191-17/+50
* Freshing out some more aspects of applications.Martin Odersky2013-07-154-28/+83
* Added provisional extractor for SAM typesMartin Odersky2013-07-151-1/+41
* Logic to ensure the following invariant: A class denotation's validity period...Martin Odersky2013-07-122-65/+91
* Adding diagnostics how many stubs were generatedMartin Odersky2013-07-121-1/+3
* Avoided cycle in newCompletePackageSymbol by passing name explicity.Martin Odersky2013-07-112-11/+15
* Added functionality to deal with function applications.Martin Odersky2013-07-1125-588/+1509
* Adding TypeVars and adapting constrints accordingly.Martin Odersky2013-06-292-82/+102
* Added logic for typing selections.Martin Odersky2013-06-221-2/+71
* Added logic for constraint solving.Martin Odersky2013-06-223-19/+113
* More utility methods in type: subst(BoundType, Type) and occursIn.Martin Odersky2013-06-221-0/+8
* Added a mapValues method to SimpleMapMartin Odersky2013-06-221-0/+14
* Flehsed out constraints, with more efficient maps.Martin Odersky2013-06-223-12/+205
* Being a bit more conservative with creating new TypeBoundsMartin Odersky2013-06-221-5/+7
* Added accessibility checks to typedIdentMartin Odersky2013-06-202-15/+40
* Changed symbol selection for |Martin Odersky2013-06-191-4/+14
* Removed the comparison with previous behavior for &.Martin Odersky2013-06-191-75/+9
* made ClassInfo#typeConstructor work more directly.Martin Odersky2013-06-191-3/+10
* Taking accessibility into account for &, |Martin Odersky2013-06-196-31/+115
* Distribute & into TypeTypes.Martin Odersky2013-06-181-2/+28
* Added typedIdent method.Martin Odersky2013-06-188-16/+228
* Added typer.ModeMartin Odersky2013-06-173-12/+27
* Removed ClassDef as a Tree node class.Martin Odersky2013-06-159-64/+54
* Forward-ported Jason's fix to setting privateWIthin from Java classfiles.Martin Odersky2013-06-151-0/+1
* Dropping type parameters from typed TypeDefs.Martin Odersky2013-06-139-53/+80
* Removed dead code.Martin Odersky2013-06-121-2/+0
* Made type parameters left leaning for AndTypes.Martin Odersky2013-06-122-38/+60
* Made pos a total method on Symbols, returns NoSymbol if undefined.Martin Odersky2013-06-121-3/+3
* Integrated new treatment of higher-kinded types with Unpickler.Martin Odersky2013-06-077-160/+69
* Added support for eliminating type parameters from TypeDefs.Martin Odersky2013-06-073-6/+168
* Added `pos` meethod to symbols.Martin Odersky2013-06-071-0/+5
* Namer redesign.Martin Odersky2013-06-067-161/+225
* Changed meaning of typeParamsMartin Odersky2013-06-061-7/+15
* wip - partial redesign of namer/typerMartin Odersky2013-06-053-186/+187
* Refactoring: breaking out desugaring into its own object.Martin Odersky2013-06-0413-684/+680
* Refactorings: ModDefTree renamed to MemberDef and removed EmptyFlags comparis...Martin Odersky2013-06-035-17/+17
* More solid design of Namer with some Typer bits added.Martin Odersky2013-06-0311-87/+454
* wip, because I have to get off this machine.Martin Odersky2013-05-3013-98/+241
* wip namer.Martin Odersky2013-05-289-22/+191
* TempTrees -> ThicketMartin Odersky2013-05-273-131/+67
* Making use of specialized TempTrees constructors.Martin Odersky2013-05-252-2/+2
* Making EmptyTree a special case of TempTreesMartin Odersky2013-05-257-67/+65
* Made TempTrees array-backed.Martin Odersky2013-05-253-25/+97