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/src/explain.rs | |
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/src/explain.rs')
0 files changed, 0 insertions, 0 deletions