diff options
author | odersky <odersky@gmail.com> | 2014-11-26 13:44:09 +0100 |
---|---|---|
committer | odersky <odersky@gmail.com> | 2014-11-26 13:44:09 +0100 |
commit | b18ce863f5f2444a5a00ccc9d55c4ee12115c467 (patch) | |
tree | f2f8a76eb5e8dd8926a35271118cf0e3b91182f5 /src/dotty/tools/dotc/core/NameOps.scala | |
parent | 5733684a4ec6857ece1048d56654dcd749163510 (diff) | |
parent | fc319b002ff4bc82061250352f1568c612c70d72 (diff) | |
download | dotty-b18ce863f5f2444a5a00ccc9d55c4ee12115c467.tar.gz dotty-b18ce863f5f2444a5a00ccc9d55c4ee12115c467.tar.bz2 dotty-b18ce863f5f2444a5a00ccc9d55c4ee12115c467.zip |
Merge pull request #244 from dotty-staging/fix/refinementTypes-v2
Allow refinements that refine already refined types.
Diffstat (limited to 'src/dotty/tools/dotc/core/NameOps.scala')
0 files changed, 0 insertions, 0 deletions