aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TyperState.scala
Commit message (Expand)AuthorAgeFilesLines
* CleanupsMartin Odersky2016-10-021-1/+1
* Add comment missing from last PRMartin Odersky2016-10-021-0/+12
* TyperState refactoring.Martin Odersky2016-08-261-17/+7
* Handle complex context merging casesMartin Odersky2016-08-261-3/+5
* Implement constraint mergingMartin Odersky2016-08-261-3/+3
* Address reviewers comments.Martin Odersky2016-08-211-6/+5
* Make sure arguments are evaluated in the correct typer state.Martin Odersky2016-08-211-0/+22
* Refactoring of PolyType and TypeLambdaMartin Odersky2016-07-111-1/+1
* Keep separate chain of outer reporters for StoreReportersMartin Odersky2015-10-261-2/+2
* Disable checkConstraintClosed by defaultMartin Odersky2015-06-261-1/+1
* Avoid junk produced by Constraint#replace.Martin Odersky2015-06-221-2/+6
* Remove trailing spaces in Dotty source.Dmitry Petrashko2015-04-091-1/+1
* New constraint implementation: OrderingConstraintMartin Odersky2015-01-241-1/+2
* New constraint handlingMartin Odersky2015-01-181-2/+2
* Added alternative TrackingConstraintMartin Odersky2015-01-131-2/+2
* Made constraint data structures pluggable.Martin Odersky2015-01-121-1/+1
* Fixed bug that caused error message to be suppressed.Martin Odersky2015-01-081-9/+8
* Improved documentationMartin Odersky2014-06-261-1/+7
* Avoid caching values that depend on typevar state.Martin Odersky2014-06-201-1/+11
* Reporter fixMartin Odersky2014-05-301-6/+7
* Fix of pos/t2429Martin Odersky2014-05-201-3/+51
* Adding dependency tracking to constraint satisfactionMartin Odersky2014-05-081-3/+3
* Fix of TyperState#instTypeMartin Odersky2014-05-081-0/+3
* Making reporters configurableMartin Odersky2014-05-081-0/+6
* Typos corrected.Dmitry Petrashko2014-03-031-1/+1
* New scheme for attachments.Martin Odersky2014-02-111-1/+1
* Breaking out gc() method in TyperState.Martin Odersky2014-01-261-6/+17
* Tightening of position handlngMartin Odersky2013-12-291-0/+7
* Changing some assertions on isCommittableMartin Odersky2013-12-051-1/+0
* File name renamingMartin Odersky2013-11-281-4/+1
* Dropping cinsistency checking logic from typerstates.Martin Odersky2013-11-221-71/+14
* Consolidation of TyperState and ConstraintMartin Odersky2013-11-211-37/+26
* More tweaksMartin Odersky2013-11-201-1/+1
* Make undetVars a set with deterministic traversal order.Martin Odersky2013-11-141-1/+1
* Upgraded handling of positionsMartin Odersky2013-11-041-1/+7
* Changes to adaptation and local type inference.Martin Odersky2013-10-151-5/+6
* Fixes to typevar instantiationMartin Odersky2013-10-131-8/+10
* Tightening up typer state + printing refinementsMartin Odersky2013-10-121-7/+46
* Changed logic for merges in lub/glbMartin Odersky2013-09-301-0/+1
* Changed Throwing reporting scheme.Martin Odersky2013-09-231-1/+1
* Bug fixes and improvements in error diagnostics.Martin Odersky2013-09-161-6/+9
* Several fixes in typer.Martin Odersky2013-09-051-11/+38
* More tests and fixes related to inference.Martin Odersky2013-08-301-2/+8
* Handling typevars in inference.Martin Odersky2013-08-011-6/+36
* Added code for adapt and more.Martin Odersky2013-07-211-9/+2
* Integrated reporting into TyperState.Martin Odersky2013-07-191-12/+12
* Made reporting framework more lightweight and uniform in preparation of futur...Martin Odersky2013-07-191-0/+1
* Additions needed to support implicits.Martin Odersky2013-07-191-0/+9
* Added functionality to deal with function applications.Martin Odersky2013-07-111-0/+43
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-18 03:30:50 +0000