Project

General

Profile

Revision 7291cb80 src/dimension.ml

View differences:

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