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

	Commit message (Expand)	Author	Age	Files	Lines
*	Selective caching of SelectionProtos and ViewProtos	Martin Odersky	2014-01-27	3	-41/+10
*	Cache result of narrow on Methods.	Martin Odersky	2014-01-27	2	-2/+16
*	Accept method types directly in isApplicable.	Martin Odersky	2014-01-27	1	-14/+15
*	Instrumentation on total isSubType calls.	Martin Odersky	2014-01-26	1	-4/+9
*	New treatment of uniques	Martin Odersky	2014-01-26	6	-143/+273
*	Refactored RefinedTypes to favor the case where refinedInfo is independent of...	Martin Odersky	2014-01-26	1	-7/+16
*	Better caching of types	Martin Odersky	2014-01-26	1	-19/+30
*	Some more statistic sampling	Martin Odersky	2014-01-26	5	-27/+58
*	Add text markers around "hot" tracing operations.	Martin Odersky	2014-01-26	4	-7/+7
*	Breaking out gc() method in TyperState.	Martin Odersky	2014-01-26	2	-9/+30
*	Fixes to constraint handling.	Martin Odersky	2014-01-26	3	-23/+70
*	Fixing two bugs in subtype checking that cancelled each other out.	Martin Odersky	2014-01-26	2	-9/+8
*	Try to dealias LHS in <:< where possible.	Martin Odersky	2014-01-26	1	-4/+4
*	Break out suboperations in separate methods...	Martin Odersky	2014-01-26	1	-66/+90
*	Move GADT tests earlier in subtype algorithms	Martin Odersky	2014-01-26	1	-15/+17
*	Prune useless subtyping tests.	Martin Odersky	2014-01-26	1	-11/+33
*	Split TermRefs with underlying OrTypes.	Martin Odersky	2014-01-26	1	-6/+20
*	wip on typecomparers	Martin Odersky	2014-01-26	2	-36/+315
*	Refactoctored widening operations.	Martin Odersky	2014-01-26	1	-8/+7
*	Make better use of AndOrTypes.	Martin Odersky	2014-01-20	2	-13/+6
*	For a typeRef, prefer info.isAlias over symbol.isAliasType	Martin Odersky	2014-01-20	3	-3/+10
*	Avoid eager forcing in enterArgBinding	Martin Odersky	2014-01-20	2	-5/+11
*	Normalize parent types so that first one always refers to a class, not a trait.	Martin Odersky	2014-01-19	2	-21/+36
*	Fix to lub: recompute if either operand can be widened	Martin Odersky	2014-01-19	1	-1/+1
*	Make signatures use fully qualified names.	Martin Odersky	2014-01-18	3	-8/+10
*	Fix openPackageModule wrt overloaded definitions	Martin Odersky	2014-01-18	2	-3/+8
*	Invalidate companions of source-defined symbols	Martin Odersky	2014-01-18	1	-2/+2
*	Fixing problems around isAbsent	Martin Odersky	2014-01-18	1	-7/+13
*	Made findDecl more forgiving	Martin Odersky	2014-01-17	1	-1/+3
*	Handle cases AndType and OrType in WildApprox	Martin Odersky	2014-01-17	1	-2/+26
*	Make typedAhead adapt to prototype.	Martin Odersky	2014-01-17	1	-0/+1
*	Refactoring to avoid multiple overloaded traceIndent methods.	Martin Odersky	2014-01-16	1	-1/+1
*	Generalize implicit scope of ThisType	Martin Odersky	2014-01-16	1	-16/+22
*	Avoid stale symbol errors for package objects	Martin Odersky	2014-01-15	2	-2/+5
*	Do ot search for implicit members in packages.	Martin Odersky	2014-01-14	1	-3/+6
*	Making files in pickling dotty-compliant.	Martin Odersky	2014-01-14	4	-32/+39
*	Avoiding cyclic references involving module vals and imports.	Martin Odersky	2014-01-14	1	-1/+2
*	Make SelfName (and ImplClass) flags that are valid from start	Martin Odersky	2014-01-14	1	-1/+3
*	Renaming to make program Scala2x and Dotty compatible.	Martin Odersky	2014-01-14	2	-5/+10
*	When instantiating a type var, need to map back from polyparams to typevars.	Martin Odersky	2014-01-13	2	-2/+14
*	Extend type maps and type accumulators to prototypes	Martin Odersky	2014-01-13	1	-0/+8
*	fix for comparing or-types.	Martin Odersky	2014-01-11	1	-1/+1
*	Better reporting of cyclic references involving imports.	Martin Odersky	2014-01-11	1	-0/+1
*	Strip implicit parameters when deciding specifity of methods.	Martin Odersky	2014-01-11	1	-8/+8
*	Type comparison tweak.	Martin Odersky	2014-01-10	2	-0/+2
*	Removing conforms from StdNames because it shadows Predef.conforms, which is ...	Martin Odersky	2014-01-10	2	-5/+5
*	Mover termRef/typeRef and friends up to Denotation.	Martin Odersky	2014-01-10	3	-21/+35
*	Ensure completion before computing non-private members.	Martin Odersky	2014-01-10	1	-0/+1
*	Add type parameters to synthetic constructors.	Martin Odersky	2014-01-10	2	-2/+6
*	Add a constructor to class Any, so that it can be inherited.	Martin Odersky	2014-01-10	2	-3/+8