aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer
Commit message (Expand)AuthorAgeFilesLines
* New constraint handlingMartin Odersky2015-01-182-2/+3
* Added alternative TrackingConstraintMartin Odersky2015-01-131-1/+1
* Rename RefinedThis -> SkolemTypeMartin Odersky2015-01-101-1/+1
* Reverting the idea that RefinedThis types take levels.Martin Odersky2015-01-101-1/+1
* New scheme for subtyping refined types.Martin Odersky2015-01-081-1/+4
* Provide the correct levels for RefinedThis types.Martin Odersky2015-01-011-1/+1
* Eliminate unused method from RefChecks.Martin Odersky2014-12-191-6/+0
* Fix NoCyclicReference testMartin Odersky2014-12-191-11/+11
* Merge pull request #271 from dotty-staging/fix/i268-gadtsodersky2014-12-191-8/+22
|\
| * Made gadt map better encapsulated.Martin Odersky2014-12-161-1/+1
| * Fixed #264 - failure to typecheck GADTsMartin Odersky2014-12-161-8/+22
* | Simplified and commented makePackageObjPrefixExplicitMartin Odersky2014-12-171-1/+1
* | Refactored common behavior from TypeAssigner and TypeErasureMartin Odersky2014-12-171-16/+1
* | Fix returns from polymorphic methodsMartin Odersky2014-12-171-18/+29
* | Merge pull request #285 from dotty-staging/fix/catchNonFatalDmitry Petrashko2014-12-174-2/+11
|\ \
| * | Made typedUnApply a hook that has to be overridden in a ReTyper.Martin Odersky2014-12-151-8/+4
| * | Replace Throwable catches with NonFatalMartin Odersky2014-12-152-2/+4
| * | Add a typedUnApply method.Martin Odersky2014-12-152-0/+11
| |/
* | Merge pull request #270 from dotty-staging/change/type-aliasesodersky2014-12-173-23/+21
|\ \
| * | Get rid of TypeBounds.onAliasMartin Odersky2014-12-101-1/+1
| * | Distinguish calls to create real type bounds from alias type bounds.Martin Odersky2014-12-101-1/+1
| * | Moved derivedTypeAlias method to TypeAliasMartin Odersky2014-12-102-22/+20
* | | Merge pull request #282 from dotty-staging/fix/i0239-package-objectsodersky2014-12-161-8/+8
|\ \ \
| * | | Fix #239 - handling of package objectsMartin Odersky2014-12-131-8/+8
* | | | Merge pull request #292 from dotty-staging/fix/#290-type-bindDmitry Petrashko2014-12-162-5/+8
|\ \ \ \
| * | | | Fix typechecking rules for Binds of type trees.Martin Odersky2014-12-152-5/+8
| | |_|/ | |/| |
* / | | Avoid spurious warnings about forward references in refinementsGuillaume Martres2014-12-162-3/+4
|/ / /
* | | Remove fruitless overrides of treeTransformPhaseMartin Odersky2014-12-141-1/+0
* | | Disable implicit conversions between from `Null` and `Nothing`.Martin Odersky2014-12-131-1/+3
|/ /
* / Fix #248: Class cannot inherit from refinement typesMartin Odersky2014-12-132-9/+10
|/
* Simplification in type assigning SeqLiteralsMartin Odersky2014-12-031-1/+1
* Merge pull request #254 from dotty-staging/fix/newArray-v2Dmitry Petrashko2014-12-013-3/+12
|\
| * Previous scheme was buggy; leaked Array types to backend.Martin Odersky2014-11-283-3/+12
* | Merge pull request #242 from dotty-staging/fix/mixinsDmitry Petrashko2014-11-261-2/+4
|\ \ | |/ |/|
| * Removed println's left accidentally in code base.Martin Odersky2014-11-261-2/+0
| * Fix of intersection not emptyMartin Odersky2014-11-261-2/+6
* | Allow refinements that refine already refined types.Martin Odersky2014-11-261-1/+1
|/
* Simpler cycle detectionMartin Odersky2014-11-241-18/+11
* Fixed cycle detection.Martin Odersky2014-11-241-1/+18
* Cyclicity checking independent of positions.Martin Odersky2014-11-241-1/+5
* Updated refinement checking.Martin Odersky2014-11-242-8/+50
* checkBounds refactoringMartin Odersky2014-11-242-24/+7
* Fix to checkBoundsMartin Odersky2014-11-241-2/+2
* For Java constructors, do not move out to ctx.outerOndrej Lhotak2014-11-221-1/+4
* remove debugging printlnOndrej Lhotak2014-11-221-3/+1
* add comment to explain why refctx passed explicitly to selectionTypeOndrej Lhotak2014-11-221-0/+2
* add comment explaining why checkValue skips Java compilation unitsOndrej Lhotak2014-11-221-0/+2
* Java Select: try typing as both SelectFromTypeTree and SelectOndrej Lhotak2014-11-221-5/+36
* Initial implementation of Java scanner and parserOndrej Lhotak2014-11-222-2/+5
* Rename PolyType.copy method. It clashes with generated one.Dmitry Petrashko2014-11-221-1/+1
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 05:23:06 +0000