diff options
| author | Guillaume Martres <smarter@ubuntu.com> | 2017-03-18 21:04:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-18 21:04:13 +0100 |
| commit | e93b78fe5e835541ce0dd5da3c0b58342d358534 (patch) | |
| tree | f9b8c352581f3c2507e95479574757bc82af22f4 /doc-tool | |
| parent | 215c13408f7709c416baf561c513159622f10ba5 (diff) | |
| parent | 00bbb97a5bf6ea32de7ca92cb1a7b32280fa4e9e (diff) | |
| download | dotty-e93b78fe5e835541ce0dd5da3c0b58342d358534.tar.gz dotty-e93b78fe5e835541ce0dd5da3c0b58342d358534.tar.bz2 dotty-e93b78fe5e835541ce0dd5da3c0b58342d358534.zip | |
Merge pull request #2111 from dotty-staging/fix/better-lub
Better type inference in harmonizeUnion
Diffstat (limited to 'doc-tool')
0 files changed, 0 insertions, 0 deletions