anchor.diff:              | false, false ->
                   Result.Ok ((Transitive chains, group.Resolution), [])
               | false, true ->
  -                failwith "impossible"
  +                Result.Bad []
   
   let ohWhy (packageName, 
              directDeps : Set<PackageName>, 
  
positive.code:             | AutoDetectFramework 
              | ExplicitRestriction Paket.Requirements.FrameworkRestriction.HasNoRestriction -> ""
              | ExplicitRestriction fr -> sprintf " (%O)" fr
          let formatName (name: PackageName) i = sprintf "%s-> %O - %s" (String.replicate i "  ") (name.Name)
                                                      ((resolution.Item name).Version.ToString())
          let rec format' i (name,chain) =
              let rest = 
                  match chain, showDetails with
  
negative.code:                     failwith "impossible"
                  tracen ""
      | _ ->
          traceErrorfn "Unknown error for %O in %s" packageName Constants.LockFileName