aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Types.scala
Commit message (Expand)AuthorAgeFilesLines
* Added typedIdent method.Martin Odersky2013-06-181-2/+4
* Removed dead code.Martin Odersky2013-06-121-2/+0
* Made type parameters left leaning for AndTypes.Martin Odersky2013-06-121-36/+45
* Integrated new treatment of higher-kinded types with Unpickler.Martin Odersky2013-06-071-51/+24
* Added support for eliminating type parameters from TypeDefs.Martin Odersky2013-06-071-0/+105
* Changed meaning of typeParamsMartin Odersky2013-06-061-7/+15
* Refactoring: breaking out desugaring into its own object.Martin Odersky2013-06-041-0/+3
* More solid design of Namer with some Typer bits added.Martin Odersky2013-06-031-5/+32
* wip, because I have to get off this machine.Martin Odersky2013-05-301-1/+1
* wip namer.Martin Odersky2013-05-281-1/+1
* Made tpd/untpd toplevel objects.Martin Odersky2013-05-221-1/+1
* More tree refactorings.Martin Odersky2013-05-221-2/+2
* Added desugaring.Martin Odersky2013-05-221-13/+1
* Refactored Printing architecture.Martin Odersky2013-05-171-1/+2
* Refactored Printers, Showable and Text into new package dotc.printing.Martin Odersky2013-05-141-3/+3
* Changed classSymbol so that it returns traits as well as classes.Martin Odersky2013-04-231-11/+9
* Making fields in MethodType, PolyType strict to avoid context capturing.Martin Odersky2013-04-231-4/+5
* Some annotations and changes prompted by the code walkthrough.Martin Odersky2013-04-221-8/+10
* Added TreeBuilder and TreeInfo classes.Martin Odersky2013-04-191-0/+7
* Re-organized comparisons of types with classes.Martin Odersky2013-04-101-6/+17
* Removing automatic legal prefix checking.Martin Odersky2013-04-101-4/+13
* Renamed creation methods of NamedTypesMartin Odersky2013-04-091-11/+9
* Added initial denotations to NamedType where feasible.Martin Odersky2013-04-091-3/+1
* Producing denotations for typeConstructors in ClassInfos early.Martin Odersky2013-04-091-1/+1
* Fix to typeParamNamed.Martin Odersky2013-04-091-2/+2
* Changes to pre complete declsMartin Odersky2013-04-071-17/+20
* Added case for ThisType#typeSymbol.Martin Odersky2013-04-051-0/+1
* Weakinging of AndType invariant.Martin Odersky2013-04-051-2/+1
* Made & , | NoType-aware.Martin Odersky2013-04-051-1/+3
* Added new classSymbol method for Types.Martin Odersky2013-04-051-1/+26
* Fixed hashcode computation.Martin Odersky2013-04-051-2/+2
* Consolidated tracing under -YdebugTrace.Martin Odersky2013-04-041-0/+4
* Trying to get at the root of cyclic reference problems.Martin Odersky2013-04-041-1/+1
* Improvements in tracing and some Type fixes.Martin Odersky2013-04-031-4/+6
* Some more fixes of classfile reading.Martin Odersky2013-03-261-3/+5
* More fixes to classfile reading.Martin Odersky2013-03-251-1/+20
* More fixes for classfile reading.Martin Odersky2013-03-251-10/+7
* More fixes to classfile loading.Martin Odersky2013-03-241-0/+2
* Some more fixes for classfile loadingMartin Odersky2013-03-231-2/+11
* More fixes to classfile reading.Martin Odersky2013-03-231-1/+11
* More fixes to classfile reading.Martin Odersky2013-03-211-1/+11
* Pretty-printing improvements.Martin Odersky2013-03-201-2/+2
* Adding missing methods for type equalityMartin Odersky2013-03-191-9/+46
* More changes for higher-kinded types emulation.Martin Odersky2013-03-181-6/+48
* Added emulation of higher-kinded types.Martin Odersky2013-03-171-4/+25
* Various fixes to make classfile loading work.Martin Odersky2013-03-151-9/+40
* Various fixes that make loadDef largely work.Martin Odersky2013-03-141-7/+46
* Revising of Denotation#existsMartin Odersky2013-03-121-9/+8
* Checking abstractness of types by their flags.Martin Odersky2013-03-121-25/+5
* Split filterAsSeenFrom and generalized flag handling.Martin Odersky2013-03-121-3/+3