diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-11-10 15:53:51 +0100 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-11-10 15:53:51 +0100 |
| commit | be316870ef337a435d65f46a26f40ef0eab97934 (patch) | |
| tree | 24db24b777180ea71d0e9078b7bcf4eff05ae9dc /contrib/run-script-cascj7-fnt | |
| parent | 8a43f6c6aa01f9b27434caf1c5dd9ef6b2dcd963 (diff) | |
Do not eliminate variables only occurring in patterns. Minor improvements to sort inference. Remove unused code.
Diffstat (limited to 'contrib/run-script-cascj7-fnt')
0 files changed, 0 insertions, 0 deletions