Iavor S. Diatchki

Hi, the plugin only dumps core when GHC is compiling a module. I am guessing that your modules are already compiled, and so GHC notices that it only needs to...

I think that the options apply only to the package you are building, so you'll only see the generated core for the modules in the current packages. I'm not sure...

Hi, thanks for the contribution! I don't mind exposing `Utils`, but I wonder if we should move it to `Graphmod.Utils` to avoid name clashes for anyone else who might be...

Thanks @ivb-supercede ! I don't remember if the 8.2.2 and 8.0.2 builds were failing before, would mind having a look?

Hi, `6,4` is the default size, and you can use `-d` to specify other dimensions if you'd like. Is there something we should fix? I forget the details, but I...

That's odd, I've never seen that happen... I don't think `dot` is supposed to clip anything, but rather scale the picture (http://graphviz.org/doc/info/attrs.html#d:size). Could you point me to a repo that...

Weird, I use the same version, and I can reproduce this, but only when `dot` generates `svg`. It looks fine with `pdf`, `png`, or when using `xdot` pythong script (which...

Well, I am not sure why the warning flags should affect compilation, so that might be a separate issue. The general problem seems a bit trickier to solve as I...

I wasn't suggesting that we add a subdirectory to the existing build directory but rather, to simply use a whole separate directory. So this amounts to just a different set...

I am not really sure. As far as I understand, the meaning of `query` is to check if the property holds in all reachable states described by the system, so...