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