aboutsummaryrefslogtreecommitdiff
path: root/bin/src/explain.rs
diff options
context:
space:
mode:
authorDaniel Thwaites <[email protected]>2021-10-28 14:46:34 +0100
committerAkshay <[email protected]>2021-10-29 14:14:14 +0100
commitd510714ed5a1eae0f6e5e435e4cff4875b06751d (patch)
treef5d5d6419aaeda1bf484f784632366ca3aaed23e /bin/src/explain.rs
parentc3cede18c9440d05385f0a7fd7ae2ef628ce74aa (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