Closed christiaanb closed 4 years ago
i.e. Don't solve [W] F (n + 1) by returning [W] F (1 + n) |> F (n + 1) as evidence and emitting a new [W] F (1 + n) constraint. This can sometimes throw us into a constraint-solver loop where GHC asks us to up the constraint-solver-iteration limit.
[W] F (n + 1)
[W] F (1 + n) |> F (n + 1)
[W] F (1 + n)
i.e. Don't solve
[W] F (n + 1)by returning[W] F (1 + n) |> F (n + 1)as evidence and emitting a new[W] F (1 + n)constraint. This can sometimes throw us into a constraint-solver loop where GHC asks us to up the constraint-solver-iteration limit.