[Hackage] #342: Allow automatic resolving of conditionals on more than just build-depends

Hackage trac at galois.com
Wed Aug 27 05:04:07 EDT 2008


#342: Allow automatic resolving of conditionals on more than just build-depends
----------------------------+-----------------------------------------------
  Reporter:  duncan         |        Owner:                
      Type:  enhancement    |       Status:  new           
  Priority:  normal         |    Milestone:                
 Component:  Cabal library  |      Version:  HEAD          
  Severity:  normal         |   Resolution:                
  Keywords:                 |   Difficulty:  hard (< 1 day)
Ghcversion:  6.8.2          |     Platform:                
----------------------------+-----------------------------------------------
Comment (by nominolo):

 From a discussion on `#ghc` we think the following needs to be done:

  - `resolveWithFlags` is, in principle, agnostic to the kind of
 dependencies.  It works basically as follows:
    1. pick a flag assignment
    2. determine all dependencies
    3. combine duplicate dependencies
    4. call the dependency checking function to find out if the
 dependencies can be satisfied

  - ATM, step 3 above is too specific to package dependencies.  We should
 generalise the `DependencyMap` datastructure to work for other kinds of
 dependencies.  The semantics should still be that multiple dependencies on
 the same package/framework/etc. should be combined into one that satisfies
 both.  The best place to implement this probably is inside a `Monoid`
 instance for a set of dependencies.

-- 
Ticket URL: <http://hackage.haskell.org/trac/hackage/ticket/342#comment:3>
Hackage <http://haskell.org/cabal/>
Hackage: Cabal and related projects


More information about the cabal-devel mailing list