Project

General

Profile

« Previous | Next » 

Revision 6d1693b9

Added by LĂ©lio Brun 7 months ago

work on spec generation almost done

View differences:

src/utils/utils.ml
284 284

  
285 285
  let pp_print_opar fmt () = pp_print_string fmt "("
286 286
  let pp_print_cpar fmt () = pp_print_string fmt ")"
287
  let pp_print_obracket fmt () = pp_print_string fmt "["
288
  let pp_print_cbracket fmt () = pp_print_string fmt "]"
287 289
  let pp_print_obrace fmt () = pp_print_string fmt "{"
288 290
  let pp_print_cbrace fmt () = pp_print_string fmt "}"
289 291
  let pp_print_opar' fmt () = pp_print_string fmt "( "
......
315 317
      pp_cl ()
316 318
      (fun fmt l -> if l <> [] then pp_epilogue fmt ()) l
317 319

  
320
  let pp_comma_list = pp_print_list ~pp_sep:pp_print_comma
321

  
318 322
  let pp_print_list_i
319 323
      ?pp_prologue ?pp_epilogue ?pp_op ?pp_cl ?pp_open_box ?pp_eol ?pp_sep
320 324
      pp_v =
......
343 347
      ~pp_cl:pp_print_cpar
344 348
      ~pp_sep
345 349

  
350
  let pp_print_bracketed ?(pp_sep=pp_print_comma) =
351
    pp_print_list
352
      ~pp_op:pp_print_obracket
353
      ~pp_cl:pp_print_cbracket
354
      ~pp_sep
355

  
346 356
  let pp_print_braced ?(pp_sep=pp_print_comma) =
347 357
    pp_print_list
348 358
      ~pp_op:pp_print_obrace

Also available in: Unified diff