Project

General

Profile

« Previous | Next » 

Revision 6cbbe1c1

Added by LĂ©lio Brun 8 months ago

start again with spec representation

View differences:

src/types.ml
187 187
  | Tarray (e, ty) ->
188 188
    fprintf fmt "%a^%a" print_ty ty Dimension.pp_dimension e
189 189
  | Tlink ty ->
190
      print_ty fmt ty
190
    print_ty fmt ty
191 191
  | Tunivar ->
192 192
    fprintf fmt "'%s" (name_of_type ty.tid)
193 193

  

Also available in: Unified diff