diff options
author | Paul Phillips <paulp@improving.org> | 2012-12-19 11:18:30 -0800 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-12-19 11:18:30 -0800 |
commit | 7c23d525ccb413d8ff3e4cc6b442e7e864608609 (patch) | |
tree | 83e392fdefa9de398f42b0aedb57376423ff0332 /src/compiler/scala/tools/nsc/typechecker/EtaExpansion.scala | |
parent | e14917528e1c080a7f10785e21de36f3a7769718 (diff) | |
parent | 8aae61180c3edab97c653dbc7096a439f5c3da12 (diff) | |
download | scala-7c23d525ccb413d8ff3e4cc6b442e7e864608609.tar.gz scala-7c23d525ccb413d8ff3e4cc6b442e7e864608609.tar.bz2 scala-7c23d525ccb413d8ff3e4cc6b442e7e864608609.zip |
Merge pull request #1779 from paulp/pr/no-pickle-skolems
Deskolemize type skolems before pickling.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/EtaExpansion.scala')
0 files changed, 0 insertions, 0 deletions