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 /README.md | |
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 'README.md')
0 files changed, 0 insertions, 0 deletions