diff options
| author | Daniel Thwaites <[email protected]> | 2021-10-28 14:46:34 +0100 |
|---|---|---|
| committer | Akshay <[email protected]> | 2021-10-29 14:14:14 +0100 |
| commit | d510714ed5a1eae0f6e5e435e4cff4875b06751d (patch) | |
| tree | f5d5d6419aaeda1bf484f784632366ca3aaed23e /bin/tests/data | |
| parent | c3cede18c9440d05385f0a7fd7ae2ef628ce74aa (diff) | |
filter out invalid eta-reductions
if the remaining expression after eta-reduction still contains the
removed function argument, eta-reduction is not possible.
Diffstat (limited to 'bin/tests/data')
0 files changed, 0 insertions, 0 deletions