Project

General

Profile

Revision b1655a21 src/dimension.ml

View differences:

src/dimension.ml
124 124
    f1 = f2 && List.length args1 = List.length args2 && List.for_all2 is_eq_dimension args1 args2
125 125
  | Dite (c1, t1, e1), Dite (c2, t2, e2) ->
126 126
    is_eq_dimension c1 c2 && is_eq_dimension t1 t2 && is_eq_dimension e1 e2
127
  | Dvar, _
128
  | _, Dvar
129
  | Dunivar, _
130
  | _, Dunivar -> false
131
  | _ -> d1 = d2
127
  | Dint i1   , Dint i2    -> i1 = i2
128
  | Dbool b1  , Dbool b2   -> b1 = b2
129
  | Dident id1, Dident id2 -> id1 = id2
130
  | _                      -> false
132 131

  
133 132
let is_dimension_const dim =
134 133
 match (repr dim).dim_desc with

Also available in: Unified diff