aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
| * | | Better error message in splitterMartin Odersky2015-12-151-1/+4
| * | | Print bounds of TypeVars only when option is enabled.Martin Odersky2015-12-152-1/+3
| | |/ | |/|
* | | Merge pull request #1007 from dotty-staging/fix/tests-ycheckDmitry Petrashko2015-12-211-1/+1
|\ \ \ | |/ / |/| |
| * | Fix typo in command run by JenkinsGuillaume Martres2015-12-211-1/+1
* | | Merge pull request #1000 from dotty-staging/fix-#241odersky2015-12-1546-878/+1181
|\ \ \ | |/ / |/| |
| * | More tweaks to override checks.Martin Odersky2015-12-151-2/+2
| * | Change <:< to overridesMartin Odersky2015-12-151-1/+1
| * | Check types for overriding conditions.Martin Odersky2015-12-144-15/+34
| * | Use symbolic refs when testing whether a TypeBounds contains a ClassInfoMartin Odersky2015-12-142-9/+14
| * | Add comments to whitelist with assignments for further action.Martin Odersky2015-12-141-6/+5
| * | Generalize overriding checking from isDefinedMartin Odersky2015-12-143-1/+9
| * | Only select parameterless get methods in unapplys.Martin Odersky2015-12-141-1/+1
| * | Improve printing of overloaded denotationsMartin Odersky2015-12-141-1/+1
| * | Add new whitelists tests.Martin Odersky2015-12-141-3/+4
| * | Better diagnosis for cyclic references caused by class clashes.Martin Odersky2015-12-144-21/+28
| * | Fix problem handling SuperTypes in asSeenFromMartin Odersky2015-12-141-11/+12
| * | Convert super. prefixes of types to this.Martin Odersky2015-12-141-1/+6
| * | Better diagnostics for clashing classesMartin Odersky2015-12-144-7/+18
| * | Drop redundant conditionMartin Odersky2015-12-141-1/+1
| * | Add test caseMartin Odersky2015-12-141-0/+26
| * | Make some types of definitions symbolicMartin Odersky2015-12-143-15/+32
| * | Fix sleeper bug in ParamForwardingMartin Odersky2015-12-144-7/+23
| * | Adaptations to checkSymAssignMartin Odersky2015-12-141-3/+8
| * | Do not report data races between symbols defined in class and its selftypeMartin Odersky2015-12-144-6/+25
| * | Fix tricky bug coming up when compiling TraversableViewLike.Martin Odersky2015-12-142-4/+52
| * | Avoid unassigned type errors when typing curried functions.Martin Odersky2015-12-141-21/+21
| * | Remove stray assignmentMartin Odersky2015-12-141-1/+0
| * | Add whitelist entries which now workMartin Odersky2015-12-141-4/+7
| * | Fix of too strict variance checking.Martin Odersky2015-12-141-1/+1
| * | Disregard BaseTypeArg parameters when variance checking.Martin Odersky2015-12-142-32/+8
| * | Make all arg bindings have flag BaseTypeArg.Martin Odersky2015-12-141-6/+15
| * | Rename TypeArgument -> BaseTypeArg flag.Martin Odersky2015-12-141-5/+7
| * | Remove redundant type parameter in testLiftedMartin Odersky2015-12-141-1/+1
| * | Allow deep subtype for sets and related code in dotty/transform.Martin Odersky2015-12-132-2/+3
| * | Shortcut in derivesFrom for high bound Any.Martin Odersky2015-12-131-14/+17
| * | Better explanation for adaptHkVariancesMartin Odersky2015-12-131-13/+19
| * | Avoid cycle when computing setsMartin Odersky2015-12-131-1/+21
| * | In isSubType, follow aliases only if prefix is a path.Martin Odersky2015-12-131-2/+20
| * | Perform variance adaptation only when needed in isSubTypeMartin Odersky2015-12-136-29/+48
| * | Allow bottom types as hk type argumentsMartin Odersky2015-12-112-4/+8
| * | Add isBottomType/Class tests to DefinitionsMartin Odersky2015-12-112-4/+7
| * | Remove extraneous matchMartin Odersky2015-12-111-10/+6
| * | Disallow hk type parameters in lower bounds.Martin Odersky2015-12-117-8/+28
| * | Fix TypeLambda extractor.Martin Odersky2015-12-101-3/+11
| * | Cleanup of RefinedType subtype comparison.Martin Odersky2015-12-061-9/+7
| * | Code and documentation cleanupsMartin Odersky2015-12-061-300/+107
| * | Move failing test to pendingMartin Odersky2015-12-061-0/+0
| * | Fix tasty test failuresMartin Odersky2015-12-061-4/+4
| * | Avoid false positives when extracting AppliedTypeMartin Odersky2015-12-062-2/+18
| * | Be DRY betweeen EtaExpand and LambdaAbstractMartin Odersky2015-12-061-15/+7