Searched refs:defaultMaxBackjumps (Results 1 – 6 of 6) sorted by relevance
| /dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/cabal-install/Distribution/Client/ |
| H A D | Setup.hs | 30 , defaultSolver, defaultMaxBackjumps
938 fetchMaxBackjumps = Flag defaultMaxBackjumps,
1042 freezeMaxBackjumps = Flag defaultMaxBackjumps,
1699 installMaxBackjumps = Flag defaultMaxBackjumps,
1733 defaultMaxBackjumps :: Int
1734 defaultMaxBackjumps = 4000 function
2589 …("Maximum number of backjumps allowed while solving (default: " ++ show defaultMaxBackjumps ++ ").…
|
| H A D | ProjectConfig.hs | 114 ( defaultSolver, defaultMaxBackjumps )
266 projectConfigMaxBackjumps = Flag defaultMaxBackjumps,
|
| /dports/lang/ghc/ghc-8.10.7/libraries/Cabal/cabal-install/Distribution/Client/ |
| H A D | Setup.hs | 30 , defaultSolver, defaultMaxBackjumps
1026 fetchMaxBackjumps = Flag defaultMaxBackjumps,
1130 freezeMaxBackjumps = Flag defaultMaxBackjumps,
1807 installMaxBackjumps = Flag defaultMaxBackjumps,
1842 defaultMaxBackjumps :: Int
1843 defaultMaxBackjumps = 4000 function
2886 …("Maximum number of backjumps allowed while solving (default: " ++ show defaultMaxBackjumps ++ ").…
|
| H A D | ProjectConfig.hs | 116 ( defaultSolver, defaultMaxBackjumps )
272 projectConfigMaxBackjumps = Flag defaultMaxBackjumps,
|
| /dports/lang/ghc/ghc-8.10.7/libraries/Cabal/cabal-install/tests/UnitTests/Distribution/Solver/Modular/ |
| H A D | QuickCheck.hs | 27 import Distribution.Client.Setup (defaultMaxBackjumps)
177 (Just defaultMaxBackjumps)
|
| /dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/cabal-install/tests/UnitTests/Distribution/Solver/Modular/ |
| H A D | QuickCheck.hs | 25 import Distribution.Client.Setup (defaultMaxBackjumps)
176 (Just defaultMaxBackjumps)
|