diff options
| author | Paul Phillips <paulp@improving.org> | 2013-01-14 23:26:16 -0800 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2013-01-14 23:26:16 -0800 |
| commit | 76b92ef78d3cb68d7e517bb4611efff45955f1e9 (patch) | |
| tree | 80ae1bf02e9f2235c1cf0cdb7d950e5ea828442d /test/files/run/t6329_repl.check | |
| parent | 2d4ed8e795b814f3d71bc6bb4949e4c2a5510da8 (diff) | |
| download | scala-76b92ef78d3cb68d7e517bb4611efff45955f1e9.tar.gz scala-76b92ef78d3cb68d7e517bb4611efff45955f1e9.tar.bz2 scala-76b92ef78d3cb68d7e517bb4611efff45955f1e9.zip | |
Modifies "maybeRewrap" to focus more on the maybe.
Existential types are rewrapped under a bunch of conditions
unless the operation performed on the underlying type returns
the same type by reference equality. That depends on a
foundation of predictability which doesn't exist. The upshot is
that existential types were rewrapped with abandon, even when
the type were identical.
This had both performance and correctness implications.
Note where the test case output changes like so:
-scala.collection.immutable.List[Any]
+scala.collection.immutable.List[<?>]
That's correctness.
Diffstat (limited to 'test/files/run/t6329_repl.check')
| -rw-r--r-- | test/files/run/t6329_repl.check | 32 |
1 files changed, 29 insertions, 3 deletions
diff --git a/test/files/run/t6329_repl.check b/test/files/run/t6329_repl.check index 8663184bde..55d689f2fb 100644 --- a/test/files/run/t6329_repl.check +++ b/test/files/run/t6329_repl.check @@ -3,11 +3,37 @@ Type :help for more information. scala> -scala> classManifest[List[_]] +scala> import scala.reflect.classTag +import scala.reflect.classTag + +scala> classManifest[scala.List[_]] warning: there were 1 deprecation warnings; re-run with -deprecation for details -res0: scala.reflect.ClassTag[List[_]] = scala.collection.immutable.List[Any] +res0: scala.reflect.ClassTag[List[_]] = scala.collection.immutable.List[<?>] -scala> scala.reflect.classTag[List[_]] +scala> classTag[scala.List[_]] res1: scala.reflect.ClassTag[List[_]] = scala.collection.immutable.List +scala> classManifest[scala.collection.immutable.List[_]] +warning: there were 1 deprecation warnings; re-run with -deprecation for details +res2: scala.reflect.ClassTag[List[_]] = scala.collection.immutable.List[<?>] + +scala> classTag[scala.collection.immutable.List[_]] +res3: scala.reflect.ClassTag[List[_]] = scala.collection.immutable.List + +scala> classManifest[Predef.Set[_]] +warning: there were 1 deprecation warnings; re-run with -deprecation for details +res4: scala.reflect.ClassTag[scala.collection.immutable.Set[_]] = scala.collection.immutable.Set[<?>] + +scala> classTag[Predef.Set[_]] +res5: scala.reflect.ClassTag[scala.collection.immutable.Set[_]] = scala.collection.immutable.Set + +scala> classManifest[scala.collection.immutable.Set[_]] +warning: there were 1 deprecation warnings; re-run with -deprecation for details +res6: scala.reflect.ClassTag[scala.collection.immutable.Set[_]] = scala.collection.immutable.Set[<?>] + +scala> classTag[scala.collection.immutable.Set[_]] +res7: scala.reflect.ClassTag[scala.collection.immutable.Set[_]] = scala.collection.immutable.Set + +scala> + scala> |