Loop while compiling with GHC 9.8.1
Summary
Compiling Proarrow.Category.Limit
with GHC 9.8.1 goes into an infinite loop. It works fine with GHC 9.6.3.
Commenting out a specific line:
repMap Unit = repMap @d (InjL Unit) *** repMap @d (InjR Unit)
resolves the issue.
Steps to reproduce
- Check out https://github.com/sjoerdvisscher/proarrow/tree/a2d2ddcd071a5b2e1ad1956e675984d0181ef258
- Run
cabal build
. - Notice it hangs at
[45 of 53] Compiling Proarrow.Category.Limit
- Comment out this line: https://github.com/sjoerdvisscher/proarrow/blob/a2d2ddcd071a5b2e1ad1956e675984d0181ef258/src/Proarrow/Category/Limit.hs#L51
- Notice
cabal build
now completes.
Environment
- GHC version used: 9.8.1
Optional:
- Operating System: MacOS Sonoma 14.0