This project is mirrored from Pull mirroring updated .
  1. 28 Apr, 2012 2 commits
  2. 22 Apr, 2012 16 commits
  3. 16 Apr, 2012 5 commits
  4. 12 Apr, 2012 1 commit
  5. 16 Apr, 2012 1 commit
  6. 08 Apr, 2012 2 commits
    • Andres Löh's avatar
    • Andres Löh's avatar
      no longer pre-filter broken packages for modular solver · f087e045
      Andres Löh authored
      The modular solver can now deal with broken packages in the
      index. I have, however, discovered, that broken packages were
      filtered before even passing the installed package index to
      the solver. I have made that filtering conditional on using
      the topdown solver for now.
      Related is the issue that we should not warn about possible
      breakage of already broken packages. So we now exclude
      already broken packages when considering whether an install
      plan contains dangerous reinstalls.
  7. 07 Apr, 2012 1 commit
  8. 06 Apr, 2012 3 commits
    • Andres Löh's avatar
      make the reinstall check less noisy · 36b0c638
      Andres Löh authored
      There are two aspects to this change.
      The uncontroversial one is that if the install plan contains
      reinstalls, we now determine if there are reverse dependencies
      of such reinstalled packages that we can see. If so, these
      are likely to be broken. If we find such packages, we list
      them and state that we can only install the plan if
      --force-reinstalls is explicitly stated.
      The more controversial change is that if we cannot find such
      reverse dependencies, we now merely print a warning but
      continue, even though there are situations where executing
      the build process can still break packages. The most likely
      example of this is that we're installing to the global package
      database, and user package databases on the system have
      dependencies on the replaces packages -- but we cannot see
      these user package databases.
    • Andres Löh's avatar
    • Andres Löh's avatar
  9. 05 Apr, 2012 1 commit
    • Andres Löh's avatar
      adding the possibility for index-disabled packages · 7db70840
      Andres Löh authored
      In the modular solver, it's now possible to mark packages
      as disabled in the index conversion phase. This can be used
      to mark broken packages (with missing dependencies) in such
      a way that they can still be seen by the solver and reported
      in error messages.
      Furthermore, the feature could be used to implement
      shadowing restrictions. Currently, there are some things
      that can go wrong if multiple installed instances of
      the same version and package exist on the system. However,
      I've not enabled the use of shadowing for now, as it's
      hard to match the restrictions exactly, and we can end up
      excluding perfectly valid cases. Enabling shadowing
      selectively by a solver flag would be an option.
  10. 31 Mar, 2012 1 commit
    • Andres Löh's avatar
      choose default solver based on compiler version · 1a3ff039
      Andres Löh authored
      GHC-6.12 has base-3 depending on base-4. This is a situation the
      topdown solver is hacked to deal with, but the new modular solver
      currently doesn't support it. We therefore switch back to the
      topdown solver if a GHC version before 7 is detected, but switch
      to the modular solver by default in all other situations.
  11. 15 Mar, 2012 1 commit
  12. 29 Mar, 2012 4 commits
  13. 28 Mar, 2012 2 commits