aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Inferencing.scala
Commit message (Expand)AuthorAgeFilesLines
* Add @sharable annotationMartin Odersky2015-07-061-1/+1
* Correct a large number of typos.Jason Zaugg2015-05-141-3/+3
* Remove trailing spaces in Dotty source.Dmitry Petrashko2015-04-091-2/+2
* Fix variance of type prefixes in TypeMap and TypeAccumulatorMartin Odersky2015-03-181-2/+37
* Stop type inference from creating oprphans.Martin Odersky2015-03-181-3/+11
* Merge pull request #331 from dotty-staging/fix/refined-subtypingodersky2015-01-311-1/+1
|\
| * New constraint handlingMartin Odersky2015-01-181-1/+1
* | fix widenForMatchSelector to transparently handle annotated typesOndrej Lhotak2015-01-211-0/+1
|/
* Fix #248: Class cannot inherit from refinement typesMartin Odersky2014-12-131-8/+9
* Avoid hoisting of local classes out of method bodies.Martin Odersky2014-05-201-1/+1
* replace i"..." by d"..." if string might go into aSamuel Gruetter2014-04-021-2/+2
* move InfoString from ErrorReporting to Decorators andSamuel Gruetter2014-04-021-1/+1
* Renaming clear->setNewMartin Odersky2014-03-311-1/+1
* Rename methods on FreshContext to make mutation obviousDmitry Petrashko2014-03-271-1/+1
* First step towards Typer Reorganization.Martin Odersky2014-03-071-483/+8
* Check that inferred parent classes are feasible.Martin Odersky2014-03-011-3/+17
* Reorganization of template parents.Martin Odersky2014-03-011-38/+40
* Performance improvement: Avoid most operations in interpolateUndetVarsMartin Odersky2014-02-251-22/+24
* Performance improvements: Changes to TypeAccumulators and variances.Martin Odersky2014-02-241-3/+2
* Performance improvement: Specialize folds in accumulators.Martin Odersky2014-02-241-1/+2
* Performance improvement: Cache uninstatiated typevars in constraintsMartin Odersky2014-02-211-5/+2
* Performance tuning: Inline TypeAlias case for hot maps.Martin Odersky2014-02-211-2/+4
* Reverted: Avoid using TypeBounds in alias refinements.Martin Odersky2014-02-211-1/+1
* Performance improvement: inline hasAltWithMartin Odersky2014-02-211-1/+5
* Avoid using TypeBounds in alias refinements.Martin Odersky2014-02-211-1/+1
* Disentangling SelectionProto and RefinedTypeMartin Odersky2014-02-211-28/+21
* Two performance optimizationsMartin Odersky2014-02-131-36/+44
* Catch stale referencesMartin Odersky2014-02-061-4/+0
* Adding checks for implicit definitionsMartin Odersky2014-02-021-1/+19
* Refactoring implicit discardsMartin Odersky2014-02-011-25/+1
* Make argument types of viewproto undergo WildApprox before testing for eligib...Martin Odersky2014-02-011-10/+10
* Add early discarding of methods for eligible check.Martin Odersky2014-01-291-3/+31
* Fixing equality for selection protosMartin Odersky2014-01-291-6/+8
* Selective caching of SelectionProtos and ViewProtosMartin Odersky2014-01-271-31/+100
* Accept method types directly in isApplicable.Martin Odersky2014-01-271-3/+7
* New treatment of uniquesMartin Odersky2014-01-261-1/+2
* Refactored RefinedTypes to favor the case where refinedInfo is independent of...Martin Odersky2014-01-261-1/+1
* Fixes to constraint handling.Martin Odersky2014-01-261-7/+5
* For a typeRef, prefer info.isAlias over symbol.isAliasTypeMartin Odersky2014-01-201-10/+3
* Normalize parent types so that first one always refers to a class, not a trait.Martin Odersky2014-01-191-0/+42
* Refinement of fully-defined accumulator.Martin Odersky2014-01-191-4/+10
* Avoid SuppressedError exceptionsMartin Odersky2014-01-171-2/+2
* Flag multiple overloaded variants with default arguments as an error.Martin Odersky2014-01-161-0/+4
* Allow views when matching the result type of a selection prototype.Martin Odersky2014-01-151-10/+13
* Better error message for double definitions.Martin Odersky2014-01-141-5/+9
* Extend type maps and type accumulators to prototypesMartin Odersky2014-01-131-0/+31
* Redo isFullyDefinedAccumulatorMartin Odersky2014-01-131-22/+43
* Special case Unit for result type conformance check.Martin Odersky2014-01-091-1/+1
* Refactoring Reporter.isSlent -> errorCount, wasSilentMartin Odersky2014-01-091-3/+4
* Mapping over a SelectionProto should give a SelectionProto, not a RefinedType.Martin Odersky2014-01-081-0/+8
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 19:32:18 +0000