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

	Commit message (Expand)	Author	Age	Files	Lines
*	Changes to dealiasing and widening	Martin Odersky	2013-11-14	1	-36/+72
*	Make undetVars a set with deterministic traversal order.	Martin Odersky	2013-11-14	1	-1/+1
*	widen if unstable prefix	Martin Odersky	2013-11-13	3	-5/+16
*	Fixing a problem in <:< of named types.	Martin Odersky	2013-11-13	1	-15/+53
*	Bringing underlyingIfRepeated up-to-date	Martin Odersky	2013-11-11	2	-2/+4
*	Dealias before add to constraint.	Martin Odersky	2013-11-10	2	-4/+16
*	Reporting max constraint	Martin Odersky	2013-11-10	1	-19/+23
*	Fixing inference problem and block scope problem	Martin Odersky	2013-11-07	1	-4/+3
*	Fixing several type checking problems.	Martin Odersky	2013-11-06	1	-0/+5
*	Avoiding to record constraints of the form P <:< P.	Martin Odersky	2013-11-06	2	-2/+5
*	Adding a Scala2x flag.	Martin Odersky	2013-11-06	2	-0/+4
*	Fallback to old treatement of tuples.	Martin Odersky	2013-11-04	1	-1/+1
*	Upgraded handling of positions	Martin Odersky	2013-11-04	2	-1/+9
*	Changing the type of pairs to be scala.Tuple2.	Martin Odersky	2013-11-03	1	-1/+1
*	Generalizing the idea of lossless dealiasings to all accumulators and typemaps.	Martin Odersky	2013-11-03	1	-9/+14
*	Added missing case in allOverriddenSymbols	Martin Odersky	2013-11-03	1	-1/+4
*	Adding simplification and fixing a variance problem.	Martin Odersky	2013-11-03	2	-5/+54
*	Changed handling of signatures in TermRefs.	Martin Odersky	2013-11-01	3	-10/+16
*	To tweaks to derivedRefinedType for higher-kinded types.	Martin Odersky	2013-10-31	1	-12/+46
*	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
*	Fixed unpickling of polymorphic constructors.	Martin Odersky	2013-10-27	4	-8/+33
*	Forcing less when determining the class symbol(s) of a type.	Martin Odersky	2013-10-27	1	-0/+6
*	Fixed handling of varargs	Martin Odersky	2013-10-26	2	-13/+20
*	Fixed problem in handing of self types.	Martin Odersky	2013-10-24	2	-1/+4
*	Fix: Missing prefixes are considered stable.	Martin Odersky	2013-10-24	1	-0/+1
*	Added missing case matching against hk type in refinement.	Martin Odersky	2013-10-23	1	-2/+10
*	Caching asSeenFrom on denotations.	Martin Odersky	2013-10-23	3	-7/+29
*	Making explanations available outside type comparers	Martin Odersky	2013-10-23	1	-1/+13
*	Added forgotten cases to TypeAccumulators.	Martin Odersky	2013-10-15	1	-0/+7
*	Changes to adaptation and local type inference.	Martin Odersky	2013-10-15	2	-7/+8
*	Fixes to typevar instantiation	Martin Odersky	2013-10-13	2	-11/+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	2	-11/+13
*	Tightening up typer state + printing refinements	Martin Odersky	2013-10-12	4	-14/+55
*	Fixed missing type comparisons for bound types.	Martin Odersky	2013-10-10	2	-8/+42
*	Added shortcuiting for type argument aliases.	Martin Odersky	2013-10-10	1	-4/+49
*	New TypeArgs flag	Martin Odersky	2013-10-10	1	-1/+6
*	Added disambiguation for reported messages.	Martin Odersky	2013-10-10	1	-4/+7
*	Partial revert of "instance flags" commit	Martin Odersky	2013-10-09	1	-9/+1
*	Cleanup of new scheme for handling local type parameters and type members.	Martin Odersky	2013-10-09	4	-33/+68
*	flags for instances	Martin Odersky	2013-10-07	1	-4/+18
*	Fixed problem with withMode leaking into enclosing context.	Martin Odersky	2013-10-04	1	-7/+7
*	Prefiltering members in computeMembers ...	Martin Odersky	2013-10-02	2	-1/+24
*	Introducing mapReduce for OrTypes and AndTypes	Martin Odersky	2013-10-02	2	-5/+17
*	Added option -Yheartbeat	Martin Odersky	2013-10-01	1	-49/+72
*	Changed &, \| to distribute inside non-value types.	Martin Odersky	2013-10-01	2	-74/+246
*	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	3	-50/+80
*	Fixed logic in newTypeParams	Martin Odersky	2013-09-30	1	-4/+11