jwiegley / rehoo

Utility to combine lots and lots of .hoo files in parallel
BSD 3-Clause "New" or "Revised" License
3 stars 0 forks source link

rehoo crashes with exception on non-exhaustive pattern match #1

Open gilligan opened 10 years ago

gilligan commented 10 years ago

Running "rehoo -c 16 -j 8" in my databases dir yields the following error:

Ran commands: 
echo 'hoogle combine --outfile ./rehoo29481.hoo ./http-monad.hoo ./rdioh.hoo ./c0check.hoo ./prolog.hoo ./geniplate.hoo ./bitmap.hoo ./indexed-do-notation.hoo ./http-proxy.hoo ./Adaptive-Blaisorblade.hoo ./network-socket-options.hoo ./fixhs.hoo ./brainfuck.hoo ./rehoo28559.hoo ./gladexml-accessor.hoo ./copilot-cbmc.hoo ./tamarin-prover-utils.hoo'
hoogle combine --outfile ./rehoo29481.hoo ./http-monad.hoo ./rdioh.hoo ./c0check.hoo ./prolog.hoo ./geniplate.hoo ./bitmap.hoo ./indexed-do-notation.hoo ./http-proxy.hoo ./Adaptive-Blaisorblade.hoo ./network-socket-options.hoo ./fixhs.hoo ./brainfuck.hoo ./rehoo28559.hoo ./gladexml-accessor.hoo ./copilot-cbmc.hoo ./tamarin-prover-utils.hoo
which hoogle

Exception: error running: hoogle combine --outfile ./rehoo29481.hoo ./http-monad.hoo ./rdioh.hoo ./c0check.hoo ./prolog.hoo ./geniplate.hoo ./bitmap.hoo ./indexed-do-notation.hoo ./http-proxy.hoo ./Adaptive-Blaisorblade.hoo ./network-socket-options.hoo ./fixhs.hoo ./brainfuck.hoo ./rehoo28559.hoo ./gladexml-accessor.hoo ./copilot-cbmc.hoo ./tamarin-prover-utils.hoo
exit status: 1
stderr: hoogle: src/Hoogle/Store/All.hs:(116,19)-(123,40): Non-exhaustive patterns in case```
jwiegley commented 10 years ago

This is an issue in hoogle that I've also run into many times. Which version of Hoogle are you using?

gilligan commented 10 years ago

Ah yeah it's rather obviously an issue with hoogle itself. Sorry. I am using version 4.2.32 - Any ideas how to work around this ? All I want is to search all packages and not just the default set.. sigh ;-)

jwiegley commented 10 years ago

Well, what I do in this case is to change All.hs and have it just print an error instead of throwing an exception. When this happens it's actually usually benign.

jwiegley commented 10 years ago

It's happening because one of your .hoo files has invalid data in it, and it's hard to see which one when using rehoo because of the way it combines them in groups.