Project

General

Profile

« Previous | Next » 

Revision 81d69074

Added by LĂ©lio Brun 10 months ago

fix bug where singleton tuples were generated

View differences:

src/types.ml
143 143

  
144 144
  val get_static_value : t -> Dimension.t option
145 145

  
146
  val types_of_tuple_type : t -> t list
147

  
146 148
  val is_tuple_type : t -> bool
147 149

  
148 150
  val type_of_type_list : t list -> t
......
497 499
    let ty = repr ty in
498 500
    match ty.tdesc with Tstatic (_, ty') -> ty' | _ -> ty
499 501

  
502
  let types_of_tuple_type ty =
503
    match (repr ty).tdesc with Ttuple ts -> ts | _ -> []
504

  
500 505
  let is_tuple_type ty =
501 506
    match (repr ty).tdesc with Ttuple _ -> true | _ -> false
502 507

  

Also available in: Unified diff