aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* | Merge pull request #135 from dotty-staging/docs/higher-kinded-v2odersky2014-07-141-0/+375
|\ \ | |/ |/|
| * Sync with implementationMartin Odersky2014-07-141-51/+100
| * fixed typosMartin Odersky2014-05-301-5/+5
| * Fixed typosMartin Odersky2014-05-301-7/+7
| * Version 2, picking up on an idea of Adriaan.Martin Odersky2014-05-301-0/+326
* | Merge pull request #137 from dotty-staging/change/higher-kindedDmitry Petrashko2014-07-0939-678/+888
|\ \
| * | Added test case for LMS inspired HK code.Martin Odersky2014-06-261-0/+43
| * | Improved documentationMartin Odersky2014-06-263-5/+17
| * | Bring LambdaClass inline with its doc comment.Martin Odersky2014-06-261-4/+3
| * | Avoid crashing on name tests when name is empty.Martin Odersky2014-06-261-4/+4
| * | Avoid caching values that depend on typevar state.Martin Odersky2014-06-204-27/+66
| * | Make refines work for aliasesMartin Odersky2014-06-201-17/+21
| * | Add missing case where isHKSubType is neededMartin Odersky2014-06-201-4/+5
| * | Fixes to lambda abstractionMartin Odersky2014-06-194-6/+17
| * | Prevent a source of CyclicReference in refined printerMartin Odersky2014-06-191-1/+1
| * | Delete old, disabled code in TypeComparerMartin Odersky2014-06-181-284/+1
| * | Handling higher-kinded types with lambdasMartin Odersky2014-06-1823-345/+430
| * | Fixing subtyping of refined typesMartin Odersky2014-06-151-40/+146
| * | More explanations for -Ycheck failures.Martin Odersky2014-06-131-2/+8
| * | Fix to printing type parameters.Martin Odersky2014-06-132-4/+4
| * | More careful with lookupRefinedMartin Odersky2014-06-131-2/+31
| * | Harden allOverriddenSymbolsMartin Odersky2014-06-122-2/+7
| * | Make Lambda#Apply a type field instead of a type parameter.Martin Odersky2014-06-121-2/+5
| * | Optionally check variance of Lambda classes.Martin Odersky2014-06-122-3/+21
| * | Fix RefinementType#memberMartin Odersky2014-06-121-3/+4
| * | Fixing hashing for RefinedThis types.Martin Odersky2014-06-122-3/+3
| * | Add isLambda... testsMartin Odersky2014-06-122-0/+40
| * | Names and definitions for LambdasMartin Odersky2014-06-124-13/+81
| * | Change definition of isLegalPrefix so that it allows projecting on an abstrac...Martin Odersky2014-06-126-7/+30
* | | Merge pull request #138 from folone/masterDmitry Petrashko2014-06-233-4/+5
|\ \ \
| * | | Use the final scala 2.11.George Leontiev2014-06-233-4/+5
|/ / /
* | | Merge pull request #136 from dotty-staging/fix/systematic-prototypesodersky2014-06-2091-69/+502
|\| |
| * | Avoid classtype checking for refinements.Martin Odersky2014-05-303-1/+75
| * | Simplify result handling in FunProto.Martin Odersky2014-05-304-32/+14
| * | Always ignore type in selectionProtoMartin Odersky2014-05-303-5/+13
| * | Reclassifying testsMartin Odersky2014-05-304-9/+11
| * | Triage of tests t27xx-t29xx.Martin Odersky2014-05-3039-4/+6
| * | tests t26xxMartin Odersky2014-05-3016-0/+286
| * | typedTyped needs to maintain Mode.Martin Odersky2014-05-304-3/+33
| * | Fix of t2660.Martin Odersky2014-05-301-1/+9
| * | Fix of t2591.Martin Odersky2014-05-303-2/+7
| * | Added t25xx testsMartin Odersky2014-05-306-0/+70
| * | Fix of t2504Martin Odersky2014-05-3010-100/+54
| * | Reporter fixMartin Odersky2014-05-301-6/+7
| * | Refinements in diagnosticsMartin Odersky2014-05-303-5/+15
| * | Fix of pos/t2454Martin Odersky2014-05-3015-5/+6
|/ /
* | Merge pull request #132 from DarkDimius/small-fixesDmitry Petrashko2014-05-205-23/+30
|\ \
| * | Fix too precise type error in LazyVals.Dmitry Petrashko2014-05-092-21/+21
| * | withPos for Thickets.Dmitry Petrashko2014-05-091-0/+4
| * | Fix phase dependencies calculations broken for non-miniphasesDmitry Petrashko2014-05-091-1/+4
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 15:51:50 +0000