hasLibs and hasExes honest reporting?

Duncan Coutts duncan.coutts at worc.ox.ac.uk
Wed Apr 30 20:48:12 EDT 2008


On Thu, 2008-05-01 at 01:24 +0200, Thomas Schilling wrote:
> On 1 maj 2008, at 00.30, Duncan Coutts wrote:

> > If you use flattenPackageDescription on this description you will  
> > get a PackageDescription whith buildable: False because flattening  
> > ignores all conditions and includes *both* sides of conditionals.
> >
> 
> The key part here is that 'flattenPackageDescription' (more precisely  
> 'unionBuildInfo' uses '&&' to join multiple occurences of buildable.   
> If at any time a branch claims the package is not buildable, we, of  
> course, want this property to be propagated.  Using a '||' only for  
> within flattenPackageDescription doesn't seem like a good idea to me.

Yes. flattenPackageDescription is doing the right thing. It's just not
appropriate to use in this particular context. Perhaps we need to
document this function more loudly :-). I mean the current documentation
is quite accurate but perhaps it needs more big flashing lights.

Duncan




More information about the cabal-devel mailing list