diff options
author | Eugene Burmako <xeno.by@gmail.com> | 2012-09-14 14:02:47 +0200 |
---|---|---|
committer | Eugene Burmako <xeno.by@gmail.com> | 2012-09-14 20:55:41 +0200 |
commit | dd7fa899035f77f2c4c3c136e681d87bf43bd1f3 (patch) | |
tree | c7b3dee653132f139c282abc1fd6d7a4b27c6360 | |
parent | 2cc70c55af39bffa7418d49b507a1e88771708b4 (diff) | |
download | scala-dd7fa899035f77f2c4c3c136e681d87bf43bd1f3.tar.gz scala-dd7fa899035f77f2c4c3c136e681d87bf43bd1f3.tar.bz2 scala-dd7fa899035f77f2c4c3c136e681d87bf43bd1f3.zip |
SI-6369 removes Type.narrow from the API
Looks like narrow doesn't help us solve the problem it was intended for:
http://groups.google.com/group/scala-user/browse_thread/thread/9f5d55ebfcc8e60a
I believe we'll be on a safer side if we remove it until it's really needed.
-rw-r--r-- | src/reflect/scala/reflect/api/Types.scala | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/reflect/scala/reflect/api/Types.scala b/src/reflect/scala/reflect/api/Types.scala index f22f8d3e75..fab4e5d0a9 100644 --- a/src/reflect/scala/reflect/api/Types.scala +++ b/src/reflect/scala/reflect/api/Types.scala @@ -121,15 +121,6 @@ trait Types extends base.Types { self: Universe => */ def widen: Type - /** Map to a singleton type which is a subtype of this type. - * The fallback implemented here gives: - * {{{ - * T.narrow = (T {}).this.type - * }}} - * Overridden where we know more about where types come from. - */ - def narrow: Type - /******************* helpers *******************/ /** Substitute symbols in `to` for corresponding occurrences of references to |