aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Reformat code after fixes on scala.Dynamic.Nicolas Stucki2016-09-053-60/+60
* Enable scala.Dynamic pending/untried tests.Nicolas Stucki2016-09-0523-120/+98
* Fix #1474: Fix applies to applyDynamic.Nicolas Stucki2016-09-056-7/+10
* fixup #1470Nicolas Stucki2016-09-051-4/+5
* Fix #1470: Fix dynamic selection in presence of inaccessible members.Nicolas Stucki2016-09-054-2/+4
* Fix #1468: Add type parameter support for scala.DynamicNicolas Stucki2016-09-057-35/+85
* Merge pull request #1482 from dotty-staging/fix-asapplicable-safeodersky2016-09-047-33/+119
|\
| * TyperState refactoring.Martin Odersky2016-08-261-17/+7
| * Handle case where expected type of a SeqLiteral has an undetermined element t...Martin Odersky2016-08-263-9/+59
| * Handle complex context merging casesMartin Odersky2016-08-262-4/+7
| * Implement constraint mergingMartin Odersky2016-08-263-5/+48
* | Merge pull request #1491 from dotty-staging/fix-i1490Guillaume Martres2016-09-013-1/+17
|\ \
| * | Fix #1490: type test of union types via type aliasliu fengyun2016-09-013-1/+17
|/ /
* | Merge pull request #1483 from lampepfl/DarkDimius-patch-7Felix Mulder2016-08-291-2/+3
|\ \ | |/ |/|
| * Update readme: mark Exhaustivity checks & multiv.eq. as implementedDmitry Petrashko2016-08-291-2/+3
|/
* Merge pull request #1461 from dotty-staging/fixes-gadtsodersky2016-08-26109-102/+155
|\
| * Dependent method testsMartin Odersky2016-08-264-2/+29
| * More tests recategorizedMartin Odersky2016-08-265-3/+2
| * Make inherited inferred result type work for dependent methodsMartin Odersky2016-08-262-11/+18
| * Relax matching requirement in unApplyMartin Odersky2016-08-262-3/+2
| * Move tests to right directoryMartin Odersky2016-08-267-0/+13
| * Test recategorizationMartin Odersky2016-08-262-4/+6
| * Generalize self-referential member comparisons.Martin Odersky2016-08-263-5/+9
| * Type annotations in context enclosing the annotated definitionMartin Odersky2016-08-262-1/+2
| * Drop out of date commentMartin Odersky2016-08-261-1/+1
| * Add more missing testsMartin Odersky2016-08-268-0/+72
| * Implement alternative desugaring of for-if to filter.Martin Odersky2016-08-265-5/+38
| * Retracting special case depending on Ycheck.Martin Odersky2016-08-261-3/+2
| * Be more careful with inserted casts.Martin Odersky2016-08-261-2/+9
| * Recategorize testsMartin Odersky2016-08-2679-135/+7
| * GADT testMartin Odersky2016-08-261-2/+2
| * Make expressions using GADTs type check in later phasesMartin Odersky2016-08-262-3/+21
| * Fix testing in tree checker.Martin Odersky2016-08-261-1/+1
* | Merge pull request #1481 from dotty-staging/remove-warningsDmitry Petrashko2016-08-2626-6/+371
|\ \
| * | Fix a couple of warnings.Nicolas Stucki2016-08-263-5/+5
| * | Suppress warnings for JFunction#.java erased specialized methods.Nicolas Stucki2016-08-2623-1/+366
|/ /
* | Merge pull request #1417 from dotty-staging/fix-output-diffDmitry Petrashko2016-08-262-26/+105
|\ \ | |/ |/|
| * Fix #1405: Implement Xprint-diff without external libraries.Nicolas Stucki2016-08-242-26/+105
* | Merge pull request #1460 from dotty-staging/fix-t1756odersky2016-08-267-109/+137
|\ \ | |/ |/|
| * Add comment.Martin Odersky2016-08-211-1/+5
| * Address reviewers comments.Martin Odersky2016-08-212-24/+21
| * Fix comment.Martin Odersky2016-08-211-1/+2
| * Make sure arguments are evaluated in the correct typer state.Martin Odersky2016-08-216-101/+126
| * Don't force in isErronous checkMartin Odersky2016-08-211-5/+6
* | Merge pull request #1364 from dotty-staging/exhaustivity2Dmitry Petrashko2016-08-24147-17/+3883
|\ \
| * | add test set for exhaustivity and redundancy checkliu fengyun2016-08-24136-0/+3184
| * | implementation of exhaustivity and redundancy checkliu fengyun2016-08-2411-17/+699
|/ /
* | Merge pull request #1453 from felixmulder/topic/dottydocodersky2016-08-2446-70/+4315
|\ \
| * | Add phase to deal with constructorsFelix Mulder2016-08-2113-54/+318
| * | Add `ImplicitlyAddedEntity` as a common trait for implicitly added membersFelix Mulder2016-08-191-4/+6