Revision 3c3414c5
Added by Pierre-Loïc Garoche over 5 years ago
| src/types.ml | ||
|---|---|---|
| 326 | 326 |
| Tbasic t -> BasicT.is_bool_type t |
| 327 | 327 |
| _ -> false |
| 328 | 328 |
|
| 329 |
let rec is_const_type ty c = |
|
| 330 |
match (repr ty).tdesc with |
|
| 331 |
| Tstatic (_, ty) -> is_const_type ty c |
|
| 332 |
| Tconst c' -> c = c' |
|
| 333 |
| _ -> false |
|
| 334 |
|
|
| 329 | 335 |
let get_clock_base_type ty = |
| 330 | 336 |
match (repr ty).tdesc with |
| 331 | 337 |
| Tclock ty -> Some ty |
| ... | ... | |
| 508 | 514 |
val is_real_type: type_expr -> bool |
| 509 | 515 |
val is_int_type: type_expr -> bool |
| 510 | 516 |
val is_bool_type: type_expr -> bool |
| 517 |
val is_const_type: type_expr -> ident -> bool |
|
| 511 | 518 |
val is_static_type: type_expr -> bool |
| 512 | 519 |
val is_array_type: type_expr -> bool |
| 513 | 520 |
val is_dimension_type: type_expr -> bool |
Also available in: Unified diff
Solved issue with typing of enumerated types