aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Constraint.scala
Commit message (Expand)AuthorAgeFilesLines
* Clean up config.Printers importsOlivier Blanvillain2016-09-231-1/+1
* Implement constraint mergingMartin Odersky2016-08-261-0/+3
* New string infterpolatorsMartin Odersky2016-08-161-1/+1
* Address reviewers commentsMartin Odersky2016-07-111-1/+1
* Less eager removal of type parameters from constraintMartin Odersky2016-07-111-5/+4
* Refactoring of PolyType and TypeLambdaMartin Odersky2016-07-111-5/+5
* Avoid junk produced by Constraint#replace.Martin Odersky2015-06-221-0/+3
* Remove trailing spaces in Dotty source.Dmitry Petrashko2015-04-091-27/+27
* Fixups taking into account reviewer's comments.Martin Odersky2015-01-271-2/+4
* Added explanation to comment.Martin Odersky2015-01-241-1/+2
* Replace only substitutes top-level types.Martin Odersky2015-01-241-1/+2
* New constraint implementation: OrderingConstraintMartin Odersky2015-01-241-1/+1
* New constraint method: narrowBoundMartin Odersky2015-01-231-0/+6
* New constraint handlingMartin Odersky2015-01-181-52/+39
* Added alternative TrackingConstraintMartin Odersky2015-01-131-5/+5
* Made constraint data structures pluggable.Martin Odersky2015-01-121-441/+95
* Add transitive check for cycles in constraints.Martin Odersky2015-01-081-0/+38
* Create TypeAlias subclass of TypeBouundsMartin Odersky2014-12-101-2/+4
* Adding dependency tracking to constraint satisfactionMartin Odersky2014-05-081-8/+142
* Tightened satisfiablity checks.Martin Odersky2014-05-081-0/+12
* Fix of TyperState#instTypeMartin Odersky2014-05-081-1/+4
* Improve test infrastructureMartin Odersky2014-03-101-1/+2
* Performance improvement: Cache uninstatiated typevars in constraintsMartin Odersky2014-02-211-12/+17
* Move maxConstraint computation to RunInfo to avoid references to stale symbols.Martin Odersky2014-02-091-9/+10
* Fixes to constraint handling.Martin Odersky2014-01-261-10/+48
* When instantiating a type var, need to map back from polyparams to typevars.Martin Odersky2014-01-131-0/+9
* New subtype constraint maintenance algorithm.Martin Odersky2014-01-071-29/+26
* Check that constraints are not cyclic, and avoid cycles when replacing parame...Martin Odersky2013-12-311-4/+44
* SimpleMap.foreachKey -> foreachBindingMartin Odersky2013-11-291-9/+9
* Tightening (constraint contains param) conditionMartin Odersky2013-11-281-1/+1
* Dropping cinsistency checking logic from typerstates.Martin Odersky2013-11-221-2/+10
* Consolidation of TyperState and ConstraintMartin Odersky2013-11-211-28/+90
* Better encapsulation for constraints.Martin Odersky2013-11-201-29/+40
* Splitting constraint.appky into at, bounds, contains.Martin Odersky2013-11-201-2/+7
* More tweaksMartin Odersky2013-11-201-0/+6
* Reporting max constraintMartin Odersky2013-11-101-19/+23
* Bug fixes and improvements in error diagnostics.Martin Odersky2013-09-161-5/+10
* Improvements in implicits error reportingMartin Odersky2013-09-061-2/+2
* File renameMartin Odersky2013-09-051-0/+117
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-13 19:33:50 +0000