aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* ErrorSymbols now have TypeBounds as info when they are type symbols.Martin Odersky2013-08-143-17/+26
* Converted more strings to be "i" interpolated.Martin Odersky2013-08-145-29/+34
* Fixed a typo in previous commit.Martin Odersky2013-08-141-1/+1
* New error reporting scheme.Martin Odersky2013-08-144-49/+104
* Integrated parser/typer into compilerMartin Odersky2013-08-1410-35/+170
* Suppressing file names with $'s in them from loadingMartin Odersky2013-08-141-1/+5
* Fixing validity checking of denotations.Martin Odersky2013-08-133-14/+14
* Refactored handling of phases to make them more robust and simpler to install.Martin Odersky2013-08-122-20/+34
* Added main runner and driver.Martin Odersky2013-08-127-2/+221
* Finished rest of typer.Martin Odersky2013-08-106-141/+214
* Added typing of Alternatives.Martin Odersky2013-08-102-13/+19
* Added typing of all forms of type trees.Martin Odersky2013-08-105-17/+115
* Typing of SeqLiteralsMartin Odersky2013-08-097-16/+33
* Added support for pattern variables and Bind.Martin Odersky2013-08-094-40/+80
* Typing of try and throw statements.Martin Odersky2013-08-082-3/+44
* Typing of return statements.Martin Odersky2013-08-082-0/+22
* Implementation of match/case def including GADT pattern matching.Martin Odersky2013-08-086-7/+87
* 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