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

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix substDealias	Martin Odersky	2016-07-27	1	-7/+6
*	Remove old hk scheme	Martin Odersky	2016-07-11	1	-22/+0
*	Introduce recursive types	Martin Odersky	2016-07-11	1	-0/+22
*	Allow to use safe substitution in LambdaAbstract	Martin Odersky	2015-09-18	1	-0/+27
*	Split RefinedThis and SkolemType	Martin Odersky	2015-06-06	1	-9/+9
*	Make all Dotty source files end in newline.	Dmitry Petrashko	2015-04-09	1	-1/+1
*	Rename RefinedThis -> SkolemType	Martin Odersky	2015-01-10	1	-12/+10
*	Reverting the idea that RefinedThis types take levels.	Martin Odersky	2015-01-10	1	-69/+2
*	Make findMember depend on RefinedThis level.	Martin Odersky	2015-01-03	1	-8/+72
*	Provide the correct levels for RefinedThis types.	Martin Odersky	2015-01-01	1	-2/+7
*	Reorg of subtyping.	Martin Odersky	2015-01-01	1	-1/+1
*	Moved derivedTypeAlias method to TypeAlias	Martin Odersky	2014-12-10	1	-20/+20
*	Better TreeTypeMaps	Martin Odersky	2014-09-13	1	-1/+1
*	Shorten "if denotation is current the symbol" to "currentSymbol".	Martin Odersky	2014-08-29	1	-5/+5
*	Avoid cyclic reference errors in ShowScala	Martin Odersky	2014-08-29	1	-2/+2
*	Make ThisTypes take TypeRefs instead of ClassSymbols	Martin Odersky	2014-08-27	1	-2/+2
*	Rebinding ThisTypes	Martin Odersky	2014-08-27	1	-1/+1
*	Three fixes to substSym	Martin Odersky	2014-08-18	1	-1/+15
*	Fixed typo	Martin Odersky	2014-07-22	1	-1/+1
*	Defined substitution which follows aliases	Martin Odersky	2014-07-22	1	-3/+37
*	Small cleanups and additions.	Martin Odersky	2014-07-17	1	-1/+5
*	Performance tuning: Inline TypeAlias case for hot maps.	Martin Odersky	2014-02-21	1	-36/+54
*	Reverted: Avoid using TypeBounds in alias refinements.	Martin Odersky	2014-02-21	1	-9/+9
*	Avoid using TypeBounds in alias refinements.	Martin Odersky	2014-02-21	1	-9/+9
*	Renaming to make program Scala2x and Dotty compatible.	Martin Odersky	2014-01-14	1	-1/+1
*	Making substitutions deep type maps that also map parents and self type of a ...	Martin Odersky	2013-11-28	1	-9/+9
*	Converting most uses of NamedType to select.	Martin Odersky	2013-11-15	1	-1/+1
*	derivedNamedType -> derivedSelect	Martin Odersky	2013-11-14	1	-9/+9
*	Added functionality to deal with function applications.	Martin Odersky	2013-07-11	1	-20/+40
*	Added logic for constraint solving.	Martin Odersky	2013-06-22	1	-0/+20
*	Consolidation isStatic, isStaticOwner, owner is Package	Martin Odersky	2013-04-10	1	-1/+1
*	Renamed creation methods of NamedTypes	Martin Odersky	2013-04-09	1	-1/+1
*	Renamed RefinedType#name, #info…	Martin Odersky	2013-03-04	1	-7/+7
*	Filling in all ???s	Martin Odersky	2013-02-27	1	-7/+7
*	Added substSym method and dropped NoPrefix requirement.	Martin Odersky	2013-02-22	1	-18/+43
*	Simplified RefinedTypes, keeping only the unary variant.	Martin Odersky	2013-01-27	1	-72/+12
*	Reverted tresatment of NoType in AppliedType: 6ed74c3a2f38aadfb0bf	Martin Odersky	2013-01-27	1	-8/+4
*	More eliminations of AppliedType	Martin Odersky	2013-01-27	1	-99/+100
*	Allows for NoType in AplliedType argument lists, as well as argument lists th...	Martin Odersky	2013-01-24	1	-4/+8
*	Refactored Types to move auxiliary operations into Context. Moved per-run sta...	Martin Odersky	2013-01-10	1	-177/+174
*	Fleshed out Types.	Martin Odersky	2013-01-06	1	-0/+3
*	Added substThis to substituters	Martin Odersky	2012-12-25	1	-0/+51
*	Added Substitution operations	Martin Odersky	2012-12-25	1	-0/+153