aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Refined treatment of unapplyMartin Odersky2013-08-064-34/+123
* Revised typed ClassDef construction.Martin Odersky2013-08-052-11/+12
* Type checking function trees and closures.Martin Odersky2013-08-059-60/+97
* Handling typevars in inference.Martin Odersky2013-08-0115-148/+388
* Splitting creation methods out between tpd and untpd.Martin Odersky2013-07-283-206/+189
* Redesign of trees.Martin Odersky2013-07-2714-1051/+1158
* More typer logic, in particular dealing with variants of applicationsMartin Odersky2013-07-2513-197/+460
* Added scheme to disabled implicit imports (not just Predef) if an explicit on...Martin Odersky2013-07-234-9/+41
* Some refactorings and additions on error reporting.Martin Odersky2013-07-235-76/+122
* Avoid typeArgs when baseType is involved.Martin Odersky2013-07-223-4/+4
* SeqLiteral refactoringMartin Odersky2013-07-228-23/+45
* 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