Haskeline's runCommandLoop

IaFP / ghc

A slightly more Glorious Haskell Compiler

Other

2 stars 0 forks source link

Haskeline's runCommandLoop #9

Open fxdpntthm opened 2 years ago

fxdpntthm commented 2 years ago

Why does pattern matching with HOF + Existentials fail with ambiguious type error?

ref: runCommandLoop

[x] Spurious CommandMonad m0 could not be satisfied
[x] Leaking existential variable's wfs in the caller.

fxdpntthm commented 2 years ago

followup question: is the solution good enough? alternative solution: when we generate an implication constraint for a wft typefamily; don't increase the level