Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | Avoid adding constraint under typeVarsMissContext is true | Martin Odersky | 2015-01-18 | 2 | -14/+19 | |
| * | | Removed check from addConstraint | Martin Odersky | 2015-01-18 | 1 | -13/+1 | |
| * | | New constraint handling | Martin Odersky | 2015-01-18 | 13 | -825/+382 | |
| * | | Fix skolemization logic. | Martin Odersky | 2015-01-14 | 1 | -4/+1 | |
| * | | Allow to merge TypeBounds and ClassInfos in |, & | Martin Odersky | 2015-01-14 | 3 | -8/+12 | |
| * | | Fixed bug/typo in comparing prefixes of ClassInfo types. | Martin Odersky | 2015-01-14 | 1 | -1/+1 | |
| * | | Removed redundant test in isSubType. | Martin Odersky | 2015-01-14 | 1 | -2/+1 | |
| * | | Rename isConstrained -> canConstrain for clarity | Martin Odersky | 2015-01-14 | 2 | -5/+13 | |
| * | | New test: moduleSubtyping | Martin Odersky | 2015-01-14 | 2 | -0/+24 | |
| * | | Fix after review: reset state variable needsGc | Martin Odersky | 2015-01-14 | 1 | -1/+4 | |
| * | | Two new hooks in ConstraintHandling | Martin Odersky | 2015-01-13 | 2 | -3/+9 | |
| * | | Added alternative TrackingConstraint | Martin Odersky | 2015-01-13 | 6 | -32/+550 | |
| * | | Added structural equals method to PolyParams | Martin Odersky | 2015-01-13 | 1 | -0/+6 | |
| * | | Streamline unification | Martin Odersky | 2015-01-12 | 2 | -36/+33 | |
| * | | Made constraint data structures pluggable. | Martin Odersky | 2015-01-12 | 8 | -456/+521 | |
| * | | Adapted Skolemization to new handling of skolems. | Martin Odersky | 2015-01-11 | 1 | -12/+24 | |
| * | | Simplified condition in isSubType. | Martin Odersky | 2015-01-10 | 1 | -2/+2 | |
| * | | Rename RefinedThis -> SkolemType | Martin Odersky | 2015-01-10 | 8 | -47/+40 | |
| * | | Reverting the idea that RefinedThis types take levels. | Martin Odersky | 2015-01-10 | 9 | -164/+49 | |
| * | | Split off ConstraintHandling into separate trait. | Martin Odersky | 2015-01-10 | 4 | -272/+285 | |
| * | | Removed some checks | Martin Odersky | 2015-01-10 | 2 | -12/+1 | |
| * | | Made refinement subtype fastpath insensitive to RefineedThis#binder. | Martin Odersky | 2015-01-09 | 2 | -6/+13 | |
| * | | TypeComparer cleanups. | Martin Odersky | 2015-01-09 | 1 | -54/+56 | |
| * | | More aggressive reduction in lookupRefinedThis. | Martin Odersky | 2015-01-09 | 3 | -26/+42 | |
| * | | Simplification for lookupRefined | Martin Odersky | 2015-01-09 | 1 | -5/+1 | |
| * | | Made fast path for refined subtype checking configurable. | Martin Odersky | 2015-01-09 | 2 | -2/+6 | |
| * | | Remove unnecessary nested methods in TypeComparer. | Martin Odersky | 2015-01-09 | 1 | -497/+478 | |
| * | | New fast path for checking refined types. | Martin Odersky | 2015-01-09 | 1 | -8/+44 | |
| * | | Fix problem in constraint handling | Martin Odersky | 2015-01-09 | 2 | -80/+105 | |
| * | | Optimize for case where RefinedThis is absent | Martin Odersky | 2015-01-09 | 2 | -3/+9 | |
| * | | Refacttored skolemization logic | Martin Odersky | 2015-01-08 | 5 | -133/+150 | |
| * | | Remove choice between new and old scheme for subtyping refined types. | Martin Odersky | 2015-01-08 | 2 | -189/+17 | |
| * | | Simplify and fix bounds propagation in constraints. | Martin Odersky | 2015-01-08 | 3 | -120/+150 | |
| * | | New scheme for subtyping refined types. | Martin Odersky | 2015-01-08 | 3 | -53/+139 | |
| * | | Add transitive check for cycles in constraints. | Martin Odersky | 2015-01-08 | 2 | -1/+53 | |
| * | | Add deSkolemize method. | Martin Odersky | 2015-01-08 | 2 | -1/+103 | |
| * | | Fixed bug that caused error message to be suppressed. | Martin Odersky | 2015-01-08 | 2 | -12/+8 | |
| * | | Deleted diagnostics output that caused cyclic references | Martin Odersky | 2015-01-06 | 1 | -1/+0 | |
| * | | Make findMember depend on RefinedThis level. | Martin Odersky | 2015-01-03 | 4 | -23/+145 | |
| * | | Show level for RefinedThis | Martin Odersky | 2015-01-03 | 1 | -2/+2 | |
| * | | isSubType reorg | Martin Odersky | 2015-01-01 | 1 | -99/+112 | |
| * | | Extended refinementRefersToThis to alias types. | Martin Odersky | 2015-01-01 | 1 | -6/+4 | |
| * | | Make use of refinementRefersToThis in lookupRefinement. | Martin Odersky | 2015-01-01 | 1 | -28/+15 | |
| * | | Removed debug println | Martin Odersky | 2015-01-01 | 1 | -1/+1 | |
| * | | Provide the correct levels for RefinedThis types. | Martin Odersky | 2015-01-01 | 7 | -22/+38 | |
| * | | Reorg of subtyping. | Martin Odersky | 2015-01-01 | 8 | -446/+505 | |
| * | | Better name for pattern | Martin Odersky | 2014-12-31 | 1 | -1/+1 | |
| * | | Handle subtyping cases involving null. | Martin Odersky | 2014-12-22 | 1 | -6/+8 | |
| * | | test reorg | Martin Odersky | 2014-12-21 | 4 | -1/+3 | |
* | | | Merge pull request #334 from olhotak/pr-annotatedtypevars | Dmitry Petrashko | 2015-01-26 | 2 | -1/+2 | |
|\ \ \ | |_|/ |/| | |