Skip to content

Fix eta reduction

Simon Peyton Jones requested to merge wip/T23922 into master

This MR fixes a rather obscure and hard-to-trigger bug in eta reduction.

Fixes #23922 (closed)

Merge request reports