News for hackers. Stuff that matters.

A comment on Typo: A programming language that runs in Haskell's type system. Parent comment

Re:Typo: A programming language that runs in Haskell's type ... by jkarni on Wednesday August 07, 2013 @06:19PM (#6176077)
http://www.haskell.org/ghc/docs/7.0.1/html/users_guide/type-... has a decent explanation.
[ Parent | on HN ]
Re:Typo: A programming language that runs in Haskell's type ... by seliopou on Wednesday August 07, 2013 @08:14PM (#6176554)
UndecidableInstances 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.

[ Parent | on HN ]