aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
| * | Refactored common behavior from TypeAssigner and TypeErasureMartin Odersky2014-12-173-22/+19
| * | Treat i0239 specially. It shows some problems that could be of interest.Dmitry Petrashko2014-12-171-0/+1
| * | Make erasure insert `.package` in refernecesDmitry Petrashko2014-12-171-0/+4
|/ /
* | Merge pull request #251 from dotty-staging/shared-backendDmitry Petrashko2014-12-1773-76/+3900
|\ \
| * | Enable backend specific tests. Flag those that failDmitry Petrashko2014-12-162-15/+25
| * | Stay compatible with scalac and javac in -d cli optionDmitry Petrashko2014-12-161-1/+1
| * | 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
| * | Update version of scalac forkDmitry Petrashko2014-12-162-2/+2
| * | Fix concatenation of multiple stringsDmitry Petrashko2014-12-161-1/+1
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 11:37:50 +0000