On 2008.10.06 22:40:21 +1000, Ivan Miljenovic
Gwern: I think I've found why it never ends on xmonad-contrib (it happens for me here on the Grahpalyze library as well): when doing clique/cycle detection, if a function recurses on itself more than once (e.g. multiple pattern matches, each of which recurses) then the clique detection at the very least goes nuts and tries creating an infinite one-function clique. This probably happens for cycles when there's multiple edges between two functions. I think the way to fix this is to have a function that turns a graph into a simple graph (i.e. no multiple edges or loops; well, maybe _one_ loop) and get the clique detection, etc. routines use the output of that for processing.
-- Ivan Lazar Miljenovic
So it'll be fixed for the next release? Cool then; I look forward to seeing my XMC modules' analysis. -- gwern DES DDR