aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
...
| * Removed redundant test in isSubType.Martin Odersky2015-01-141-2/+1
| * Rename isConstrained -> canConstrain for clarityMartin Odersky2015-01-142-5/+13
| * Fix after review: reset state variable needsGcMartin Odersky2015-01-141-1/+4
| * Two new hooks in ConstraintHandlingMartin Odersky2015-01-132-3/+9
| * Added alternative TrackingConstraintMartin Odersky2015-01-136-32/+550
| * Added structural equals method to PolyParamsMartin Odersky2015-01-131-0/+6
| * Streamline unificationMartin Odersky2015-01-122-36/+33
| * Made constraint data structures pluggable.Martin Odersky2015-01-127-456/+508
| * Adapted Skolemization to new handling of skolems.Martin Odersky2015-01-111-12/+24
| * Simplified condition in isSubType.Martin Odersky2015-01-101-2/+2
| * Rename RefinedThis -> SkolemTypeMartin Odersky2015-01-107-46/+39
| * Reverting the idea that RefinedThis types take levels.Martin Odersky2015-01-108-163/+48
| * Split off ConstraintHandling into separate trait.Martin Odersky2015-01-104-272/+285
| * Removed some checksMartin Odersky2015-01-102-12/+1
| * Made refinement subtype fastpath insensitive to RefineedThis#binder.Martin Odersky2015-01-092-6/+13
| * TypeComparer cleanups.Martin Odersky2015-01-091-54/+56
| * More aggressive reduction in lookupRefinedThis.Martin Odersky2015-01-093-26/+42
| * Simplification for lookupRefinedMartin Odersky2015-01-091-5/+1
| * Made fast path for refined subtype checking configurable.Martin Odersky2015-01-092-2/+6
| * Remove unnecessary nested methods in TypeComparer.Martin Odersky2015-01-091-497/+478
| * New fast path for checking refined types.Martin Odersky2015-01-091-8/+44
| * Fix problem in constraint handlingMartin Odersky2015-01-092-80/+105
| * Optimize for case where RefinedThis is absentMartin Odersky2015-01-092-3/+9
| * Refacttored skolemization logicMartin Odersky2015-01-085-133/+150
| * Remove choice between new and old scheme for subtyping refined types.Martin Odersky2015-01-082-189/+17
| * Simplify and fix bounds propagation in constraints.Martin Odersky2015-01-081-117/+146
| * New scheme for subtyping refined types.Martin Odersky2015-01-082-53/+139
| * Add transitive check for cycles in constraints.Martin Odersky2015-01-082-1/+53
| * Add deSkolemize method.Martin Odersky2015-01-082-1/+103
| * Fixed bug that caused error message to be suppressed.Martin Odersky2015-01-081-9/+8
| * Deleted diagnostics output that caused cyclic referencesMartin Odersky2015-01-061-1/+0
| * Make findMember depend on RefinedThis level.Martin Odersky2015-01-034-23/+145
| * Show level for RefinedThisMartin Odersky2015-01-031-2/+2
| * isSubType reorgMartin Odersky2015-01-011-99/+112
| * Extended refinementRefersToThis to alias types.Martin Odersky2015-01-011-6/+4
| * Make use of refinementRefersToThis in lookupRefinement.Martin Odersky2015-01-011-28/+15
| * Removed debug printlnMartin Odersky2015-01-011-1/+1
| * Provide the correct levels for RefinedThis types.Martin Odersky2015-01-017-22/+38
| * Reorg of subtyping.Martin Odersky2015-01-014-445/+479
| * Better name for patternMartin Odersky2014-12-311-1/+1
| * Handle subtyping cases involving null.Martin Odersky2014-12-221-6/+8
* | make TypeMap also map over types in the annotation tree of AnnotatedTypeOndrej Lhotak2015-01-221-1/+1
* | fix widenForMatchSelector to transparently handle annotated typesOndrej Lhotak2015-01-211-0/+1
* | fix TypeMap.mapOver to not drop type annotationsOndrej Lhotak2015-01-211-1/+1
* | add comment for ExprTypeOndrej Lhotak2015-01-141-0/+1
* | clarify comment about TypeVarOndrej Lhotak2015-01-141-3/+6
* | Merge pull request #313 from dotty-staging/more-testsDmitry Petrashko2015-01-0910-34/+55
|\|
| * Don't emit copy method for case classes with repeated parameters.Martin Odersky2014-12-201-1/+5
| * Harden implicit scope computation against CyclicReference errors.Martin Odersky2014-12-192-2/+6
| * Removed dead code.Martin Odersky2014-12-191-5/+1
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 02:57:53 +0000