Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
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
another step towards refactoring