aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Types.scala
Commit message (Expand)AuthorAgeFilesLines
* Simplify TypeAlias#unapplyGuillaume Martres2014-12-171-4/+1
* Merge pull request #251 from dotty-staging/shared-backendDmitry Petrashko2014-12-171-0/+13
|\
| * Update docs and make memberClasses uses typeNameFilter.Dmitry Petrashko2014-12-161-4/+4
| * Add member lookups needed by backend.Dmitry Petrashko2014-12-161-0/+13
* | Merge pull request #270 from dotty-staging/change/type-aliasesodersky2014-12-171-75/+74
|\ \ | |/ |/|
| * Get rid of TypeBounds.onAliasMartin Odersky2014-12-101-3/+0
| * Revert TypeBounds.real to TypeBounds.applyMartin Odersky2014-12-101-8/+8
| * Make derivedTypeBounds always create real TypeBounds.Martin Odersky2014-12-101-1/+1
| * Refactor & and | on TypeBoundsMartin Odersky2014-12-101-20/+23
| * Distinguish calls to create real type bounds from alias type bounds.Martin Odersky2014-12-101-18/+19
| * Moved derivedTypeAlias method to TypeAliasMartin Odersky2014-12-101-40/+33
| * Converted some TypeBounds pattern matches to TypeAlias matches.Martin Odersky2014-12-101-8/+5
| * TypeAlias unapply accepts only Type AliasesMartin Odersky2014-12-101-3/+5
| * Create TypeAlias subclass of TypeBouundsMartin Odersky2014-12-101-13/+12
| * Add equality method to TypeBounds.Martin Odersky2014-12-101-0/+7
* | add stripAnnots method to Type to unwrap AnnotatedTypesOndrej Lhotak2014-12-131-0/+5
* | fix dealias to handle AnnotatedTypes transparentlyOndrej Lhotak2014-12-131-0/+2
* | fix stripTypeVar to handle AnnotatedType transparentlyOndrej Lhotak2014-12-131-0/+2
* | Fix #248: Class cannot inherit from refinement typesMartin Odersky2014-12-131-5/+10
|/
* Fixed data race in ResolveSuperMartin Odersky2014-11-261-4/+6
* Simpler cycle detectionMartin Odersky2014-11-241-3/+4
* Fixes in TypeComparer for RefinedTypes.Martin Odersky2014-11-241-2/+5
* Changed underlying type of RefinedThisMartin Odersky2014-11-241-1/+1
* Make reduceProjection use lookupRefinedMartin Odersky2014-11-241-69/+48
* Improve simplifications of type projections.Martin Odersky2014-11-241-0/+33
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 17:54:42 +0000