aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TyperState.scala
Commit message (Expand)AuthorAgeFilesLines
* 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