Extraction: reduce eta-redexes whose cores are atomic (solves indirectly BZ#4852)

 This code simplification isn't that important, but it can trigger further
 simplifications elsewhere, see for instance BZ#4852.

 NB: normally, the extraction favors eta-expanded forms, since that's the usual
 way to avoid issues about '_a type variables that cannot be generalized. But
 the atomic eta-reductions done here shouldn't be problematic (no applications
 put outside of functions).

0 files changed, 0 insertions, 0 deletions