anchor.diff:    | TransitiveConflict of Set<PackageConstraint> * SearchStrategyError
     | Conflicts of Set<SearchStrategyError>
     | NoManifest
  +  | NoPrivateSolution
   
     type ResolutionRequest =
     | MarkBadPath of List<ResolutionPath> * PackageConstraint * SearchStrategyError * AsyncReplyChannel<Unit>
  
positive.code:       |> constraintsOf
  
  
    let pruneSelections (selections: Map<PackageIdentifier, ResolvedVersion>) (deps: Set<Dependency>) =
  
      let rec loop (visited: Set<PackageIdentifier>) (deps: Set<Dependency>) : seq<PackageIdentifier * ResolvedVersion> = seq {
        let notVisited =
  
negative.code:           yield! solutions
          | None ->
            for error in errors do
              System.Console.WriteLine error
              do! resolver.PostAndAsyncReply (fun ch -> MarkBadPath (path, (p, cs), error, ch))
              yield Result.Error error
          ()
  