GitLab

This reverts commit 8b4d41d7.

It seems that stack is confused by internal libraries used for the benchmark
generators. This results in `stack haddock` and `stack repl` not working
correctly. Reverting this commit at least makes `stack haddock` working again,
`stack repl` is still failing with:

  <command line>: cannot satisfy -package z-copar-z-prism-converter-lib

See also:

https://github.com/commercialhaskell/stack/issues/4616
https://github.com/commercialhaskell/stack/issues/5254

This reverts commit f8b942f4 partially

This means that "Xfoo" won't parse, but "X" will. Previously, non-parsable
suffixes had been ignored.

This warning is really annoying.

This allows to write separate tests for the library.

This allows tests to depend on the library, leading to shorter compile times
cleaner boundaries.

This will allow to use multiple internal libraries, which can be used to add
tests for other executables than the main one.

Unfortunately, cabal-doctest is currently not supported in combination with
internal libraries and so I had to temporarily disable doctests.

This speeds up the build process of the main copar executable and doesn't
require as much dependencies.

As more and more benchmark suite generators are created, results published and
the tools forgotten, this creates an unnecessary burden on the everyday compile
cycle.

The current way of iterating trough all possible edges and deciding for each
edge if we take it or not has proven not to scale to large but sparse graphs.

Instead, we now generate the edges that we want directly.

This already does all we need, so instead of duplicating the whole
implementation, just use it.

This switches from floats to a sort of arbitrary precision base10 floating point
implementation where we can easily generate uniform random numbers.

The problem with floats is that they aren't distributed equally across the whole
range and thus a random number in [0, 1) is not uniform.

Creates a new module that exports commonly imported prettyprinter
modules, to cut down on the number of imports each module has to do.

These were originally separated because of some cyclic dependency that
is gone now. So in order to make the module zoo a bit more clear,
merge the two.