Troels Henriksen

In a checkout of https://github.com/geekosaur/xmonad.hs/tree/skkukuk I am trying the command cabal v2-build exe:xmonad-bsa --enable-executable-stripping --enable-optimization=2 -v3 but that gives me another internal error: ``` Error: cabal: Internal error in target...

I hadn't noticed that it was using a non-master branch. Something is happening now. I'll see if I can reproduce the issue.

Well, the repository builds for me, although I'm not using exactly the same binary you are. The binary linked from the mailing list post is produced from essentially a random...

I'm a bit stumped on this one as I cannot reproduce it. The assert that fires is [this](https://github.com/haskell/cabal/blob/29103f94aa6cafda23dc4d9e8640ac885050acf4/cabal-install/src/Distribution/Client/ProjectPlanning.hs#L246-L248), but I don't have a real clear grasp of what it's checking...

I can reproduce the issue when I set `documentation: True` in the config file. This doesn't bring me much closer to understanding what is going on, but perhaps someone more...

It fails even without using XDG paths as soon as I set `documentation: True`. I think this is unrelated to XDG, but related to some other change in Cabal. It...

Through bisection I have confirmed that 16a4f20981a94ec6d65d2d5620d338d473947788 is the commit that introduces this bug.

As a workaround, I can pass `-O1` as an OpenCL build option. It seems to only be `-Oz` that produces these interesting constants.

Here is a stack trace: ``` Traceback (most recent call last): File "futhark/tools/futhark-autotune", line 400, in FutharkTuner.main(args) File "/home/mzd885/.local/lib/python2.7/site-packages/opentuner/measurement/interface.py", line 299, in main return TuningRunMain(cls(args, *pargs, **kwargs), args).main() File "/home/mzd885/.local/lib/python2.7/site-packages/opentuner/tuningrunmain.py",...

I see that `adddeps.py` is [this file](https://github.com/jansel/opentuner/blob/master/examples/tutorials/adddeps.py). I don't think the type error is related to me not following the instructions properly, though.