GHC's idUnfolding function checks to see if the function is a loop breaker and does not return an unfolding if so. HERMIT doesn't want this. It turns out there is a realIdUnfolding function which bypasses the check.
Codemod any instances of idUnfolding and ensure it doesn't cause any infinite loops.
GHC's
idUnfoldingfunction checks to see if the function is a loop breaker and does not return an unfolding if so. HERMIT doesn't want this. It turns out there is arealIdUnfoldingfunction which bypasses the check.Codemod any instances of
idUnfoldingand ensure it doesn't cause any infinite loops.