Project

General

Profile

« Previous | Next » 

Revision c518d082

Added by Xavier Thirioux almost 8 years ago

- added generation of clock information in interface (.lusi) files
- added clock checking between interface and implementation files

View differences:

src/types.ml
176 176
 | Tstatic (d, _) -> Some d
177 177
 | _              -> None
178 178

  
179
let is_clock_type ty =
180
 match (repr ty).tdesc with
181
 | Tclock _ -> true
182
 | _        -> false
183

  
179 184
let rec is_dimension_type ty =
180 185
 match (repr ty).tdesc with
181 186
 | Tint

Also available in: Unified diff