Project

General

Profile

Revision 173a2a8f src/backends/Ada/ada_backend_common.ml

View differences:

src/backends/Ada/ada_backend_common.ml
42 42
**)
43 43
let pp_polymorphic_type id fmt = fprintf fmt "T_%i" id
44 44

  
45
let pp_past_name nbr fmt = fprintf fmt "past_state_%i" nbr
46

  
45 47

  
46 48

  
47 49

  
......
153 155
  assert(List.for_all2 (fun poly1 (poly2, _) -> poly1 = poly2)
154 156
            polymorphic_types substituion);
155 157
  let instantiated_types = snd (List.split substitution) in
156
  fprintf fmt "%t%t%a"
158
  fprintf fmt "%t_inst%t%a"
157 159
    (pp_package_name machine)
158 160
    (Utils.pp_final_char_if_non_empty "_" instantiated_types)
159 161
    (Utils.fprintf_list ~sep:"_" pp_type) instantiated_types

Also available in: Unified diff