3 ms·
http://www.haskell.org/ghc/docs/7.0.1/html/users_guide/type-class-extensions.html#undecidable-instances http://www.haskell.org/ghc/docs/7.0.1/html/users_guide/t
by jkarni 13y ago
http://www.haskell.org/ghc/docs/7.0.1/html/users_guide/type-class-extensions.html#undecidable-instances http://www.haskell.org/ghc/docs/7.0.1/html/users_guide/type-... has a decent explanation.
- seliopou 13y agoUndecidableInstances a.k.a. YouDecidableInstances. While I was writing the Prelude, I messed up one of the definitions and ghc kept blowing the context stack limit. So I tried it with -fcontext-stack=5000, figuring it wasn't my bug but just a consequence of the inefficient encoding I was using. The type system ended up allocating upwards of 4 gigs before I killed it.