diff options
| author | odersky <odersky@gmail.com> | 2016-08-21 13:15:55 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-21 13:15:55 +0300 |
| commit | ac423a31548cfd0901559513e020331facf66a89 (patch) | |
| tree | 66e3eb8a6284d426a74b1369ef63f992896b607a /src/dotty/tools/dotc/core/Types.scala | |
| parent | f19b6dd8371b6dd7cf45279d97e0fa6702e7365a (diff) | |
| parent | 3360130593e3949b455b179f244ad76d7aedfe0e (diff) | |
| download | dotty-ac423a31548cfd0901559513e020331facf66a89.tar.gz dotty-ac423a31548cfd0901559513e020331facf66a89.tar.bz2 dotty-ac423a31548cfd0901559513e020331facf66a89.zip | |
Merge pull request #1459 from dotty-staging/tests3
Refinements to auto-tupling
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions