Revision 7291cb80
Added by Xavier Thirioux over 9 years ago
| src/dimension.ml | ||
|---|---|---|
| 198 | 198 |
|
| 199 | 199 |
let rec normalize dim = |
| 200 | 200 |
dim |
| 201 |
|
|
| 201 |
(* |
|
| 202 |
let rec unnormalize loc l = |
|
| 203 |
let l = List.sort (fun (k, l) (k', l') -> compare l l') (List.map (fun (k, l) -> (k, List.sort compare l)) l) in |
|
| 204 |
match l with |
|
| 205 |
| [] -> mkdim_int loc 0 |
|
| 206 |
| t::q -> |
|
| 207 |
List.fold_left (fun res (k, l) -> mkdim_appl loc "+" res (mkdim_appl loc "*" (mkdim_int loc k) l)) t q |
|
| 208 |
*) |
|
| 202 | 209 |
let copy copy_dim_vars dim = |
| 203 | 210 |
let rec cp dim = |
| 204 | 211 |
match dim.dim_desc with |
| ... | ... | |
| 252 | 259 |
| Dvar -> () |
| 253 | 260 |
| Dunivar -> assert false |
| 254 | 261 |
|
| 255 |
let rec uneval const univar =
|
|
| 262 |
let uneval const univar = |
|
| 256 | 263 |
let univar = repr univar in |
| 257 | 264 |
match univar.dim_desc with |
| 258 | 265 |
| Dunivar -> univar.dim_desc <- Dident const |
Also available in: Unified diff
- merged test script
- added -d support
- corrected #open parser problem
- corrected interface/implementation (.lusi/.lus) checking
for types (not yet for clocks)
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@171 041b043f-8d7c-46b2-b46e-ef0dd855326e