Revision 84902260
Added by jbraine almost 6 years ago
| src/backends/Horn/horn_backend_common.ml | ||
|---|---|---|
| 25 | 25 |
| Types.Treal -> fprintf fmt "Real" |
| 26 | 26 |
| Types.Tconst ty -> pp_print_string fmt ty |
| 27 | 27 |
| Types.Tclock t -> pp_type fmt t |
| 28 |
| Types.Tarray _
|
|
| 29 |
| Types.Tstatic _
|
|
| 28 |
| Types.Tarray(dim,ty) -> fprintf fmt "(Array Int "; pp_type fmt ty; fprintf fmt ")"
|
|
| 29 |
| Types.Tstatic(d, ty)-> pp_type fmt ty
|
|
| 30 | 30 |
| Types.Tarrow _ |
| 31 | 31 |
| _ -> eprintf "internal error: pp_type %a@." |
| 32 | 32 |
Types.print_ty t; assert false |
Also available in: Unified diff
Arrays