Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
GHC 9.4+ differentiates between regular unfoldings and unfoldings of loop breakers. Previously we wouldn't load unfoldings of loop breakers, unintentionally marking them as primitives. Now we load all unfoldings from interface files, even loop breakers.
- Loading branch information