aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* | | | Merge pull request #1498 from felixmulder/fix-nightlyFelix Mulder2016-09-061-1/+1
|\ \ \ \
| * | | | Get property from environment instead of from syspropsFelix Mulder2016-09-061-1/+1
|/ / / /
* | | | Merge pull request #1496 from felixmulder/dottydoc-client-v0.1.0Felix Mulder2016-09-061-3/+1
|\ \ \ \ | |/ / / |/| | |
| * | | Bump dottydoc version for nightly buildsFelix Mulder2016-09-061-3/+1
|/ / /
* | | 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
| * | Properly materialize supertype linksFelix Mulder2016-08-194-31/+45
| * | Add snapshots resolverFelix Mulder2016-08-191-0/+2