Revision 79614a15 src/types.ml
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