Open gilligan opened 10 years ago
I am still trying to find a way to combine all databases retrieved by 'data all' into a single default.hoo I tried rehoo (jwiegley/rehoo) and all the scripts mentioned in Local-Install.md - all to no avail.
Using 4.2.32 rehoo would just crash with the same error mentioned above. Using 4.2.33 hoogle seems to crash but rehoo does not give more info.
Is there any reliable way to combine those 4000+ .hoo files ?
Correcting myself : I randomly run into the non-exhaustive pattern error with 4.2.33 just as well.
Oh dear. With Hoogle 5 the problem has completely gone since there is no combine function, and it uses a lot less memory.
After a "hoogle data all" I run into the following error:
Using hoogle 4.2.32