Revision c518d082
Added by Xavier Thirioux almost 8 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