Project

General

Profile

Revision 01d48bb0 src/dimension.ml

View differences:

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