diff options
author | Martin Odersky <odersky@gmail.com> | 2016-09-01 15:59:52 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-10-02 16:07:40 +0200 |
commit | d63a6ba8540fb8ea7d01350ea68ff1ef0b53c5d4 (patch) | |
tree | 7d6abd4813a7254f6f735f4f95ffd5a20977a66b /src/dotty/tools/dotc/util/Attachment.scala | |
parent | c87a9dd1f34cd7afe3fba0edfa1463019eaa78bd (diff) | |
download | dotty-d63a6ba8540fb8ea7d01350ea68ff1ef0b53c5d4.tar.gz dotty-d63a6ba8540fb8ea7d01350ea68ff1ef0b53c5d4.tar.bz2 dotty-d63a6ba8540fb8ea7d01350ea68ff1ef0b53c5d4.zip |
Make Context#moreProperties strongly typed
To do this, factor out Key from Attachment into a new type, Property.Key.
Diffstat (limited to 'src/dotty/tools/dotc/util/Attachment.scala')
-rw-r--r-- | src/dotty/tools/dotc/util/Attachment.scala | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/dotty/tools/dotc/util/Attachment.scala b/src/dotty/tools/dotc/util/Attachment.scala index 8088b4cd0..20facfd97 100644 --- a/src/dotty/tools/dotc/util/Attachment.scala +++ b/src/dotty/tools/dotc/util/Attachment.scala @@ -4,9 +4,7 @@ package dotty.tools.dotc.util * adding, removing and lookup of attachments. Attachments are typed key/value pairs. */ object Attachment { - - /** The class of keys for attachments yielding values of type V */ - class Key[+V] + import Property.Key /** An implementation trait for attachments. * Clients should inherit from Container instead. |