Project

General

Profile

« Previous | Next » 

Revision c419ca44

Added by Guillaume DAVY almost 3 years ago

Ada: Changed type name for states and normalized variable name to match ada requirements.

View differences:

src/backends/Ada/ada_backend_adb.ml
41 41
**)
42 42
let pp_procedure_definition fmt (m, pp_procedure_name, pp_prototype, instrs) =
43 43
  let pp_instr = pp_machine_instr m in
44
  fprintf fmt "%a is@,begin@,  @[<v>%a@]@,end %t"
44
  fprintf fmt "%a is@,begin@,  @[<v>%a%t@]@,end %t"
45 45
    pp_prototype m
46 46
    (Utils.fprintf_list ~sep:";@," pp_instr) instrs
47
    (Utils.pp_final_char_if_non_empty ";" instrs)
47 48
    pp_procedure_name
48 49

  
49 50
(** Print the definition of the init procedure from a machine.

Also available in: Unified diff