aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Types.scala
Commit message (Expand)AuthorAgeFilesLines
* desugar Java repeated parms into an Array instead of SeqOndrej Lhotak2014-11-221-1/+3
* Rename PolyType.copy method. It clashes with generated one.Dmitry Petrashko2014-11-221-2/+2
* Add Id's to types.Dmitry Petrashko2014-11-221-0/+9
* Add the right constructor to Java annotationsMartin Odersky2014-11-221-1/+1
* Merge pull request #228 from dotty-staging/fix/overridingodersky2014-11-181-0/+16
|\
| * Check that overriding members refine the types of overridden ones.Martin Odersky2014-11-181-0/+16
* | Moved pending tests that work into pos and neg.Martin Odersky2014-11-171-1/+1
* | Avoid computing info of TypeRefs for Object <-> Any comversions in ClassfileP...Martin Odersky2014-11-131-4/+9
|/
* Generalize symbolic refsMartin Odersky2014-11-101-5/+5
* Retract of optimization in computeDenotMartin Odersky2014-11-091-2/+9
* Small polishings in docs and code.Martin Odersky2014-11-091-1/+1
* Fix of computeDenot.Martin Odersky2014-11-091-4/+10
* Implement findMember for JavaArraysMartin Odersky2014-10-261-0/+2
* TreeTypeMap needs to map declarations of mapped classesMartin Odersky2014-10-261-0/+2
* Avoid caching NoDenotations in NamedTypesMartin Odersky2014-10-121-1/+6
* Take environment into account when typing a closure.Martin Odersky2014-10-111-2/+6
* Make widening ops more systematic & completeMartin Odersky2014-10-111-7/+14
* TypeTestsCasts now handles casts to constant types.Dmitry Petrashko2014-09-241-0/+2
* Fix errorneus equality between TermRef and WithFixedSymDmitry Petrashko2014-09-231-1/+2
* Better TreeTypeMapsMartin Odersky2014-09-131-22/+31
* Erasure should keep prefixes in TermRefsMartin Odersky2014-09-121-17/+10
* Keep SuperTypes around after erasure.Martin Odersky2014-09-101-2/+1
* CyclicError messages now go to printerMartin Odersky2014-09-051-1/+5
* Partially reverting of 08c6eacaMartin Odersky2014-09-051-5/+13
* Avoid reloading NonMemberSyms.Martin Odersky2014-08-311-2/+4
* Ensure that after erasure all types are erased.Martin Odersky2014-08-301-3/+7
* Shorten "if denotation is current the symbol" to "currentSymbol".Martin Odersky2014-08-291-1/+16
* Avoid cyclic reference errors in ShowScalaMartin Odersky2014-08-291-2/+3
* Added todo commentMartin Odersky2014-08-291-1/+1
* Fix in underlyingClassRefMartin Odersky2014-08-281-1/+21
* Make ThisTypes take TypeRefs instead of ClassSymbolsMartin Odersky2014-08-271-24/+15
* Rebinding ThisTypesMartin Odersky2014-08-271-4/+19
* thisType of a module class is a term ref to the source module.Martin Odersky2014-08-261-5/+5
* Fixes to erasureMartin Odersky2014-08-251-13/+13
* Make type creators work for erased types.Martin Odersky2014-08-241-34/+108
* Comments about phase orderings and shadowed references.Martin Odersky2014-08-241-1/+22
* Refactored TreeTypeMapMartin Odersky2014-08-181-5/+7
* Fixes to TreeTypeMapMartin Odersky2014-08-181-2/+2
* Fixing handling of self in DeepTypeMap#mapClassInfoMartin Odersky2014-08-181-5/+5
* Add matchesLooselyMartin Odersky2014-08-121-0/+10
* Add SyntheticMethods miniphaseMartin Odersky2014-08-111-1/+5
* LazyRefs break cycles for unpickled typesMartin Odersky2014-08-081-4/+11
* Detect cycles and protected legal ones with LazyRefsMartin Odersky2014-08-081-2/+29
* Type#foreachPartMartin Odersky2014-08-031-3/+9
* Enabled variance checkingMartin Odersky2014-08-031-0/+1
* Fixed underlyingIfRepeated.Martin Odersky2014-08-031-12/+0
* Add varargs bridge methodsMartin Odersky2014-08-031-0/+9
* Eliminate JavaRepeatedParamClassMartin Odersky2014-08-031-6/+8
* Defined substitution which follows aliasesMartin Odersky2014-07-221-3/+10
* Merge pull request #152 from dotty-staging/fux/substThisDmitry Petrashko2014-07-211-0/+4
|\