aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Update and rename readme.md to README.mdVlad Ureche2014-02-062-28/+6
* Commenting out unused alternative isSubType implementation.Martin Odersky2014-02-032-286/+292
* Dropping eligibility of conforms as an implicit conversion.Martin Odersky2014-02-031-8/+3
* Fine-tuning contexts for resolve overloadingMartin Odersky2014-02-031-1/+1
* More robust constant foldingMartin Odersky2014-02-031-2/+7
* New benchmark class that allows tuning for #compilers and #runsMartin Odersky2014-02-032-7/+15
* Fix problems with TypeVar instantiationMartin Odersky2014-02-034-10/+16
* Optimize subtype test between refined types with multiple refinementsMartin Odersky2014-02-032-8/+84
* Relaxing check that implicits must have explicit return typeMartin Odersky2014-02-028-11/+11
* Improve eligible caching in implicit search.Martin Odersky2014-02-022-1/+12
* Adding checks for implicit definitionsMartin Odersky2014-02-022-1/+24
* Avoid accessing implicits that come from root imports that are hidden by some...Martin Odersky2014-02-026-14/+39
* wip for implicits handling root imports.Martin Odersky2014-02-022-9/+11
* Cheaper eligibility test for PolyTypes.Martin Odersky2014-02-022-10/+18
* Fix checking for disabled root importsMartin Odersky2014-02-022-5/+16
* Rename dotty.Predef -> dotty.DottyPredefMartin Odersky2014-02-022-2/+2
* Refactoring implicit discardsMartin Odersky2014-02-012-27/+42
* Revert "Dropping a type annotation, which is no longer needed."Martin Odersky2014-02-011-1/+2
* Make argument types of viewproto undergo WildApprox before testing for eligib...Martin Odersky2014-02-013-15/+25
* Dropping a type annotation, which is no longer needed.Martin Odersky2014-01-311-2/+1
* Replacing most occurrences of HashMap with AnyRefMapMartin Odersky2014-01-307-31/+43
* Performance improvements to NamedType#denotMartin Odersky2014-01-301-29/+48
* Add early discarding of methods for eligible check.Martin Odersky2014-01-292-6/+33
* Better implicit loggingMartin Odersky2014-01-292-5/+20
* Implements refined printing of ViewProtoMartin Odersky2014-01-291-0/+3
* Fixing equality for selection protosMartin Odersky2014-01-292-7/+12
* Better tracking of implicit searchMartin Odersky2014-01-292-4/+14
* Selective caching of SelectionProtos and ViewProtosMartin Odersky2014-01-276-74/+112
* Cache result of narrow on Methods.Martin Odersky2014-01-272-2/+16
* Accept method types directly in isApplicable.Martin Odersky2014-01-274-18/+24
* Instrumentation on total isSubType calls.Martin Odersky2014-01-261-4/+9
* New treatment of uniquesMartin Odersky2014-01-2610-145/+300
* Refactored RefinedTypes to favor the case where refinedInfo is independent of...Martin Odersky2014-01-262-8/+17
* Better caching of typesMartin Odersky2014-01-262-20/+31
* Special casing of numeric widenings in viewExistsMartin Odersky2014-01-261-2/+13
* Some more statistic samplingMartin Odersky2014-01-268-32/+68
* Update to 2.11Martin Odersky2014-01-262-11/+4
* Statistics now also computes call counts of tracked operations.Martin Odersky2014-01-261-5/+23
* Add text markers around "hot" tracing operations.Martin Odersky2014-01-264-7/+7
* Breaking out gc() method in TyperState.Martin Odersky2014-01-262-9/+30
* Fixes to constraint handling.Martin Odersky2014-01-269-1462/+309
* Fixing two bugs in subtype checking that cancelled each other out.Martin Odersky2014-01-262-9/+8
* Try to dealias LHS in <:< where possible.Martin Odersky2014-01-261-4/+4
* Break out suboperations in separate methods...Martin Odersky2014-01-261-66/+90
* Move GADT tests earlier in subtype algorithmsMartin Odersky2014-01-261-15/+17
* Prune useless subtyping tests.Martin Odersky2014-01-261-11/+33
* Split TermRefs with underlying OrTypes.Martin Odersky2014-01-261-6/+20
* wip on typecomparersMartin Odersky2014-01-263-38/+317
* Refactoctored widening operations.Martin Odersky2014-01-261-8/+7
* Merge pull request #6 from VladUreche/topic/buildVlad Ureche2014-01-248-13/+118
|\
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-18 11:57:15 +0000