Project

General

Profile

Revision e8f55c25 src/types.ml

View differences:

src/types.ml
169 169
  | Tbasic t -> pp_basic fmt t
170 170
  | Tclock t ->
171 171
    fprintf fmt "%a%s" print_ty t (if !Options.kind2_print then "" else " clock")
172
  | Tstatic (d, t) ->
173
    fprintf fmt "(%a:%a)" Dimension.pp_dimension d print_ty t
172
  | Tstatic (d, t) -> print_ty fmt t
173
                        (* fprintf fmt "(%a:%a)" Dimension.pp_dimension d print_ty t *)
174 174
  | Tconst t ->
175 175
    fprintf fmt "%s" t
176 176
  | Tarrow (ty1,ty2) ->

Also available in: Unified diff