Project

General

Profile

Revision 953879f0

View differences:

src/backends/EMF/EMF_backend.ml
337 337
    | MComment _ 
338 338
      -> Format.eprintf "unhandled comment in EMF@.@?"; assert false
339 339
  (* not  available for EMF output *)
340

  
341 340
  in
342
  match Corelang.get_instr_desc i with
343
  | MBranch (_, [_, single_branch]) -> (
344
    pp_emf_instrs m fmt single_branch (* Single branch hack treated as regular instrs *)
345
  )
346
  | _ -> (
347 341
    fprintf fmt "@[ @[<v 2>\"%a\": {@ " get_instr_id i;
348 342
    fprintf fmt "%a" pp_content i;
349 343
    fprintf fmt "@]@]@ }"
350
  )
351 344
and pp_emf_instrs m fmt instrs = fprintf_list ~sep:",@ " (pp_emf_instr m) fmt instrs
352 345
       
353 346
let pp_machine fmt m =

Also available in: Unified diff