Revision 01d48bb0 src/dimension.ml
src/dimension.ml | ||
---|---|---|
220 | 220 |
| Dident id -> |
221 | 221 |
(match eval_const id with |
222 | 222 |
| Some val_dim -> dim.dim_desc <- Dlink val_dim |
223 |
| None -> raise InvalidDimension)
|
|
223 |
| None -> (Format.eprintf "invalid %a@." pp_dimension dim; raise InvalidDimension))
|
|
224 | 224 |
| Dite (c, t, e) -> |
225 | 225 |
begin |
226 | 226 |
eval eval_op eval_const c; |
... | ... | |
243 | 243 |
end |
244 | 244 |
| Dvar -> () |
245 | 245 |
| Dunivar -> assert false |
246 |
|
|
246 |
(* |
|
247 |
in |
|
248 |
begin |
|
249 |
Format.eprintf "Dimension.eval %a = " pp_dimension dim; |
|
250 |
eval eval_op eval_const dim; |
|
251 |
Format.eprintf "%a@." pp_dimension dim |
|
252 |
end |
|
253 |
*) |
|
247 | 254 |
let uneval const univar = |
248 | 255 |
let univar = repr univar in |
249 | 256 |
match univar.dim_desc with |
Also available in: Unified diff