diff options
| author | Paul Phillips <paulp@improving.org> | 2011-04-23 15:14:59 +0000 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2011-04-23 15:14:59 +0000 |
| commit | ffe789dd78c24dc82a74553f2634c6ebb1a32e38 (patch) | |
| tree | db6d44a39877ec89c0a4ed3f1017f5a14dacf4f7 /lib | |
| parent | 6af1d5c526a6394065bb8d42ff1df36e8cb4272b (diff) | |
| download | scala-ffe789dd78c24dc82a74553f2634c6ebb1a32e38.tar.gz scala-ffe789dd78c24dc82a74553f2634c6ebb1a32e38.tar.bz2 scala-ffe789dd78c24dc82a74553f2634c6ebb1a32e38.zip | |
Strip unused pattern variable bindings out befo...
Strip unused pattern variable bindings out before performing match
translation. Closes #4269, no review.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions