Project

General

Profile

Revision 79614a15 src/types.ml

View differences:

src/types.ml
251 251
 | Tstatic (_, ty') -> is_struct_type ty'
252 252
 | _                -> false
253 253

  
254
let struct_field_type ty field =
255
  match (dynamic_type ty).tdesc with
256
  | Tstruct fields ->
257
    (try
258
       List.assoc field fields
259
     with Not_found -> assert false)
260
  | _              -> assert false
261

  
254 262
let rec is_array_type ty =
255 263
 match (repr ty).tdesc with
256 264
 | Tarray _         -> true

Also available in: Unified diff