236 show_consts, evals, formats, atomss, max_potential, max_genuine, |
236 show_consts, evals, formats, atomss, max_potential, max_genuine, |
237 check_potential, check_genuine, batch_size, ...} = params |
237 check_potential, check_genuine, batch_size, ...} = params |
238 val outcome = Synchronized.var "Nitpick.outcome" (Queue.empty: string Queue.T) |
238 val outcome = Synchronized.var "Nitpick.outcome" (Queue.empty: string Queue.T) |
239 fun pprint print prt = |
239 fun pprint print prt = |
240 if mode = Auto_Try then |
240 if mode = Auto_Try then |
241 Synchronized.change outcome |
241 Synchronized.change outcome (Queue.enqueue (Pretty.string_of prt)) |
242 (Queue.enqueue (Pretty.string_of (Pretty.mark Markup.information prt))) |
|
243 else |
242 else |
244 print (Pretty.string_of prt) |
243 print (Pretty.string_of prt) |
245 val pprint_a = pprint writeln |
244 val pprint_a = pprint writeln |
246 fun pprint_nt f = () |> is_mode_nt mode ? pprint writeln o f |
245 fun pprint_nt f = () |> is_mode_nt mode ? pprint writeln o f |
247 fun pprint_v f = () |> verbose ? pprint writeln o f |
246 fun pprint_v f = () |> verbose ? pprint writeln o f |