dotty - Research platform for new language concepts and compiler technologies for Scala.

	Commit message (Expand)	Author	Age	Files	Lines
*	Upgrades to handle subtyping between parameterized and higher-kinded types.	Martin Odersky	2013-12-31	1	-4/+25
*	Adding a new case to subtype tests.	Martin Odersky	2013-12-29	1	-8/+19
*	Adding a subtype relationship between ()T and =>T	Martin Odersky	2013-12-21	1	-3/+12
*	Refinement to shadowing checking for implicits	Martin Odersky	2013-12-19	1	-1/+1
*	Fixes for by-name arguments	Martin Odersky	2013-12-17	1	-1/+1
*	Fixes related to SAM types.	Martin Odersky	2013-12-15	1	-1/+1
*	Modification of subtype tests of abstract types.	Martin Odersky	2013-12-13	1	-11/+32
*	Fix to & and \|	Martin Odersky	2013-12-09	1	-4/+8
*	Fixing problem in TypeComparing.	Martin Odersky	2013-12-08	1	-1/+1
*	Refactorings in TypeComparers and elsewhere	Martin Odersky	2013-11-28	1	-99/+65
*	Changed Signatures	Martin Odersky	2013-11-27	1	-1/+1
*	Types refactorings	Martin Odersky	2013-11-25	1	-1/+1
*	Renaming: typeConstructor -> typeRef	Martin Odersky	2013-11-22	1	-1/+1
*	Consolidation of TyperState and Constraint	Martin Odersky	2013-11-21	1	-4/+2
*	Better encapsulation for constraints.	Martin Odersky	2013-11-20	1	-9/+3
*	Splitting constraint.appky into at, bounds, contains.	Martin Odersky	2013-11-20	1	-6/+6
*	More tweaks	Martin Odersky	2013-11-20	1	-2/+3
*	Various cleanups	Martin Odersky	2013-11-18	1	-3/+3
*	Formign lubs over widened types only.	Martin Odersky	2013-11-15	1	-1/+6
*	Tweaks to adaptation and interpolation	Martin Odersky	2013-11-15	1	-1/+7
*	Providing for new match scheme.	Martin Odersky	2013-11-14	1	-8/+9
*	widen if unstable prefix	Martin Odersky	2013-11-13	1	-5/+5
*	Fixing a problem in <:< of named types.	Martin Odersky	2013-11-13	1	-15/+53
*	Dealias before add to constraint.	Martin Odersky	2013-11-10	1	-4/+4
*	Avoiding to record constraints of the form P <:< P.	Martin Odersky	2013-11-06	1	-1/+3
*	Adding simplification and fixing a variance problem.	Martin Odersky	2013-11-03	1	-2/+2
*	Fixes to subtyping tests for constrained parameters.	Martin Odersky	2013-10-31	1	-16/+38
*	Fixes to type inference	Martin Odersky	2013-10-29	1	-8/+22
*	Added missing case matching against hk type in refinement.	Martin Odersky	2013-10-23	1	-2/+10
*	Making explanations available outside type comparers	Martin Odersky	2013-10-23	1	-1/+13
*	Bug fixes in <:<	Martin Odersky	2013-10-13	1	-3/+20
*	New invariant: refined types must have a refined info that's more specific th...	Martin Odersky	2013-10-12	1	-6/+10
*	Tightening up typer state + printing refinements	Martin Odersky	2013-10-12	1	-1/+1
*	Fixed missing type comparisons for bound types.	Martin Odersky	2013-10-10	1	-8/+32
*	Added disambiguation for reported messages.	Martin Odersky	2013-10-10	1	-4/+7
*	Cleanup of new scheme for handling local type parameters and type members.	Martin Odersky	2013-10-09	1	-9/+20
*	Introducing mapReduce for OrTypes and AndTypes	Martin Odersky	2013-10-02	1	-1/+7
*	Changed &, \| to distribute inside non-value types.	Martin Odersky	2013-10-01	1	-70/+240
*	Removing a triggered assertion in applications.	Martin Odersky	2013-10-01	1	-6/+8
*	Changed logic for merges in lub/glb	Martin Odersky	2013-09-30	1	-8/+29
*	Several bug fixes to typer and classfile reader.	Martin Odersky	2013-09-28	1	-5/+5
*	Added isRef method to determine whether a type is a typeref that refers to a ...	Martin Odersky	2013-09-26	1	-10/+11
*	Sereval more bugfixes to typer and type handling.	Martin Odersky	2013-09-25	1	-1/+6
*	Changed type comparers to compare symbols of standard types instead of types ...	Martin Odersky	2013-09-23	1	-42/+65
*	Made lub/glb fail early when trying to mix a class info with another type type.	Martin Odersky	2013-09-17	1	-10/+14
*	Bug fixes and improvements in error diagnostics.	Martin Odersky	2013-09-16	1	-23/+200
*	Changes in typecomparers	Martin Odersky	2013-09-05	1	-7/+14
*	More tests and fixes related to inference.	Martin Odersky	2013-08-30	1	-4/+6
*	Fixed bugs related to typechecking closures.	Martin Odersky	2013-08-27	1	-2/+0
*	Fixes to import handling and adaptation and implicits	Martin Odersky	2013-08-21	1	-1/+4