Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

src/utils/dimension.ml
86 86
  | Dunivar ->
87 87
    fprintf fmt "'%s" (Utils.name_of_dimension dim.dim_id)
88 88

  
89
let rec multi_dimension_product loc dim_list =
89
let rec multi_product loc dim_list =
90 90
  match dim_list with
91 91
  | [] ->
92 92
    mkdim_int loc 1
93 93
  | [ d ] ->
94 94
    d
95 95
  | d :: q ->
96
    mkdim_appl loc "*" [ d; multi_dimension_product loc q ]
96
    mkdim_appl loc "*" [ d; multi_product loc q ]
97 97

  
98 98
(* Builds a dimension expr representing 0<=d *)
99 99
let check_bound loc d = mkdim_appl loc "<=" [ mkdim_int loc 0; d ]
......
136 136
  | Dbool b ->
137 137
    if b then 1 else 0
138 138
  | _ ->
139
    Format.eprintf "internal error: size_const_dimension %a@." pp dim;
139
    Format.eprintf "internal error: size_const %a@." pp dim;
140 140
    assert false
141 141

  
142 142
let rec is_polymorphic dim =

Also available in: Unified diff