diff options
| author | odersky <odersky@gmail.com> | 2016-07-27 15:45:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-27 15:45:21 +0200 |
| commit | 5ffce6e910f4cc1fced15824df86a9524be81681 (patch) | |
| tree | 09b9ed81fe4457338db10982a47a62936fb2eca7 /bin | |
| parent | fec3ec3e1f5b8c1ed9af3c51010832f99d958b23 (diff) | |
| parent | 25421111a730681504c73b978e454dfa7a6ff447 (diff) | |
| download | dotty-5ffce6e910f4cc1fced15824df86a9524be81681.tar.gz dotty-5ffce6e910f4cc1fced15824df86a9524be81681.tar.bz2 dotty-5ffce6e910f4cc1fced15824df86a9524be81681.zip | |
Merge pull request #1415 from dotty-staging/fix-i1354
fix #1354: improve type test of union types
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions