diff options
author | Dmitry Bushev <bushevdv@gmail.com> | 2012-12-14 17:09:55 +0400 |
---|---|---|
committer | Eugene Burmako <xeno.by@gmail.com> | 2013-02-08 12:53:14 +0100 |
commit | 09ef8730d13eff1cf200bbfb0f6fda7f6d72524a (patch) | |
tree | 85c49426a77eb415678fdea5eee12522ca16e276 /test/files/run/idempotency-lazy-vals.check | |
parent | 9164c2af4183e04986eb652e09081daba3d0d279 (diff) | |
download | scala-09ef8730d13eff1cf200bbfb0f6fda7f6d72524a.tar.gz scala-09ef8730d13eff1cf200bbfb0f6fda7f6d72524a.tar.bz2 scala-09ef8730d13eff1cf200bbfb0f6fda7f6d72524a.zip |
SI-6591 Reify and path-dependent types
Reification scheme changed. Now Select an SelectFromTypeTree trees
reified appropriately, as Select and SelectFromTypeTree accordingly.
Packages and Predef object was excluded in order not to break the
existing reification scheme and not to break tests which rely on it.
Reified free terms can contain flag <stable> to make reified values
become stable identifiers. For example in the case of
reify_newimpl_15.scala
class C {
type T
reify { val v: List[T] = List(2) }
}
class C reified as free term C$value, and List[C.T] becomes
List[C$value().T], so C$value.apply() need to pass stability test
isExprSafeToInline at scala.reflect.internal.TreeInfo. For this purpose
special case for reified free terms was added to isExprSafeToInline
function.
test run/reify_newipl_30 disabled due to SI-7082
test t6591_4 moved to pending due to SI-7083
Diffstat (limited to 'test/files/run/idempotency-lazy-vals.check')
0 files changed, 0 insertions, 0 deletions