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