aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core
Commit message (Expand)AuthorAgeFilesLines
* Made constraint data structures pluggable.Martin Odersky2015-01-127-456/+508
* Adapted Skolemization to new handling of skolems.Martin Odersky2015-01-111-12/+24
* Simplified condition in isSubType.Martin Odersky2015-01-101-2/+2
* Rename RefinedThis -> SkolemTypeMartin Odersky2015-01-105-44/+37
* Reverting the idea that RefinedThis types take levels.Martin Odersky2015-01-106-160/+42
* 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-091-5/+12
* TypeComparer cleanups.Martin Odersky2015-01-091-54/+56
* More aggressive reduction in lookupRefinedThis.Martin Odersky2015-01-092-25/+41
* Simplification for lookupRefinedMartin Odersky2015-01-091-5/+1
* Made fast path for refined subtype checking configurable.Martin Odersky2015-01-091-2/+2
* 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-091-80/+100
* 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-081-188/+16
* Simplify and fix bounds propagation in constraints.Martin Odersky2015-01-081-117/+146
* New scheme for subtyping refined types.Martin Odersky2015-01-081-52/+135
* Add transitive check for cycles in constraints.Martin Odersky2015-01-081-0/+38
* Add deSkolemize method.Martin Odersky2015-01-082-1/+103
* Fixed bug that caused error message to be suppressed.Martin Odersky2015-01-081-9/+8
* Make findMember depend on RefinedThis level.Martin Odersky2015-01-034-23/+145
* 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-016-21/+37
* Reorg of subtyping.Martin Odersky2015-01-013-444/+478
* Handle subtyping cases involving null.Martin Odersky2014-12-221-6/+8
* Harden implicit scope computation against CyclicReference errors.Martin Odersky2014-12-192-2/+6
* Avoid name clashes when generating synthetic companion objects.Martin Odersky2014-12-193-5/+20
* Merge pull request #271 from dotty-staging/fix/i268-gadtsodersky2014-12-194-37/+30
|\
| * Made gadt map better encapsulated.Martin Odersky2014-12-162-2/+7
| * Fixed #264 - failure to typecheck GADTsMartin Odersky2014-12-164-37/+25
* | Merge pull request #308 from smarter/change/Ylog-2odersky2014-12-181-6/+13
|\ \
| * | -Ylog:X now only log phase X, use -Ylog:X+ to also log phase X+1Guillaume Martres2014-12-181-6/+13
* | | Merge pull request #307 from smarter/simplify/TypeAlias-unapplyodersky2014-12-181-4/+1
|\ \ \
| * | | Simplify TypeAlias#unapplyGuillaume Martres2014-12-171-4/+1
| |/ /
* | | Simplified and commented makePackageObjPrefixExplicitMartin Odersky2014-12-171-2/+7
* | | Refactored common behavior from TypeAssigner and TypeErasureMartin Odersky2014-12-171-1/+15
|/ /
* | Merge pull request #251 from dotty-staging/shared-backendDmitry Petrashko2014-12-177-5/+29
|\ \
| * | Make String_valueOf_Object agnostic of whether it runs before or after erasureDmitry Petrashko2014-12-161-1/+1
| * | Update docs and make memberClasses uses typeNameFilter.Dmitry Petrashko2014-12-161-4/+4
| * | Fix concatenation of multiple stringsDmitry Petrashko2014-12-161-1/+1
| * | Fix loading of static methods in java.lang.String.Dmitry Petrashko2014-12-161-1/+1
| * | Add member lookups needed by backend.Dmitry Petrashko2014-12-161-0/+13
| * | Remove duplicate isAnonymousFunctionDmitry Petrashko2014-12-161-1/+1
| * | Hack ClassFileParser to not treat Null$ or Nothing$ as modules.Dmitry Petrashko2014-12-162-1/+6
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 04:00:11 +0000