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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update reference handling in NamedType	Martin Odersky	2013-01-12	2	-16/+27
\|
*	Introduce validFor interval for references.	Martin Odersky	2013-01-12	1	-19/+34
\|
*	Postulate intersection method for intervals.	Martin Odersky	2013-01-12	1	-3/+5
\|
*	Added lastIntroPhaseId to distinguish when names can be created.	Martin Odersky	2013-01-12	1	-1/+4
\|
*	Invalidate baseType caches on new runs	Martin Odersky	2013-01-12	1	-2/+5
\|
*	Refactored Types to move auxiliary operations into Context. Moved per-run ↵	Martin Odersky	2013-01-10	6	-735/+787
\| \| \| \|	state into RootContext.
*	Fleshed out FlagSets	Martin Odersky	2013-01-10	1	-3/+87
\|
*	Fleshed out Type operations	Martin Odersky	2013-01-06	3	-24/+55
\|
*	Merge remote-tracking branch 'origin/master'	Martin Odersky	2013-01-06	1	-13/+11
\|\ \| \| \| \| \| \| \| \|	Conflicts: src/dotty/tools/dotc/core/Types.scala
\| *	Added isStatic check to asSeenFrom	Martin Odersky	2012-12-26	1	-18/+13
\| \|
* \|	Fleshed out Types.	Martin Odersky	2013-01-06	3	-77/+265
\| \|
* \|	Renamed class for SubTypers and added to Context	Martin Odersky	2013-01-06	2	-4/+16
\|/
*	Refactored asSeenFrom to avoid unnecessary map creations	Martin Odersky	2012-12-25	2	-66/+81
\|
*	Added substThis to substituters	Martin Odersky	2012-12-25	2	-5/+58
\|
*	Added Substitution operations	Martin Odersky	2012-12-25	2	-27/+214
\|
*	Small additions and fixes to subtyping logic	Martin Odersky	2012-12-25	1	-2/+14
\|
*	First implementation of SubTyper.	Martin Odersky	2012-12-22	3	-57/+178
\|
*	Refactored ClassInfoType content back to Denotation. Created separate ↵	Martin Odersky	2012-12-22	3	-440/+403
\| \| \| \| \| \|	ClassInfo type, which combines a prefix with a ClassInfo denotation. That leads to better regularity elsewhere, because now taking the info of a TypeRef will not lose information: If the info is a TypeBounds, the prefix is already taken account in it, and for ClassInfo we now record it explicitly.
*	Changed scheme in Trees so that immutable trees are now Tree[Nothing].	Martin Odersky	2012-12-22	1	-15/+11
\|
*	New atSignature method in References.	Martin Odersky	2012-12-22	1	-1/+11
\|
*	Fixes to Position.	Martin Odersky	2012-12-22	1	-3/+3
\|
*	Some more definitions in Definitions.	Martin Odersky	2012-12-22	2	-6/+14
\|
*	Simpler implementation of shalloCopy as clone.	Martin Odersky	2012-12-18	1	-23/+8
\|
*	Renamed worksheet that deals with periods	Martin Odersky	2012-12-18	2	-19/+19
\|
*	First rough draft of trees. They use copy on write semantics for the tpe ↵	Martin Odersky	2012-12-18	1	-0/+101
\| \| \| \|	attribute, following Paul's suggestion.
*	Started working on Subtyper object	Martin Odersky	2012-12-18	1	-0/+92
\|
*	(1) Moved logic from ClassDenotation to ClassInfoType. (2) Tweaks to other ↵	Martin Odersky	2012-12-18	5	-222/+247
\| \| \| \|	types. (3) FlagSet is now a value class.
*	Added rudimentary definitions for Positions	Martin Odersky	2012-12-18	1	-0/+22
\|
*	Added rudimentary Definitions object	Martin Odersky	2012-12-18	2	-1/+11
\|
*	Implemented baseClasses and baseTypes (2). Refactored RefinedType and ↵	Martin Odersky	2012-12-16	5	-45/+121
\| \| \| \|	ClassInfoType.
*	Implemented baseClasses and baseTypes. Refactored RefinedType and ClassInfoType.	Martin Odersky	2012-12-16	1	-104/+100
\|
*	Re-introducing Rereferences as an intermediate structure, separate from types.	Martin Odersky	2012-12-14	5	-487/+849
\|
*	Streamlined hashing scheme for types	Martin Odersky	2012-12-06	1	-56/+63
\|
*	Initial commit	Martin Odersky	2012-12-06	19	-0/+2727