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

	Commit message (Expand)	Author	Age	Files	Lines
*	Using SimpleMap instead of Map for replayability.	Martin Odersky	2013-11-28	1	-13/+12
*	Making substitutions deep type maps that also map parents and self type of a ...	Martin Odersky	2013-11-28	2	-25/+28
*	Refactorings in TypeComparers and elsewhere	Martin Odersky	2013-11-28	3	-106/+78
*	Tightening (constraint contains param) condition	Martin Odersky	2013-11-28	1	-1/+1
*	Making maps configurable so that they can also go inside parents and self typ...	Martin Odersky	2013-11-28	1	-1/+16
*	Hoisting out commonly used values into util.common	Martin Odersky	2013-11-28	4	-42/+44
*	Optimizing signatures	Martin Odersky	2013-11-27	3	-30/+32
*	Changed Signatures	Martin Odersky	2013-11-27	7	-78/+113
*	More posishings of SymDenots/Denotations.	Martin Odersky	2013-11-26	3	-48/+45
*	Dropping the Expanded when computing type parameter variances.	Martin Odersky	2013-11-25	3	-21/+10
*	Tweaks to SymDenotations	Martin Odersky	2013-11-25	1	-37/+48
*	Final set of Types tweaks	Martin Odersky	2013-11-25	1	-13/+10
*	More Types polishings	Martin Odersky	2013-11-25	2	-121/+137
*	Cleanup of TermRef.withSym and TypeRef.withSym	Martin Odersky	2013-11-25	6	-22/+18
*	Getting rid of UnknownSignature	Martin Odersky	2013-11-25	2	-29/+21
*	More Types polishing	Martin Odersky	2013-11-25	2	-58/+31
*	Types refactorings	Martin Odersky	2013-11-25	7	-388/+414
*	Cleanup of named type creation from SymDenotations.	Martin Odersky	2013-11-23	5	-30/+33
*	Renaming: typeConstructor -> typeRef	Martin Odersky	2013-11-22	11	-79/+79
*	More tweaks to Types	Martin Odersky	2013-11-22	1	-74/+74
*	Dropping cinsistency checking logic from typerstates.	Martin Odersky	2013-11-22	3	-79/+28
*	Consolidation of TyperState and Constraint	Martin Odersky	2013-11-21	4	-81/+122
*	Better encapsulation for constraints.	Martin Odersky	2013-11-20	2	-38/+43
*	Splitting constraint.appky into at, bounds, contains.	Martin Odersky	2013-11-20	3	-9/+14
*	More tweaks	Martin Odersky	2013-11-20	3	-3/+10
*	Various cleanups	Martin Odersky	2013-11-18	4	-48/+38
*	Changing some TermRef's to selects	Martin Odersky	2013-11-16	1	-4/+4
*	Converting most uses of NamedType to select.	Martin Odersky	2013-11-15	5	-19/+30
*	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
*	Made stripTypeVar idempotent	Martin Odersky	2013-11-15	1	-4/+9
*	derivedNamedType -> derivedSelect	Martin Odersky	2013-11-14	3	-12/+17
*	Providing for new match scheme.	Martin Odersky	2013-11-14	1	-8/+9
*	Making as seenfrom reduce types.	Martin Odersky	2013-11-14	2	-32/+22
*	Some configuation parameters	Martin Odersky	2013-11-14	3	-21/+28
*	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