Revision c518d082
Added by Xavier Thirioux almost 9 years ago
src/dimension.ml | ||
---|---|---|
347 | 347 |
| Dident id1, Dident id2 when id1 = id2 -> () |
348 | 348 |
| _ -> raise (Unify (dim1, dim2)) |
349 | 349 |
|
350 |
(* unification with the constraint that dim1 is an instance of dim2 *) |
|
350 | 351 |
let rec semi_unify dim1 dim2 = |
351 | 352 |
let dim1 = repr dim1 in |
352 | 353 |
let dim2 = repr dim2 in |
Also available in: Unified diff
- added generation of clock information in interface (.lusi) files
- added clock checking between interface and implementation files