Project

General

Profile

Revision 5500edb8 src/types.ml

View differences:

src/types.ml
252 252
 | _                -> false
253 253

  
254 254
let rec is_array_type ty =
255
 match (repr ty).tdesc with
256
 | Tarray _         -> true
257
 | Tstatic (_, ty') -> is_array_type ty' (* looks strange !? *)
258
 | _                -> false
255
  match (repr ty).tdesc with
256
  | Tarray _         -> true
257
  | Tstatic (_, ty') -> is_array_type ty' (* We unfold static type and check underlying type *)
258
  | _                -> false
259 259

  
260 260
let array_type_dimension ty =
261 261
  match (dynamic_type ty).tdesc with
......
323 323
  | Tstatic (d, ty) -> Dimension.is_polymorphic d || is_polymorphic ty
324 324
  | Tunivar -> true
325 325

  
326
let multidim ty = List.length (array_type_multi_dimension ty)
326 327

  
327 328
let mktyptuple nb typ =
328 329
  let array = Array.make nb typ in

Also available in: Unified diff