Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Final set of Types tweaks | Martin Odersky | 2013-11-25 | 3 | -17/+14 | |
* | More Types polishings | Martin Odersky | 2013-11-25 | 2 | -121/+137 | |
* | Cleanup of TermRef.withSym and TypeRef.withSym | Martin Odersky | 2013-11-25 | 11 | -31/+27 | |
* | 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 | 13 | -57/+58 | |
* | Renaming: typeConstructor -> typeRef | Martin Odersky | 2013-11-22 | 18 | -96/+96 | |
* | More tweaks to Types | Martin Odersky | 2013-11-22 | 1 | -74/+74 | |
* | Tweaks to SimpleMap | Martin Odersky | 2013-11-22 | 1 | -62/+94 | |
* | Dropping cinsistency checking logic from typerstates. | Martin Odersky | 2013-11-22 | 4 | -79/+32 | |
* | Consolidation of TyperState and Constraint | Martin Odersky | 2013-11-21 | 6 | -106/+148 | |
* | Better encapsulation for constraints. | Martin Odersky | 2013-11-20 | 3 | -40/+44 | |
* | Splitting constraint.appky into at, bounds, contains. | Martin Odersky | 2013-11-20 | 4 | -11/+16 | |
* | More tweaks | Martin Odersky | 2013-11-20 | 4 | -6/+13 | |
* | Added unit testing support | Martin Odersky | 2013-11-18 | 3 | -13/+25 | |
* | Various cleanups | Martin Odersky | 2013-11-18 | 6 | -55/+44 | |
* | 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 | 8 | -39/+48 | |
* | Formign lubs over widened types only. | Martin Odersky | 2013-11-15 | 1 | -1/+6 | |
* | Tweaks to adaptation and interpolation | Martin Odersky | 2013-11-15 | 6 | -17/+25 | |
* | Tweak to Coder test | Martin Odersky | 2013-11-15 | 1 | -1/+1 | |
* | Made stripTypeVar idempotent | Martin Odersky | 2013-11-15 | 1 | -4/+9 | |
* | making all internal errors throw exceptions (for now). | Martin Odersky | 2013-11-14 | 2 | -2/+2 | |
* | 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 | 7 | -31/+47 | |
* | replace qualifierType by widenIfUnstable. | Martin Odersky | 2013-11-14 | 3 | -4/+7 | |
* | Changes to dealiasing and widening | Martin Odersky | 2013-11-14 | 1 | -36/+72 | |
* | Debug measure: Report all errors when they are first issued | Martin Odersky | 2013-11-14 | 1 | -1/+3 | |
* | 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 | 3 | -3/+5 | |
* | Dealias before add to constraint. | Martin Odersky | 2013-11-10 | 2 | -4/+16 | |
* | Reporting max constraint | Martin Odersky | 2013-11-10 | 3 | -24/+28 | |
* | Fixing Position.contains(NoPosition) | Martin Odersky | 2013-11-09 | 1 | -2/+1 | |
* | Fixing inference problem and block scope problem | Martin Odersky | 2013-11-07 | 5 | -19/+17 | |
* | Fixing NoPosition leaks | Martin Odersky | 2013-11-07 | 2 | -11/+35 | |
* | Adding a size method to SimpleMap. | Martin Odersky | 2013-11-06 | 1 | -0/+8 | |
* | Fixing several type checking problems. | Martin Odersky | 2013-11-06 | 4 | -53/+105 | |
* | Fixing a typerstate confusion in implicit search. | Martin Odersky | 2013-11-06 | 1 | -1/+1 | |
* | Special-casing printing of `_` Idents. | Martin Odersky | 2013-11-06 | 1 | -1/+1 | |
* | Avoiding to record constraints of the form P <:< P. | Martin Odersky | 2013-11-06 | 2 | -2/+5 | |
* | Changing for-expansion for irrefutable patterns. | Martin Odersky | 2013-11-06 | 1 | -10/+33 | |
* | Adding a Scala2x flag. | Martin Odersky | 2013-11-06 | 2 | -0/+4 | |
* | Fallback to old treatement of tuples. | Martin Odersky | 2013-11-04 | 2 | -6/+23 | |
* | Upgraded handling of positions | Martin Odersky | 2013-11-04 | 6 | -9/+44 | |
* | Added capability to print tree positions | Martin Odersky | 2013-11-04 | 2 | -0/+3 |