Revision a3f47fb5
Added by Arnaud Dieumegard over 6 years ago
src/backends/VHDL/vhdl_ast_deriving.ml | ||
---|---|---|
221 | 221 |
(match aindexes with |
222 | 222 |
| [] -> Format.fprintf fmt ""; |
223 | 223 |
| _ -> |
224 |
Format.fprintf fmt "(@[<v>"; |
|
224 | 225 |
((fun x -> |
225 | 226 |
ignore |
226 | 227 |
(List.fold_left |
... | ... | |
228 | 229 |
fun x -> |
229 | 230 |
if sep then Format.fprintf fmt ",@ "; |
230 | 231 |
((__0 ()) fmt) x; |
231 |
true) false x)) aindexes)); |
|
232 |
Format.fprintf fmt " range <>"; |
|
233 |
true) false x)) aindexes); |
|
234 |
Format.fprintf fmt ")@]"); |
|
232 | 235 |
(function |
233 | 236 |
| None -> Format.pp_print_string fmt "" |
234 | 237 |
| Some x -> |
Also available in: Unified diff
Unbounded array definition printing