aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Types.scala
Commit message (Expand)AuthorAgeFilesLines
* Allow byname repated parametersMartin Odersky2015-04-241-2/+4
* Fix #492. Traits that require an outer pointer are not SAMs.Dmitry Petrashko2015-04-231-4/+4
* New method on types: givenSelfTypeMartin Odersky2015-04-131-14/+31
* Ensure spaces after `if` in Dotty source.Dmitry Petrashko2015-04-091-1/+1
* Remove trailing spaces in Dotty source.Dmitry Petrashko2015-04-091-29/+29
* Refactor checking in NamedTypes.Dmitry Petrashko2015-04-081-9/+4
* Change of TERMREFsymbol/TYPEREFsymbol semanticsMartin Odersky2015-04-071-6/+10
* Fixes to double binding check.Martin Odersky2015-04-071-3/+8
* Allow change of symbols in WithFixedSym#newLikeThisMartin Odersky2015-04-071-2/+5
* Rename inheritedName -> shadowedNameMartin Odersky2015-03-181-2/+2
* Deal gracefully with out-of-scope references wehn unpicklingMartin Odersky2015-03-181-1/+2
* Avoid annotations being dropped by stripTypeVarMartin Odersky2015-03-181-1/+2
* More careful determination of MethodType#isDependentMartin Odersky2015-03-181-9/+18
* Fix variance of type prefixes in TypeMap and TypeAccumulatorMartin Odersky2015-03-181-28/+18
* Stop type inference from creating oprphans.Martin Odersky2015-03-181-1/+5
* Fix of the escaping MethodParam problemMartin Odersky2015-02-121-51/+88
* New spec and implementation for matching.Martin Odersky2015-02-071-6/+10
* correct spelling mistakes in commentsOndrej Lhotak2015-01-311-9/+9
* Merge pull request #338 from dotty-staging/fix/t3152-findMemberodersky2015-01-311-0/+12
|\
| * Take constrained parameter bounds into account for findMemberMartin Odersky2015-01-271-0/+12
* | Merge pull request #331 from dotty-staging/fix/refined-subtypingodersky2015-01-311-42/+58
|\ \
| * | Fixups taking into account reviewer's comments.Martin Odersky2015-01-271-1/+1
| |/
| * New constraint handlingMartin Odersky2015-01-181-1/+1
| * Allow to merge TypeBounds and ClassInfos in |, &Martin Odersky2015-01-141-0/+1
| * Added structural equals method to PolyParamsMartin Odersky2015-01-131-0/+6
| * Made constraint data structures pluggable.Martin Odersky2015-01-121-1/+1
| * Rename RefinedThis -> SkolemTypeMartin Odersky2015-01-101-24/+19
| * Reverting the idea that RefinedThis types take levels.Martin Odersky2015-01-101-52/+11
| * Split off ConstraintHandling into separate trait.Martin Odersky2015-01-101-0/+2
| * Removed some checksMartin Odersky2015-01-101-11/+0
| * More aggressive reduction in lookupRefinedThis.Martin Odersky2015-01-091-25/+16
| * Simplification for lookupRefinedMartin Odersky2015-01-091-5/+1
| * Optimize for case where RefinedThis is absentMartin Odersky2015-01-091-1/+3
| * Refacttored skolemization logicMartin Odersky2015-01-081-6/+0
| * Make findMember depend on RefinedThis level.Martin Odersky2015-01-031-7/+65
| * Extended refinementRefersToThis to alias types.Martin Odersky2015-01-011-6/+4
| * Make use of refinementRefersToThis in lookupRefinement.Martin Odersky2015-01-011-28/+15
| * Provide the correct levels for RefinedThis types.Martin Odersky2015-01-011-3/+7
| * Reorg of subtyping.Martin Odersky2015-01-011-4/+38
* | make TypeMap also map over types in the annotation tree of AnnotatedTypeOndrej Lhotak2015-01-221-1/+1
* | fix TypeMap.mapOver to not drop type annotationsOndrej Lhotak2015-01-211-1/+1
* | add comment for ExprTypeOndrej Lhotak2015-01-141-0/+1
* | clarify comment about TypeVarOndrej Lhotak2015-01-141-3/+6
* | Merge pull request #313 from dotty-staging/more-testsDmitry Petrashko2015-01-091-1/+1
|\|
| * Harden implicit scope computation against CyclicReference errors.Martin Odersky2014-12-191-1/+1
* | Merge pull request #310 from dotty-staging/fix/#305-annot-bootstrapDmitry Petrashko2014-12-311-1/+1
|\ \ | |/ |/|
| * More careful usage of unforced decls in classes.Martin Odersky2014-12-181-1/+1
* | 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 06:01:17 +0000