diff options
| author | Guillaume Martres <smarter@ubuntu.com> | 2015-10-25 17:50:35 +0100 |
|---|---|---|
| committer | Guillaume Martres <smarter@ubuntu.com> | 2015-10-25 17:50:35 +0100 |
| commit | 51ab200f97f11ac74270f6925028ba4d58284e7b (patch) | |
| tree | 90b86a23c2713754a21d7f030ecf3205a151e014 /src/dotty/tools/dotc/Driver.scala | |
| parent | 08df804a5b4b7289a1518aa5ccf9753ec1a8cd7a (diff) | |
| parent | 7947a7b0fc818128f5e2a0cd10cc43d2d7614354 (diff) | |
| download | dotty-51ab200f97f11ac74270f6925028ba4d58284e7b.tar.gz dotty-51ab200f97f11ac74270f6925028ba4d58284e7b.tar.bz2 dotty-51ab200f97f11ac74270f6925028ba4d58284e7b.zip | |
Merge pull request #865 from dotty-staging/fix-module-alias-subtyping
Fix hole in subtyping of modules
Diffstat (limited to 'src/dotty/tools/dotc/Driver.scala')
0 files changed, 0 insertions, 0 deletions