aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeOps.scala
Commit message (Expand)AuthorAgeFilesLines
* Reverting the idea that RefinedThis types take levels.Martin Odersky2015-01-101-15/+0
* Refacttored skolemization logicMartin Odersky2015-01-081-102/+0
* Add deSkolemize method.Martin Odersky2015-01-081-0/+102
* Provide the correct levels for RefinedThis types.Martin Odersky2015-01-011-1/+16
* Simplified and commented makePackageObjPrefixExplicitMartin Odersky2014-12-171-2/+7
* Refactored common behavior from TypeAssigner and TypeErasureMartin Odersky2014-12-171-1/+15
* Merge pull request #270 from dotty-staging/change/type-aliasesodersky2014-12-171-6/+7
|\
| * Moved derivedTypeAlias method to TypeAliasMartin Odersky2014-12-101-4/+4
| * Converted some TypeBounds pattern matches to TypeAlias matches.Martin Odersky2014-12-101-2/+3
* | Fix to asSeenFrom for package object membersMartin Odersky2014-12-151-0/+2
|/
* checkBounds refactoringMartin Odersky2014-11-241-0/+36
* Fixes in TypeComparer for RefinedTypes.Martin Odersky2014-11-241-2/+2
* Improve simplifications of type projections.Martin Odersky2014-11-241-1/+7
* Fixes for type argument handling.Martin Odersky2014-11-151-3/+5
* Make ThisTypes take TypeRefs instead of ClassSymbolsMartin Odersky2014-08-271-3/+3
* Appromiximate union types by intersections.Martin Odersky2014-03-201-0/+31
* Added auto-tupling.Martin Odersky2014-03-201-0/+5
* Add language feature mechanismMartin Odersky2014-03-201-0/+34
* Added lost comment to isVolatile.Martin Odersky2014-03-121-0/+16
* Fix of #50 - volatileMartin Odersky2014-03-091-17/+55
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-24 11:37:14 +0000