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

	Commit message (Expand)	Author	Age	Files	Lines
*	Refining checkClassTypeWithStablePrefix	Martin Odersky	2013-12-24	1	-21/+10
*	Typing by-name parameters with ExprTypes.	Martin Odersky	2013-12-22	1	-1/+1
*	Make PolyProto a true prototype.	Martin Odersky	2013-12-22	1	-1/+9
*	Adding () insertion to normalization.	Martin Odersky	2013-12-21	1	-2/+14
*	Following type aliases when pattern matching.	Martin Odersky	2013-12-19	1	-11/+41
*	Fixes to parent types.	Martin Odersky	2013-12-17	1	-1/+1
*	Three bugfixes to typing.	Martin Odersky	2013-12-17	1	-4/+4
*	Fixes for by-name arguments	Martin Odersky	2013-12-17	1	-8/+6
*	Checking for double definitions among class definitions.	Martin Odersky	2013-12-16	1	-1/+22
*	Fixes to typer.	Martin Odersky	2013-12-11	1	-5/+3
*	Fixing a problem with swallowed errors	Martin Odersky	2013-12-10	1	-3/+4
*	Fixes to avoid stale symbols and to avoid methods as pattern constructors.	Martin Odersky	2013-12-09	1	-6/+16
*	Better reporting for pattern matching errors.	Martin Odersky	2013-12-08	1	-1/+1
*	Refactoring test compatible.	Martin Odersky	2013-12-02	1	-5/+8
*	Streamlining isApplicable	Martin Odersky	2013-12-02	1	-2/+2
*	SimpleMap.foreachKey -> foreachBinding	Martin Odersky	2013-11-29	1	-4/+2
*	Tweaks to Inferencing	Martin Odersky	2013-11-29	1	-118/+165
*	Final set of Types tweaks	Martin Odersky	2013-11-25	1	-2/+2
*	Dropping cinsistency checking logic from typerstates.	Martin Odersky	2013-11-22	1	-0/+4
*	Consolidation of TyperState and Constraint	Martin Odersky	2013-11-21	1	-21/+25
*	Better encapsulation for constraints.	Martin Odersky	2013-11-20	1	-2/+1
*	Splitting constraint.appky into at, bounds, contains.	Martin Odersky	2013-11-20	1	-2/+2
*	Various cleanups	Martin Odersky	2013-11-18	1	-1/+1
*	Tweaks to adaptation and interpolation	Martin Odersky	2013-11-15	1	-1/+1
*	making all internal errors throw exceptions (for now).	Martin Odersky	2013-11-14	1	-1/+1
*	replace qualifierType by widenIfUnstable.	Martin Odersky	2013-11-14	1	-0/+3
*	Fixing inference problem and block scope problem	Martin Odersky	2013-11-07	1	-10/+10
*	Fixing several type checking problems.	Martin Odersky	2013-11-06	1	-16/+34
*	Adding simplification and fixing a variance problem.	Martin Odersky	2013-11-03	1	-1/+6
*	Two fixes for implicit search	Martin Odersky	2013-10-31	1	-5/+8
*	Fixes to type inference	Martin Odersky	2013-10-29	1	-1/+4
*	Cleaned up and fixed interpolation of undetermined type variables	Martin Odersky	2013-10-24	1	-17/+11
*	Fixed premature stopping of type variable instantiations.	Martin Odersky	2013-10-24	1	-2/+8
*	Changes to adaptation and local type inference.	Martin Odersky	2013-10-15	1	-2/+9
*	Tightening up typer state + printing refinements	Martin Odersky	2013-10-12	1	-2/+1
*	Added option -Yheartbeat	Martin Odersky	2013-10-01	1	-9/+12
*	Several bug fixes to typer and classfile reader.	Martin Odersky	2013-09-28	1	-1/+1
*	Added isRef method to determine whether a type is a typeref that refers to a ...	Martin Odersky	2013-09-26	1	-1/+1
*	Bug fixes and improvements in error diagnostics.	Martin Odersky	2013-09-16	1	-6/+12
*	Improvements in implicits error reporting	Martin Odersky	2013-09-06	1	-0/+2
*	Foleded typeConforms back into <:<	Martin Odersky	2013-09-05	1	-8/+5
*	More tests and fixes related to inference.	Martin Odersky	2013-08-30	1	-4/+13
*	Reverting explicit arguments for zipoped/unzip	Martin Odersky	2013-08-29	1	-3/+3
*	Fixed bugs related to typechecking closures.	Martin Odersky	2013-08-27	1	-2/+11
*	Review of all deompositions of NamedType	Martin Odersky	2013-08-24	1	-1/+1
*	Fixes in implicit handling	Martin Odersky	2013-08-23	1	-2/+8
*	Making FunProto a prototype so that we can use it in implicit search.	Martin Odersky	2013-08-22	1	-1/+4
*	Refactoring to prototype scheme	Martin Odersky	2013-08-21	1	-1/+75
*	Converted some more s"" to i""	Martin Odersky	2013-08-15	1	-2/+3
*	Added support for pattern variables and Bind.	Martin Odersky	2013-08-09	1	-0/+5