aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Inferencing.scala
Commit message (Expand)AuthorAgeFilesLines
* Clean up config.Printers importsOlivier Blanvillain2016-09-231-1/+1
* Handle complex context merging casesMartin Odersky2016-08-261-1/+2
* Suspend interpolating typevars when there are unreported errors.Martin Odersky2016-08-161-6/+32
* Drop Config.checkKindsMartin Odersky2016-07-111-1/+1
* Refactorings of GenericTypes and underlying/upperboundMartin Odersky2016-07-111-1/+1
* Get rid of BindingKindMartin Odersky2016-07-111-4/+0
* Allow for HK types in widenForMatchSelectorMartin Odersky2016-07-111-2/+4
* Various tweaksMartin Odersky2016-07-111-1/+1
* Adapt widenForMatchSelector to new HK schemeMartin Odersky2016-07-111-3/+9
* Comment out debug printlnMartin Odersky2016-04-221-1/+1
* Always minimize type variables when interpolating an expected type of an impl...Martin Odersky2016-04-211-6/+7
* Refactor DiagnosticMartin Odersky2016-02-231-1/+0
* Add isBottomType/Class tests to DefinitionsMartin Odersky2015-12-111-4/+1
* Swap order of arguments in annotationsMartin Odersky2015-11-221-1/+1
* Fix issue that prevented instantiating some tvars before implicit searchGuillaume Martres2015-10-251-1/+1
* Remove disgnostic printlnMartin Odersky2015-10-211-1/+1
* Move Inferencing out of the Typer cakeGuillaume Martres2015-10-091-42/+1
* Generalize set of typevars instantiated before implicit searchMartin Odersky2015-09-181-22/+35
* Fixes #739Martin Odersky2015-09-181-6/+38
* Change algorithm that computes instantiation directionMartin Odersky2015-09-181-8/+44
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-14 17:55:43 +0000