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

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Fix problems with TypeVar instantiation	Martin Odersky	2014-02-03	1	-5/+8
*	Optimize subtype test between refined types with multiple refinements	Martin Odersky	2014-02-03	1	-8/+37
*	Relaxing check that implicits must have explicit return type	Martin Odersky	2014-02-02	1	-1/+1
*	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
*	Some more statistic sampling	Martin Odersky	2014-01-26	1	-2/+16
*	Breaking out gc() method in TyperState.	Martin Odersky	2014-01-26	1	-3/+13
*	Fixes to constraint handling.	Martin Odersky	2014-01-26	1	-7/+13
*	Fixing two bugs in subtype checking that cancelled each other out.	Martin Odersky	2014-01-26	1	-8/+7
*	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	1	-36/+311
*	Make better use of AndOrTypes.	Martin Odersky	2014-01-20	1	-2/+1
*	Fix to lub: recompute if either operand can be widened	Martin Odersky	2014-01-19	1	-1/+1
*	fix for comparing or-types.	Martin Odersky	2014-01-11	1	-1/+1
*	Type comparison tweak.	Martin Odersky	2014-01-10	1	-0/+1
*	Refine eligibility	Martin Odersky	2014-01-09	1	-2/+5
*	New subtype constraint maintenance algorithm.	Martin Odersky	2014-01-07	1	-21/+41
*	Changes to propagation of wildcardtypes	Martin Odersky	2014-01-04	1	-1/+1
*	Hardening against a possible NoDenotation has no owner crash.	Martin Odersky	2014-01-03	1	-1/+1
*	Making printing configurable.	Martin Odersky	2014-01-03	1	-14/+14
*	Some cleanups.	Martin Odersky	2014-01-02	1	-1/+1
*	Constraints need to be ignored when forming lubs and glbs of constrained oara...	Martin Odersky	2014-01-01	1	-3/+18
*	Better assertions and diagnostics in TypeComparers.	Martin Odersky	2013-12-31	1	-4/+6
*	Upgrades to handle subtyping between parameterized and higher-kinded types.	Martin Odersky	2013-12-31	1	-4/+25
*	Adding a new case to subtype tests.	Martin Odersky	2013-12-29	1	-8/+19
*	Adding a subtype relationship between ()T and =>T	Martin Odersky	2013-12-21	1	-3/+12
*	Refinement to shadowing checking for implicits	Martin Odersky	2013-12-19	1	-1/+1
*	Fixes for by-name arguments	Martin Odersky	2013-12-17	1	-1/+1
*	Fixes related to SAM types.	Martin Odersky	2013-12-15	1	-1/+1
*	Modification of subtype tests of abstract types.	Martin Odersky	2013-12-13	1	-11/+32
*	Fix to & and \|	Martin Odersky	2013-12-09	1	-4/+8
*	Fixing problem in TypeComparing.	Martin Odersky	2013-12-08	1	-1/+1
*	Refactorings in TypeComparers and elsewhere	Martin Odersky	2013-11-28	1	-99/+65
*	Changed Signatures	Martin Odersky	2013-11-27	1	-1/+1
*	Types refactorings	Martin Odersky	2013-11-25	1	-1/+1
*	Renaming: typeConstructor -> typeRef	Martin Odersky	2013-11-22	1	-1/+1
*	Consolidation of TyperState and Constraint	Martin Odersky	2013-11-21	1	-4/+2
*	Better encapsulation for constraints.	Martin Odersky	2013-11-20	1	-9/+3
*	Splitting constraint.appky into at, bounds, contains.	Martin Odersky	2013-11-20	1	-6/+6
*	More tweaks	Martin Odersky	2013-11-20	1	-2/+3
*	Various cleanups	Martin Odersky	2013-11-18	1	-3/+3
*	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
*	Providing for new match scheme.	Martin Odersky	2013-11-14	1	-8/+9
*	widen if unstable prefix	Martin Odersky	2013-11-13	1	-5/+5
*	Fixing a problem in <:< of named types.	Martin Odersky	2013-11-13	1	-15/+53