diff options
author | Martin Odersky <odersky@gmail.com> | 2014-12-31 17:23:21 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-12-31 17:23:21 +0100 |
commit | e50f47c17eea3aee80db2d86e28e7ae016f94cbb (patch) | |
tree | 572e4ea9a326158e33cf249fc81a99479692bbb5 /src/dotty/tools/dotc/core/Types.scala | |
parent | 9d8e473739ed4f5618d55738475717872453018a (diff) | |
download | dotty-e50f47c17eea3aee80db2d86e28e7ae016f94cbb.tar.gz dotty-e50f47c17eea3aee80db2d86e28e7ae016f94cbb.tar.bz2 dotty-e50f47c17eea3aee80db2d86e28e7ae016f94cbb.zip |
Better name for pattern
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions