faster type-level computations

7 views
Skip to first unread message

Erik Rantapaa

unread,
Dec 17, 2014, 9:58:06 PM12/17/14
to hask...@googlegroups.com
Hi all,

For those of you at the last meeting you may recall how slow solving a combinatorial search problem at the type level was.

Well, someone noticed my SO question ( http://stackoverflow.com/q/26538595/866915 ), and submitted a GHC bug ticket for it ( https://ghc.haskell.org/trac/ghc/ticket/9872 ) which was noticed by SPJ and a fix created for GHC 7.10. Now the same type-level program runs in 7 seconds instead of several minutes - a nice present to look forward to in 2015!


Happy Holidays!

ER

Kyle Marek-Spartz

unread,
Dec 18, 2014, 11:39:19 AM12/18/14
to Erik Rantapaa, hask...@googlegroups.com
Great! 7.10 is sounding like it will be a great release.
--
Kyle Marek-Spartz
Reply all
Reply to author
Forward
0 new messages