aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* 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
* Disable implicit conversions between from `Null` and `Nothing`.Martin Odersky2014-12-131-1/+3
* Merge pull request #277 from dotty-staging/change/drop-not-nullodersky2014-12-135-10/+10
|\
| * Remove obsolete mentions of the NotNull classGuillaume Martres2014-12-132-2/+2
| * Drop NotNull class and associated code.Martin Odersky2014-12-134-7/+2
| * Fix subtyping of null and refined types.Martin Odersky2014-12-131-1/+6
* | Fix #248: Class cannot inherit from refinement typesMartin Odersky2014-12-133-14/+20
|/
* Merge pull request #274 from smarter/fix/period-of-phasesDmitry Petrashko2014-12-131-2/+2
|\
| * Phases: set the period correctlyGuillaume Martres2014-12-121-1/+1
| * Phases: The operator <= does not need a context anymoreGuillaume Martres2014-12-121-1/+1
* | Merge pull request #265 from dotty-staging/fix/type-seqliteralDmitry Petrashko2014-12-122-2/+9
|\ \ | |/ |/|
| * Better typing of seqLiteral in erasure.Martin Odersky2014-12-052-3/+6
| * Pass right prototype to SeqLiteral elements.Martin Odersky2014-12-051-0/+4
* | Fix by-name argumentsMartin Odersky2014-12-054-16/+17
* | Fixed formatting (wrong indentation)Martin Odersky2014-12-051-1/+1
* | Simplified code a bitMartin Odersky2014-12-051-11/+7
* | Fix erasure of trait infoMartin Odersky2014-12-054-26/+47
* | Merge pull request #261 from dotty-staging/fix/type-seqliteralDmitry Petrashko2014-12-046-7/+58
|\|
| * Add new SeqLiterals phase.Martin Odersky2014-12-032-0/+50
| * Replace `==` with `eq` when determining unique typesMartin Odersky2014-12-031-4/+5
| * Simplification in type assigning SeqLiteralsMartin Odersky2014-12-032-2/+1
| * made ArrayType constructor phase awareMartin Odersky2014-12-031-1/+2
* | Merge pull request #260 from dotty-staging/fix/method-implsDmitry Petrashko2014-12-033-24/+44
|\ \ | |/ |/|
| * Make sure all non-deferred methods are implementedMartin Odersky2014-12-033-24/+44
* | Fix TreeTransfrom ignoring SeqLiterals.Dmitry Petrashko2014-12-031-1/+1
|/
* Merge pull request #254 from dotty-staging/fix/newArray-v2Dmitry Petrashko2014-12-0111-15/+107
|\
| * Previous scheme was buggy; leaked Array types to backend.Martin Odersky2014-11-2811-15/+107
* | Merge pull request #242 from dotty-staging/fix/mixinsDmitry Petrashko2014-11-263-12/+19
|\ \ | |/ |/|
| * Removed println's left accidentally in code base.Martin Odersky2014-11-261-2/+0
| * Fixed data race in ResolveSuperMartin Odersky2014-11-262-10/+15
| * Fix of intersection not emptyMartin Odersky2014-11-261-2/+6
* | Allow refinements that refine already refined types.Martin Odersky2014-11-262-8/+36
|/
* Simpler cycle detectionMartin Odersky2014-11-243-23/+15
* Fixed cycle detection.Martin Odersky2014-11-242-1/+20
* Cyclicity checking independent of positions.Martin Odersky2014-11-241-1/+5
* Updated refinement checking.Martin Odersky2014-11-242-8/+50
* Better printing of variant types with wildcard arguments.Martin Odersky2014-11-242-6/+20
* checkBounds refactoringMartin Odersky2014-11-244-30/+44
* Take off the training wheels for refined type comparisons.Martin Odersky2014-11-241-19/+2
* Fix to checkBoundsMartin Odersky2014-11-242-4/+8
* Fixes in TypeComparer for RefinedTypes.Martin Odersky2014-11-243-46/+73
* Changed underlying type of RefinedThisMartin Odersky2014-11-241-1/+1
* More robust isSetter test.Martin Odersky2014-11-241-1/+1
* More robust TypeVar printing.Martin Odersky2014-11-241-3/+7
* Fixed type adaptation problem in checkBoundsMartin Odersky2014-11-241-1/+3
* Make reduceProjection use lookupRefinedMartin Odersky2014-11-241-69/+48
* Improve simplifications of type projections.Martin Odersky2014-11-242-1/+40
* Do not skip packages in FirstTransformDmitry Petrashko2014-11-221-1/+2
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-24 12:16:17 +0000