Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930313233type explanation = Format.formatter -> unit
type loaded = { names : int; versions : int; extra : string list; dropped : int; parse : float;}
let root s = Printf.printf "root %s\n%!" s
let section title rows = Printf.printf "%s (%d):\n" title (List.length rows); List.iter (Printf.printf " %s\n") rows
let packages = section "packages"
let encoded ~nodes ~lookups = Printf.printf "encoded solution: %d core nodes (%d lookups)\n" nodes lookups
let unsatisfiable (why : explanation) = Format.printf "unsatisfiable:@.%t@." why
let loaded l ~solve = Printf.printf "loaded: %s\n" (String.concat ", " (Printf.sprintf "%d names" l.names :: Printf.sprintf "%d versions" l.versions :: l.extra)); if l.dropped > 0 then Printf.printf "parser dropped %d declarations\n" l.dropped; Printf.printf "parse %.2fs\nsolve %.2fs\n" l.parse solve