Project

General

Profile

Revision 719f9992 src/types.ml

View differences:

src/types.ml
87 87
  | Trat ->
88 88
    fprintf fmt "rat"
89 89
  | Tarrow (ty1,ty2) ->
90
    fprintf fmt "%a->%a" print_ty ty1 print_ty ty2
90
    fprintf fmt "%a -> %a" print_ty ty1 print_ty ty2
91 91
  | Ttuple tylist ->
92 92
    fprintf fmt "(%a)"
93 93
      (Utils.fprintf_list ~sep:"*" print_ty) tylist
......
127 127
  | Trat ->
128 128
    fprintf fmt "rat"
129 129
  | Tarrow (ty1,ty2) ->
130
    fprintf fmt "%a->%a" print_ty ty1 print_ty ty2
130
    fprintf fmt "%a -> %a" print_ty ty1 print_ty ty2
131 131
  | Ttuple tylist ->
132 132
    fprintf fmt "(%a)"
133 133
      (Utils.fprintf_list ~sep:"*" print_ty) tylist

Also available in: Unified diff