diff options
| author | Paul Phillips <paulp@improving.org> | 2012-12-15 16:38:10 -0800 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2012-12-15 19:40:05 -0800 |
| commit | 8aae61180c3edab97c653dbc7096a439f5c3da12 (patch) | |
| tree | 83e392fdefa9de398f42b0aedb57376423ff0332 /test/files/run/no-pickle-skolems.check | |
| parent | e14917528e1c080a7f10785e21de36f3a7769718 (diff) | |
| download | scala-8aae61180c3edab97c653dbc7096a439f5c3da12.tar.gz scala-8aae61180c3edab97c653dbc7096a439f5c3da12.tar.bz2 scala-8aae61180c3edab97c653dbc7096a439f5c3da12.zip | |
Deskolemize type skolems before pickling.
Lex Spoon noticed what appeared to be duplicate symbols
in methods read from classfiles. The duplicates turned out
to be type skolems, which because they're not supposed to
be pickled in the first place (right?) are unpickled
without turning back into skolems. Now pickler is careful
to deskolemize before writing anything down.
The effort implied by test case is more than can possibly
be justified for this obscure compiler corner, but I'll
chalk it up to reflection exploration.
Diffstat (limited to 'test/files/run/no-pickle-skolems.check')
| -rw-r--r-- | test/files/run/no-pickle-skolems.check | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/files/run/no-pickle-skolems.check b/test/files/run/no-pickle-skolems.check new file mode 100644 index 0000000000..d64066171a --- /dev/null +++ b/test/files/run/no-pickle-skolems.check @@ -0,0 +1 @@ +OK! |