Revision 05f85b44
Added by Guillaume DAVY over 5 years ago
| src/backends/Ada/ada_backend_common.ml | ||
|---|---|---|
| 155 | 155 |
assert(List.for_all2 (fun poly1 (poly2, _) -> poly1 = poly2) |
| 156 | 156 |
polymorphic_types substituion); |
| 157 | 157 |
let instantiated_types = snd (List.split substitution) in |
| 158 |
fprintf fmt "%t_inst%t%a"
|
|
| 158 |
fprintf fmt "%t%t%a" |
|
| 159 | 159 |
(pp_package_name machine) |
| 160 | 160 |
(Utils.pp_final_char_if_non_empty "_" instantiated_types) |
| 161 | 161 |
(Utils.fprintf_list ~sep:"_" pp_type) instantiated_types |
Also available in: Unified diff
Ada: Start cleaning Ada to prepare for why beckend