Project

General

Profile

« Previous | Next » 

Revision 84902260

Added by jbraine almost 6 years ago

Arrays

View differences:

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