aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeOps.scala
Commit message (Expand)AuthorAgeFilesLines
* Rename baseType -> baseTypeRefMartin Odersky2014-03-021-2/+2
* Performance improvement: Avoid most operations in interpolateUndetVarsMartin Odersky2014-02-251-48/+0
* Performance improvements: Changes to TypeAccumulators and variances.Martin Odersky2014-02-241-0/+48
* Performance tuning: Inline TypeAlias case for hot maps.Martin Odersky2014-02-211-0/+4
* Reverted: Avoid using TypeBounds in alias refinements.Martin Odersky2014-02-211-2/+2
* Avoid using TypeBounds in alias refinements.Martin Odersky2014-02-211-2/+2
* Two performance optimizationsMartin Odersky2014-02-131-4/+5
* Some changes in the interest of speedups.Martin Odersky2014-02-121-0/+22
* Getting rid of some CompleInCreationContextsMartin Odersky2014-02-091-2/+2
* Making completer take an implicit contextMartin Odersky2014-02-091-2/+2
* Add text markers around "hot" tracing operations.Martin Odersky2014-01-261-2/+2
* For a typeRef, prefer info.isAlias over symbol.isAliasTypeMartin Odersky2014-01-201-1/+1
* Avoid eager forcing in enterArgBindingMartin Odersky2014-01-201-1/+8
* Normalize parent types so that first one always refers to a class, not a trait.Martin Odersky2014-01-191-20/+34
* Normalize parents to be class refsMartin Odersky2013-12-221-3/+4
* Fixes related to SAM types.Martin Odersky2013-12-151-3/+0
* SimpleMap.foreachKey -> foreachBindingMartin Odersky2013-11-291-4/+4
* Using SimpleMap instead of Map for replayability.Martin Odersky2013-11-281-13/+12
* Cleanup of TermRef.withSym and TypeRef.withSymMartin Odersky2013-11-251-1/+1
* Types refactoringsMartin Odersky2013-11-251-4/+8
* Renaming: typeConstructor -> typeRefMartin Odersky2013-11-221-1/+1
* Making as seenfrom reduce types.Martin Odersky2013-11-141-16/+6
* Bringing underlyingIfRepeated up-to-dateMartin Odersky2013-11-111-1/+1
* Added shortcuiting for type argument aliases.Martin Odersky2013-10-101-4/+49
* Bug fixes and improvements in error diagnostics.Martin Odersky2013-09-161-108/+0
* Better robustness in the presence of error types.Martin Odersky2013-08-151-0/+2
* Distribute & into TypeTypes.Martin Odersky2013-06-181-2/+28
* Some annotations and changes prompted by the code walkthrough.Martin Odersky2013-04-221-1/+10
* Re-organized comparisons of types with classes.Martin Odersky2013-04-101-1/+1
* Renamed creation methods of NamedTypesMartin Odersky2013-04-091-1/+1
* Made & , | NoType-aware.Martin Odersky2013-04-051-0/+4
* Added some tracing to asSeenFrom.Martin Odersky2013-04-051-4/+5
* Consolidated tracing under -YdebugTrace.Martin Odersky2013-04-041-1/+3
* Trying to get at the root of cyclic reference problems.Martin Odersky2013-04-041-21/+21
* Improvements in tracing and some Type fixes.Martin Odersky2013-04-031-0/+2
* Fixes fingerprint problems.Martin Odersky2013-03-241-2/+2
* Attempt to fix fingerprint problem (disabled for now)Martin Odersky2013-03-231-4/+6
* More fixes for classfile reading.Martin Odersky2013-03-221-0/+2
* Added emulation of higher-kinded types.Martin Odersky2013-03-171-1/+3
* Various fixes to make classfile loading work.Martin Odersky2013-03-151-2/+2
* Checking abstractness of types by their flags.Martin Odersky2013-03-121-8/+3
* Split filterAsSeenFrom and generalized flag handling.Martin Odersky2013-03-121-1/+1
* Finished polishing of Types and TypeOps.Martin Odersky2013-03-061-10/+6
* Streamlined implementation of asSeenFromMartin Odersky2013-03-061-15/+8
* More polishing of types.Martin Odersky2013-03-051-17/+13
* Rewrite of isVolatileMartin Odersky2013-03-041-43/+29
* Renamed RefinedType#name, #info…Martin Odersky2013-03-041-5/+5
* Split scopes into immutable and mutable parts.Martin Odersky2013-03-031-1/+1
* Polishing of denotationsMartin Odersky2013-03-021-2/+5
* Refactoring and cleanup of several symbol creation related aspects.Martin Odersky2013-02-241-1/+1