diff options
author | Eugene Burmako <xeno.by@gmail.com> | 2012-08-21 18:27:37 +0200 |
---|---|---|
committer | Eugene Burmako <xeno.by@gmail.com> | 2012-08-21 18:27:37 +0200 |
commit | 5e5f5bc89a5bcfc31770c4c19b2d3623a9650527 (patch) | |
tree | 2c44e1330d8ae44e8a031ab91995910e5f33d122 | |
parent | 376427590178989e1eefd2bf12123399169c3235 (diff) | |
download | scala-5e5f5bc89a5bcfc31770c4c19b2d3623a9650527.tar.gz scala-5e5f5bc89a5bcfc31770c4c19b2d3623a9650527.tar.bz2 scala-5e5f5bc89a5bcfc31770c4c19b2d3623a9650527.zip |
adds weak_<:< to the API
quite a fundamental method to be left to be implemented manually
by the users of the reflection API
-rw-r--r-- | src/reflect/scala/reflect/api/Types.scala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/reflect/scala/reflect/api/Types.scala b/src/reflect/scala/reflect/api/Types.scala index ebaedd7ac3..bdcaadfbda 100644 --- a/src/reflect/scala/reflect/api/Types.scala +++ b/src/reflect/scala/reflect/api/Types.scala @@ -66,6 +66,10 @@ trait Types extends base.Types { self: Universe => /** Does this type conform to given type argument `that`? */ def <:< (that: Type): Boolean + /** Is this type a weak subtype of that type? True also for numeric types, i.e. Int weak_<:< Long. + */ + def weak_<:<(that: Type): Boolean + /** Is this type equivalent to given type argument `that`? */ def =:= (that: Type): Boolean |