Project

General

Profile

« Previous | Next » 

Revision e3a4e911

Added by Xavier Thirioux almost 10 years ago

some optimization in code optimization !!

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@449 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/types.ml
214 214 
 | Tclock ty -> Some ty
215 215 
 | _         -> None
216 216 

  		




  
  217
  
    
let unclock_type ty =


  		




  
  218
  
    
  let ty = repr ty in


  		




  
  219
  
    
  match ty.tdesc with


  		




  
  220
  
    
  | Tclock ty' -> ty'


  		




  
  221
  
    
  | _          -> ty


  		




  
  222
  
    

  		




  217
  223
  
    
let rec is_dimension_type ty =


  		




  218
  224
  
    
 match (repr ty).tdesc with


  		




  219
  225
  
    
 | Tint


  		












Also available in:  Unified diff