Project

General

Profile

Revision 3c3414c5 src/types.ml

View differences:

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