Project

General

Profile

« Previous | Next » 

Revision e3a4e911

Added by Xavier Thirioux about 7 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