aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Split off ConstraintHandling into separate trait.Martin Odersky2015-01-104-272/+285
* Removed some checksMartin Odersky2015-01-102-12/+1
* Made refinement subtype fastpath insensitive to RefineedThis#binder.Martin Odersky2015-01-092-6/+13
* TypeComparer cleanups.Martin Odersky2015-01-091-54/+56
* More aggressive reduction in lookupRefinedThis.Martin Odersky2015-01-093-26/+42
* Simplification for lookupRefinedMartin Odersky2015-01-091-5/+1
* Made fast path for refined subtype checking configurable.Martin Odersky2015-01-092-2/+6
* Remove unnecessary nested methods in TypeComparer.Martin Odersky2015-01-091-497/+478
* New fast path for checking refined types.Martin Odersky2015-01-091-8/+44
* Fix problem in constraint handlingMartin Odersky2015-01-092-80/+105
* Optimize for case where RefinedThis is absentMartin Odersky2015-01-092-3/+9
* Refacttored skolemization logicMartin Odersky2015-01-085-133/+150
* Remove choice between new and old scheme for subtyping refined types.Martin Odersky2015-01-082-189/+17
* Simplify and fix bounds propagation in constraints.Martin Odersky2015-01-083-120/+150
* New scheme for subtyping refined types.Martin Odersky2015-01-083-53/+139
* Add transitive check for cycles in constraints.Martin Odersky2015-01-082-1/+53
* Add deSkolemize method.Martin Odersky2015-01-082-1/+103
* Fixed bug that caused error message to be suppressed.Martin Odersky2015-01-082-12/+8
* Deleted diagnostics output that caused cyclic referencesMartin Odersky2015-01-061-1/+0
* Make findMember depend on RefinedThis level.Martin Odersky2015-01-034-23/+145
* Show level for RefinedThisMartin Odersky2015-01-031-2/+2
* isSubType reorgMartin Odersky2015-01-011-99/+112
* Extended refinementRefersToThis to alias types.Martin Odersky2015-01-011-6/+4
* Make use of refinementRefersToThis in lookupRefinement.Martin Odersky2015-01-011-28/+15
* Removed debug printlnMartin Odersky2015-01-011-1/+1
* Provide the correct levels for RefinedThis types.Martin Odersky2015-01-017-22/+38
* Reorg of subtyping.Martin Odersky2015-01-018-446/+505
* Better name for patternMartin Odersky2014-12-311-1/+1
* Handle subtyping cases involving null.Martin Odersky2014-12-221-6/+8
* test reorgMartin Odersky2014-12-214-1/+3
* tests reorgsMartin Odersky2014-12-216-0/+35
* Don't emit copy method for case classes with repeated parameters.Martin Odersky2014-12-202-1/+5
* New passing tests.Martin Odersky2014-12-192-0/+31
* Harden implicit scope computation against CyclicReference errors.Martin Odersky2014-12-194-33/+6
* Removed dead code.Martin Odersky2014-12-191-5/+1
* Fix isUnboundedGeneric for alias types.Martin Odersky2014-12-192-3/+55
* Avoid name clashes when generating synthetic companion objects.Martin Odersky2014-12-195-7/+31
* Eliminate unused method from RefChecks.Martin Odersky2014-12-191-6/+0
* Test re-org.Martin Odersky2014-12-196-23/+3
* Fix NoCyclicReference testMartin Odersky2014-12-192-11/+11
* Disable context escape detectionMartin Odersky2014-12-191-2/+3
* Merge pull request #271 from dotty-staging/fix/i268-gadtsodersky2014-12-196-45/+67
|\
| * Made gadt map better encapsulated.Martin Odersky2014-12-163-3/+8
| * Fixed #264 - failure to typecheck GADTsMartin Odersky2014-12-166-45/+62
* | Merge pull request #308 from smarter/change/Ylog-2odersky2014-12-183-18/+23
|\ \
| * | -Ylog:X now only log phase X, use -Ylog:X+ to also log phase X+1Guillaume Martres2014-12-183-18/+23
* | | Merge pull request #307 from smarter/simplify/TypeAlias-unapplyodersky2014-12-181-4/+1
|\ \ \
| * | | Simplify TypeAlias#unapplyGuillaume Martres2014-12-171-4/+1
| |/ /
* | | Merge pull request #303 from dotty-staging/fix-packageObjects-members-erasureDmitry Petrashko2014-12-184-18/+25
|\ \ \ | |/ / |/| |
| * | Simplified and commented makePackageObjPrefixExplicitMartin Odersky2014-12-173-4/+9
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 17:39:53 +0000