[arch-haskell] Thoughts on Procedure

[Peter Simons]

Hi Rémy,

 > My project is to implement in pure Haskell formal consistency checks
 > (PKGBUILDs requiring versions not existent in provided PKGBUILDs).

are those checks based on the PKGBUILD files? I wonder, because those
files contain only a subset of the available information since
cabal2arch cannot translate all version specifications in dependencies.
Such a check would spot some errors, i.e. it would recognize that
PKGBUILDS are flat-out missing, but it can't verify whether a dependency
like "foo == 1.*" or "bar >= 3 && < 5" is fulfilled.

To implement those kind of checks, it would be necessary to work with
the original Cabal files. Does your tool do that? If it does, then it
has the potential to speed up "make check" quite a lot!

Take care,
Peter