haskell-jp / random #91 at 2021-06-30 02:21:29 +0900

きっと何かコードがまちがっているんだろうが、GHC の型簡約がオーバーフローした :bath:

Set a を [a] にすることで一時的に Ord a 制約を不要にして、この問題を回避したけど、根本の原因が分からん……

簡約がオーバーフローということは型関数が再帰してる？

動かないコードなのでまだアップロードしてないが、たぶん原因はこのあたり
https://www.github.com/kakkun61/kmkm/tree/46d79f370b8a3b3ff49270b55fc41095308b216a/compiler%2Fsrc%2FLanguage%2FKmkm%2FSyntax.hs

すでに試していればすみません、
エラーメッセージでも触れているとおり、 -freduction-depth=0 で一度チェックを切ってみるのも一案ですよ。本当に無限再帰してたらスタックがあふれるなりしてエラーになりそうですけど... :fearful:

はい -freduction-depth=0 したら延々終わりませんでした