diff options
author | Eugene Burmako <xeno.by@gmail.com> | 2012-09-10 18:39:35 +0200 |
---|---|---|
committer | Eugene Burmako <xeno.by@gmail.com> | 2012-09-14 13:29:46 +0200 |
commit | 6d5a92b3f1c5bfb32230e5902d6dd494c9cd3a0a (patch) | |
tree | b6deea110e5d169652c42b01597aabbd8afa4189 /src/library | |
parent | 255e096f1ac0f0c8f19d599404ef668af0f28341 (diff) | |
download | scala-6d5a92b3f1c5bfb32230e5902d6dd494c9cd3a0a.tar.gz scala-6d5a92b3f1c5bfb32230e5902d6dd494c9cd3a0a.tar.bz2 scala-6d5a92b3f1c5bfb32230e5902d6dd494c9cd3a0a.zip |
removes build.newFreeExistential
build.newFreeType does exactly the same, so we don't have a need
in two different methods. Type parameters and existentially bound syms
can later be distinguished using flags.
Diffstat (limited to 'src/library')
-rw-r--r-- | src/library/scala/reflect/base/Base.scala | 3 | ||||
-rw-r--r-- | src/library/scala/reflect/base/BuildUtils.scala | 14 |
2 files changed, 1 insertions, 16 deletions
diff --git a/src/library/scala/reflect/base/Base.scala b/src/library/scala/reflect/base/Base.scala index 28ebdf4377..2448dd53e4 100644 --- a/src/library/scala/reflect/base/Base.scala +++ b/src/library/scala/reflect/base/Base.scala @@ -317,9 +317,6 @@ class Base extends Universe { self => def newFreeType(name: String, info: Type, value: => Any, flags: Long = 0L, origin: String = null): FreeTypeSymbol = new FreeTypeSymbol(rootMirror.RootClass, newTypeName(name), flags) - def newFreeExistential(name: String, info: Type, value: => Any, flags: Long = 0L, origin: String = null): FreeTypeSymbol = - new FreeTypeSymbol(rootMirror.RootClass, newTypeName(name), flags) - def setTypeSignature[S <: Symbol](sym: S, tpe: Type): S = sym def setAnnotations[S <: Symbol](sym: S, annots: List[AnnotationInfo]): S = sym diff --git a/src/library/scala/reflect/base/BuildUtils.scala b/src/library/scala/reflect/base/BuildUtils.scala index 98f32231ad..28d2528af9 100644 --- a/src/library/scala/reflect/base/BuildUtils.scala +++ b/src/library/scala/reflect/base/BuildUtils.scala @@ -36,7 +36,7 @@ trait BuildUtils { self: Universe => */ def newFreeTerm(name: String, info: Type, value: => Any, flags: FlagSet = NoFlags, origin: String = null): FreeTermSymbol - /** Create a fresh free non-existential type symbol. + /** Create a fresh free type symbol. * @param name the name of the free variable * @param info the type signature of the free variable * @param value a type tag that captures the value of the free variable @@ -48,18 +48,6 @@ trait BuildUtils { self: Universe => */ def newFreeType(name: String, info: Type, value: => Any, flags: FlagSet = NoFlags, origin: String = null): FreeTypeSymbol - /** Create a fresh free existential type symbol. - * @param name the name of the free variable - * @param info the type signature of the free variable - * @param value a type tag that captures the value of the free variable - * is completely phantom, since the captured type cannot be propagated to the runtime - * if it could be, we wouldn't be creating a free type to begin with - * the only usage for it is preserving the captured symbol for compile-time analysis - * @param flags (optional) flags of the free variable - * @param origin (optional) debug information that tells where this symbol comes from - */ - def newFreeExistential(name: String, info: Type, value: => Any, flags: FlagSet = NoFlags, origin: String = null): FreeTypeSymbol - /** Set symbol's type signature to given type. * @return the symbol itself */ |